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
オンライン･アクセス:	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)