Title: Reasoning with Logic Programming / Edition 1, Author: Jose Julio Alferes
Title: Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines / Edition 1, Author: Alakananda Bhattacharya
Title: Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers, Author: Cyrille Artho
Title: Handbook of Learning and Approximate Dynamic Programming / Edition 1, Author: Jennie Si
Title: Single Variable Calculus / Edition 1, Author: Galina Filipuk
Title: Algorithms and Theory of Computation Handbook, Volume 2: Special Topics and Techniques / Edition 2, Author: Mikhail J. Atallah
Title: Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings / Edition 1, Author: Leo Bachmair
Title: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems: IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers / Edition 1, Author: Corrado Priami
Title: Optimization in the Natural Sciences: 30th Euro Mini-Conference, EmC-ONS 2014, Aveiro, Portugal, February 5-9, 2014. Revised Selected Papers, Author: Alexander Plakhov
Title: Migrating to Swift from Web Development / Edition 1, Author: Sean Liao
Title: Numerical Methods and Applications: 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers, Author: Ivan Dimov
Title: Evolutionary Algorithms: The Role of Mutation and Recombination / Edition 1, Author: William M. Spears
Title: Inductive Logic Programming: 7th International Workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997, Proceedings / Edition 1, Author: Nada Lavrac
Title: Evolutionary Computation / Edition 1, Author: A. E. Eiben
Title: Programming with Actors: State-of-the-Art and Research Perspectives, Author: Alessandro Ricci
Title: Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do / Edition 1, Author: Mads Tofte
Title: Metaheuristic Clustering / Edition 1, Author: Swagatam Das
Title: Algol-like Languages / Edition 1, Author: Peter O'Hearn
Title: Beyond BIOS: Developing with the Unified Extensible Firmware Interface, Third Edition / Edition 1, Author: Vincent Zimmer
Title: Compiler Construction: 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / Edition 1, Author: Evelyn Duesterwald

Pagination Links