Declarative Programming and Knowledge Management

Côd QR

Declarative Programming and Knowledge Management

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awduron:	Seipel, Dietmar, Hanus, Michael, Abreu, Salvador
Fformat:	Llyfr
Iaith:	English
Cyhoeddwyd:	Springer International Publishing 2020
Pynciau:	Computer Science Programming Techniques Software Engineering
Mynediad Ar-lein:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/87318
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

Applications of Declarative Programming and Knowledge Management
Cyhoeddwyd: (2020)

Practical Aspects of Declarative Languages
gan: Hanus, Michael
Cyhoeddwyd: (2020)

Programming with Actors
gan: Ricci, Alessandro, et al.
Cyhoeddwyd: (2020)

Trends in Functional Programming
gan: Wang, Meng, et al.
Cyhoeddwyd: (2020)

ECOOP - Object-Oriented Programming
gan: Ernst, Erik
Cyhoeddwyd: (2020)

Bad Programming Practices 101
gan: Beecher, Karl
Cyhoeddwyd: (2020)

ECOOP 2005 - Object-Oriented Programming
gan: Black, Andrew
Cyhoeddwyd: (2020)

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

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

Agile Processes in Software Engineering and Extreme Programming
gan: Concas, Giulio, et al.
Cyhoeddwyd: (2020)

Genetic Programming
gan: O'Neill, Michael, et al.
Cyhoeddwyd: (2020)

Practical Aspects of Declarative Languages
Cyhoeddwyd: (2020)

Practical Aspects of Declarative Languages
gan: Hudak, Paul, et al.
Cyhoeddwyd: (2020)

Practical Aspects of Declarative Languages
gan: Lierler, Yuliya, et al.
Cyhoeddwyd: (2020)

Logic Programming
gan: Gabbrielli, Maurizio, et al.
Cyhoeddwyd: (2020)

Logic Programming
gan: Dahl, Verónica, et al.
Cyhoeddwyd: (2020)

Practical Aspects of Declarative Languages
gan: Komendantskaya, Ekaterina, et al.
Cyhoeddwyd: (2020)

Advanced Functional Programming
gan: Vene, Varmo, et al.
Cyhoeddwyd: (2020)

Datatype-Generic Programming
gan: Backhouse, Roland, et al.
Cyhoeddwyd: (2020)

Inductive Logic Programming
gan: Blockeel, Hendrik, et al.
Cyhoeddwyd: (2020)

Multi-Agent Programming
Cyhoeddwyd: (2020)

Mathematics of Program Construction
gan: Audebaud, Philippe, et al.
Cyhoeddwyd: (2020)

Inductive Logic Programming
gan: Kramer, Stefan, et al.
Cyhoeddwyd: (2020)

Declarative Agent Languages and Technologies VI
Cyhoeddwyd: (2020)

Declarative Agent Languages and Technologies II
Cyhoeddwyd: (2020)

Software Architecture Knowledge Management
Cyhoeddwyd: (2020)

Logic-Based Program Synthesis and Transformation
Cyhoeddwyd: (2020)

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

Logic for Programming, Artificial Intelligence, and Reasoning
gan: Sutcliffe, Geoff, et al.
Cyhoeddwyd: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
gan: Dershowitz, Nachum, et al.
Cyhoeddwyd: (2020)

Experience and Knowledge Management in Software Engineering
Cyhoeddwyd: (2020)

Principles and Practice of Constraint Programming - CP 2005
gan: Beek, Peter van
Cyhoeddwyd: (2020)

Principles and Practice of Constraint Programming - CP 2007
gan: Bessiere, Christian
Cyhoeddwyd: (2020)

Object-Oriented Technology. ECOOP 2007 Workshop Reader
gan: Cebulla, Michael
Cyhoeddwyd: (2020)

Formal Methods and Software Engineering
gan: Duan, Zhenhua, et al.
Cyhoeddwyd: (2020)

Engineering Multi-Agent Systems
gan: Fallah-Seghrouchni, Amal El, et al.
Cyhoeddwyd: (2020)

Model Checking and Artificial Intelligence
gan: Edelkamp, Stefan, et al.
Cyhoeddwyd: (2020)

Engineering Web Applications
Cyhoeddwyd: (2020)

Verified Software: Theories, Tools, Experiments
gan: Meyer, Bertrand, et al.
Cyhoeddwyd: (2020)

Early Aspects: Current Challenges and Future Directions
gan: Moreira, A.
Cyhoeddwyd: (2020)