Declarative Programming and Knowledge Management

QR Kod

Declarative Programming and Knowledge Management

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Seipel, Dietmar, Hanus, Michael, Abreu, Salvador
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer International Publishing 2020
Konular:	Computer Science Programming Techniques Software Engineering
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/87318
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Applications of Declarative Programming and Knowledge Management
Baskı/Yayın Bilgisi: (2020)

Practical Aspects of Declarative Languages
Yazar:: Hanus, Michael
Baskı/Yayın Bilgisi: (2020)

Programming with Actors
Yazar:: Ricci, Alessandro, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Trends in Functional Programming
Yazar:: Wang, Meng, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

ECOOP - Object-Oriented Programming
Yazar:: Ernst, Erik
Baskı/Yayın Bilgisi: (2020)

Bad Programming Practices 101
Yazar:: Beecher, Karl
Baskı/Yayın Bilgisi: (2020)

ECOOP 2005 - Object-Oriented Programming
Yazar:: Black, Andrew
Baskı/Yayın Bilgisi: (2020)

Extreme Programming and Agile Processes in Software Engineering
Baskı/Yayın Bilgisi: (2020)

Principles and Practice of Constraint Programming - CP 2009
Baskı/Yayın Bilgisi: (2020)

Agile Processes in Software Engineering and Extreme Programming
Yazar:: Concas, Giulio, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Genetic Programming
Yazar:: O'Neill, Michael, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Practical Aspects of Declarative Languages
Baskı/Yayın Bilgisi: (2020)

Practical Aspects of Declarative Languages
Yazar:: Hudak, Paul, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Practical Aspects of Declarative Languages
Yazar:: Lierler, Yuliya, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic Programming
Yazar:: Gabbrielli, Maurizio, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic Programming
Yazar:: Dahl, Verónica, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Practical Aspects of Declarative Languages
Yazar:: Komendantskaya, Ekaterina, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Advanced Functional Programming
Yazar:: Vene, Varmo, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Datatype-Generic Programming
Yazar:: Backhouse, Roland, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Inductive Logic Programming
Yazar:: Blockeel, Hendrik, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Multi-Agent Programming
Baskı/Yayın Bilgisi: (2020)

Mathematics of Program Construction
Yazar:: Audebaud, Philippe, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Inductive Logic Programming
Yazar:: Kramer, Stefan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Declarative Agent Languages and Technologies VI
Baskı/Yayın Bilgisi: (2020)

Declarative Agent Languages and Technologies II
Baskı/Yayın Bilgisi: (2020)

Software Architecture Knowledge Management
Baskı/Yayın Bilgisi: (2020)

Logic-Based Program Synthesis and Transformation
Baskı/Yayın Bilgisi: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Baskı/Yayın Bilgisi: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Yazar:: Sutcliffe, Geoff, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Yazar:: Dershowitz, Nachum, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Experience and Knowledge Management in Software Engineering
Baskı/Yayın Bilgisi: (2020)

Principles and Practice of Constraint Programming - CP 2005
Yazar:: Beek, Peter van
Baskı/Yayın Bilgisi: (2020)

Principles and Practice of Constraint Programming - CP 2007
Yazar:: Bessiere, Christian
Baskı/Yayın Bilgisi: (2020)

Object-Oriented Technology. ECOOP 2007 Workshop Reader
Yazar:: Cebulla, Michael
Baskı/Yayın Bilgisi: (2020)

Formal Methods and Software Engineering
Yazar:: Duan, Zhenhua, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Engineering Multi-Agent Systems
Yazar:: Fallah-Seghrouchni, Amal El, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Model Checking and Artificial Intelligence
Yazar:: Edelkamp, Stefan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Engineering Web Applications
Baskı/Yayın Bilgisi: (2020)

Verified Software: Theories, Tools, Experiments
Yazar:: Meyer, Bertrand, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Early Aspects: Current Challenges and Future Directions
Yazar:: Moreira, A.
Baskı/Yayın Bilgisi: (2020)