Title: Generating Abstraction Hierarchies: An Automated Approach to Reducing Search in Planning / Edition 1, Author: Craig A. Knoblock
Title: An Introduction to Discrete Mathematics, Formal System Specification, and Z / Edition 2, Author: D. C. Ince
Title: Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures / Edition 1, Author: S. Abramsky
Title: Formal Techniques in Real-Time and Fault-Tolerant Systems / Edition 1, Author: Jan Vytopil
Title: Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings / Edition 1, Author: Richard S. Bird
Title: Advances in Accounting Information Systems / Edition 1, Author: Steven G. Sutton
Title: Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers / Edition 1, Author: Egon Bïrger
Title: The Computer in the United States: From Laboratory to Market, 1930-60 / Edition 1, Author: James W. Cortada
Title: Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings / Edition 1, Author: Dines Bjïrner
Title: Foundations of Data Organization and Algorithms: 4th International Conference, FODO '93, Chicago, Illinois, USA, October 13-15, 1993. Proceedings / Edition 1, Author: David B. Lomet
Title: Information Modeling the EXPRESS Way, Author: Douglas A. Schenck
Title: Design of Hashing Algorithms / Edition 1, Author: Josef Pieprzyk
Title: Concrete Mathematics: A Foundation for Computer Science / Edition 2, Author: Ronald Graham
Title: Universal Compression and Retrieval / Edition 1, Author: R. Krichevsky
Title: The Art of Prolog, second edition: Advanced Programming Techniques / Edition 2, Author: Leon S. Sterling
Title: Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives / Edition 1, Author: Michel Banatre
Title: The Computer as Medium, Author: Peter Bxgh Andersen
Title: Computer - Neue Flügel des Geistes?: Die Evolution computergestützter Technik, Wissenschaft, Kultur und Philosophie / Edition 1, Author: Klaus Mainzer
Title: Substructural Logics, Author: Peter Schroeder-Heister
Title: Logic, Language and Computation: Festschrift in Honor of Satoru Takasu / Edition 1, Author: Neil Jones

Pagination Links