Declarative Programming and Knowledge Management

Mã QR

Declarative Programming and Knowledge Management

Đã lưu trong:

書目詳細資料
Những tác giả chính:	Seipel, Dietmar, Hanus, Michael, Abreu, Salvador
格式:	圖書
語言:	English
出版:	Springer International Publishing 2020
主題:	Computer Science Programming Techniques Software Engineering
在線閱讀:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/87318
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

相似書籍

Applications of Declarative Programming and Knowledge Management
出版: (2020)

Practical Aspects of Declarative Languages
由: Hanus, Michael
出版: (2020)

Programming with Actors
由: Ricci, Alessandro, et al.
出版: (2020)

Trends in Functional Programming
由: Wang, Meng, et al.
出版: (2020)

ECOOP - Object-Oriented Programming
由: Ernst, Erik
出版: (2020)

Bad Programming Practices 101
由: Beecher, Karl
出版: (2020)

ECOOP 2005 - Object-Oriented Programming
由: Black, Andrew
出版: (2020)

Extreme Programming and Agile Processes in Software Engineering
出版: (2020)

Principles and Practice of Constraint Programming - CP 2009
出版: (2020)

Agile Processes in Software Engineering and Extreme Programming
由: Concas, Giulio, et al.
出版: (2020)

Genetic Programming
由: O'Neill, Michael, et al.
出版: (2020)

Practical Aspects of Declarative Languages
出版: (2020)

Practical Aspects of Declarative Languages
由: Hudak, Paul, et al.
出版: (2020)

Practical Aspects of Declarative Languages
由: Lierler, Yuliya, et al.
出版: (2020)

Logic Programming
由: Gabbrielli, Maurizio, et al.
出版: (2020)

Logic Programming
由: Dahl, Verónica, et al.
出版: (2020)

Practical Aspects of Declarative Languages
由: Komendantskaya, Ekaterina, et al.
出版: (2020)

Advanced Functional Programming
由: Vene, Varmo, et al.
出版: (2020)

Datatype-Generic Programming
由: Backhouse, Roland, et al.
出版: (2020)

Inductive Logic Programming
由: Blockeel, Hendrik, et al.
出版: (2020)

Multi-Agent Programming
出版: (2020)

Mathematics of Program Construction
由: Audebaud, Philippe, et al.
出版: (2020)

Inductive Logic Programming
由: Kramer, Stefan, et al.
出版: (2020)

Declarative Agent Languages and Technologies VI
出版: (2020)

Declarative Agent Languages and Technologies II
出版: (2020)

Software Architecture Knowledge Management
出版: (2020)

Logic-Based Program Synthesis and Transformation
出版: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
出版: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
由: Sutcliffe, Geoff, et al.
出版: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
由: Dershowitz, Nachum, et al.
出版: (2020)

Experience and Knowledge Management in Software Engineering
出版: (2020)

Principles and Practice of Constraint Programming - CP 2005
由: Beek, Peter van
出版: (2020)

Principles and Practice of Constraint Programming - CP 2007
由: Bessiere, Christian
出版: (2020)

Object-Oriented Technology. ECOOP 2007 Workshop Reader
由: Cebulla, Michael
出版: (2020)

Formal Methods and Software Engineering
由: Duan, Zhenhua, et al.
出版: (2020)

Engineering Multi-Agent Systems
由: Fallah-Seghrouchni, Amal El, et al.
出版: (2020)

Model Checking and Artificial Intelligence
由: Edelkamp, Stefan, et al.
出版: (2020)

Engineering Web Applications
出版: (2020)

Verified Software: Theories, Tools, Experiments
由: Meyer, Bertrand, et al.
出版: (2020)

Early Aspects: Current Challenges and Future Directions
由: Moreira, A.
出版: (2020)