Declarative Programming and Knowledge Management

Κώδικας QR

Declarative Programming and Knowledge Management

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Seipel, Dietmar, Hanus, Michael, Abreu, Salvador
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Springer International Publishing 2020
Θέματα:	Computer Science Programming Techniques Software Engineering
Διαθέσιμο Online:	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, κ.ά.
Έκδοση: (2020)

Trends in Functional Programming
ανά: Wang, Meng, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2020)

Genetic Programming
ανά: O'Neill, Michael, κ.ά.
Έκδοση: (2020)

Practical Aspects of Declarative Languages
Έκδοση: (2020)

Practical Aspects of Declarative Languages
ανά: Hudak, Paul, κ.ά.
Έκδοση: (2020)

Practical Aspects of Declarative Languages
ανά: Lierler, Yuliya, κ.ά.
Έκδοση: (2020)

Logic Programming
ανά: Gabbrielli, Maurizio, κ.ά.
Έκδοση: (2020)

Logic Programming
ανά: Dahl, Verónica, κ.ά.
Έκδοση: (2020)

Practical Aspects of Declarative Languages
ανά: Komendantskaya, Ekaterina, κ.ά.
Έκδοση: (2020)

Advanced Functional Programming
ανά: Vene, Varmo, κ.ά.
Έκδοση: (2020)

Datatype-Generic Programming
ανά: Backhouse, Roland, κ.ά.
Έκδοση: (2020)

Inductive Logic Programming
ανά: Blockeel, Hendrik, κ.ά.
Έκδοση: (2020)

Multi-Agent Programming
Έκδοση: (2020)

Mathematics of Program Construction
ανά: Audebaud, Philippe, κ.ά.
Έκδοση: (2020)

Inductive Logic Programming
ανά: Kramer, Stefan, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
ανά: Dershowitz, Nachum, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2020)

Engineering Multi-Agent Systems
ανά: Fallah-Seghrouchni, Amal El, κ.ά.
Έκδοση: (2020)

Model Checking and Artificial Intelligence
ανά: Edelkamp, Stefan, κ.ά.
Έκδοση: (2020)

Engineering Web Applications
Έκδοση: (2020)

Verified Software: Theories, Tools, Experiments
ανά: Meyer, Bertrand, κ.ά.
Έκδοση: (2020)

Early Aspects: Current Challenges and Future Directions
ανά: Moreira, A.
Έκδοση: (2020)