Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic ProgrammingVolume 5: Logic Programming, Author: Dov M. Gabbay
Title: Autonomous, Model-Based Diagnosis Agents / Edition 1, Author: Michael Schroeder
Title: Logic And Declarative Language / Edition 1, Author: M. Downward
Title: Refinement Calculus: A Systematic Introduction / Edition 1, Author: Ralph-Johan Back
Title: Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / Edition 1, Author: Chris Hankin
Title: Compiler Construction: 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings / Edition 1, Author: Kai Koskimies
Title: Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings / Edition 1, Author: Tobias Nipkow
Title: Art of Computer Programming, The: Sorting and Searching, Volume 3, Author: Donald Knuth
Title: Evolutionary Algorithms for VLSI CAD / Edition 1, Author: Rolf Drechsler
Title: Programming Concepts and Methods PROCOMET '98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA / Edition 1, Author: David Gries
Title: Multi-Threaded Object-Oriented MPI-Based Message Passing Interface: The ARCH Library / Edition 1, Author: Jean-Marc Adamo
Title: Organizing Genius: The Secrets of Creative Collaboration, Author: Warren G. Bennis
Title: Universal Routing Strategies for Interconnection Networks / Edition 1, Author: Christian Scheideler
Title: Geometric Constraint Solving and Applications, Author: Beat Bruderlin
Title: Domains and Lambda-Calculi, Author: Roberto M. Amadio
Title: Algorithms in C++, Parts 1-4: Fundamentals, Data Structure, Sorting, Searching, Author: Robert Sedgewick
Title: Fundamentals of the Theory of Computation: Principles and Practice: Principles and Practice, Author: Raymond Greenlaw
Title: Mathematics of Program Construction: 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings, Author: Johan Jeuring
Title: Inductive Logic Programming: 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998, Proceedings, Author: David Page
Title: Approximation Algorithms for Combinatorial Optimization: International Workshop APPROX'98, Aalborg, Denmark, July 18-19, 1998, Proceedings / Edition 1, Author: Klaus Jansen

Pagination Links