Title: Visualization of Scientific Parallel Programs / Edition 1, Author: Gerald Tomas
Title: Computer - Neue Flügel des Geistes?: Die Evolution computergestützter Technik, Wissenschaft, Kultur und Philosophie / Edition 1, Author: Klaus Mainzer
Title: Rules in Database Systems: Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August-1 September 1993, Author: Norman W. Paton
Title: Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings, Author: Donald Sannella
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, Author: Dov M. Gabbay
Title: Compiler Construction: 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings / Edition 1, Author: Peter A. Fritzson
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies, Author: Dov M. Gabbay
Title: Loop Parallelization / Edition 1, Author: Utpal Banerjee
Title: Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis / Edition 1, Author: William K.C. Lam
Title: Computer Algorithms: String Pattern Matching Strategies / Edition 1, Author: Jun-ichi Aoe
Title: Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings / Edition 1, Author: Roy Dyckhoff
Title: Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers / Edition 1, Author: Henk Barendregt
Title: Implementations of Logic Programming Systems / Edition 1, Author: Evan Tick
Title: Parallel Computing Using the Prefix Problem, Author: S. Lakshmivarahan
Title: Karel The Robot: A Gentle Introduction to the Art of Programming / Edition 2, Author: Richard E. Pattis
Paperback from $59.90 $79.75 Current price is $59.90, Original price is $79.75.
Title: Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings / Edition 1, Author: Frank Pfenning
Title: Subrecursive Programming Systems: Complexity & Succinctness / Edition 1, Author: James S. Royer
Title: Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings, Author: Dov M. Gabbay
Title: Grammar Systems: A Grammatical Approach to Distribution and Cooperation / Edition 1, Author: Erzsebet Csuhaj-Varju
Title: Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings / Edition 1, Author: Manuel Hermenegildo

Pagination Links