Title: Foundations of Quantum Programming, Author: Mingsheng Ying
Title: Declarative Programming for Knowledge Management: 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers / Edition 1, Author: Masanobu Umeda
Title: Rules in Database Systems: Second International Workshop, RIDS '95, Glyfada, Athens, Greece, September 25 - 27, 1995. Proceedings / Edition 1, Author: Timos Sellis
Title: ESOP '92: 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings / Edition 1, Author: Bernd Krieg-Brïckner
Title: Algorithms and Theory of Computation Handbook, Volume 2: Special Topics and Techniques / Edition 2, Author: Mikhail J. Atallah
Title: Meta-Programming in Logic Programming, Author: Harvey Abramson
Title: Compiler Construction: Principles and Practice / Edition 1, Author: Kenneth C. Louden
Title: Integer Programming and Combinatorial Optimization: 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings, Author: Andrea Lodi
Title: Web Applications with Javascript or Java: Volume 2: Associations and Class Hierarchies / Edition 1, Author: Gerd Wagner
Title: Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerla, Author: Ahmed Bouajjani
Title: Graph-Based Proof Procedures for Horn Clauses, Author: RAATZ
Title: Parallel Execution of Parlog / Edition 1, Author: Andrew Cheese
Title: Mastering Azure API Management: A Practical Approach to Designing and Implementing an API-Centric Enterprise Architecture, Author: Sven Malvik
Title: Evolutionary Programming VII: 7th International Conference, EP98, San Diego, California, USA, March 25-27, 1998 Proceedings, Author: V.W. Porto
Title: Programming Constraint Services: High-Level Programming of Standard and New Constraint Services / Edition 1, Author: Christian Schulte
Title: Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings, Author: Xavier Rival
Title: Principles and Practice of Declarative Programming: International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings / Edition 1, Author: Gopalan Nadathur
Title: Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 / Edition 1, Author: Peter van Beek
Title: Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers, Author: Pierre Flener
Title: Software and Compilers for Embedded Systems: 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings / Edition 1, Author: Henk Schepers

Pagination Links