Title: Specification and Transformation of Programs: A Formal Approach to Software Development / Edition 1, Author: Helmut A. Partsch
Title: Prolog and its Applications: A Japanese perspective, Author: F U M I O MIZOGUCHI
Title: The Design and Analysis of Algorithms / Edition 1, Author: Dexter C. Kozen
Title: The Temporal Logic of Reactive and Concurrent Systems: Specification / Edition 1, Author: Zohar Manna
Title: Parallel Programming of Transputer Based Machines / Edition 1, Author: Traian Muntean
Title: Parallel Execution of Parlog / Edition 1, Author: Andrew Cheese
Title: Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings / Edition 1, Author: Andrei Voronkov
Title: The Formal Semantics of Programming Languages: An Introduction / Edition 1, Author: Glynn Winskel
Title: Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings / Edition 1, Author: Evelina Lamma
Title: Efficient Algorithms for Listing Combinatorial Structures, Author: Leslie Ann Goldberg
Title: The Clausal Theory of Types, Author: D. A. Wolfram
Title: A Practical Theory of Programming / Edition 1, Author: Eric C.R. Hehner
Title: Design of Hashing Algorithms / Edition 1, Author: Josef Pieprzyk
Title: Reliability and Safety Analyses under Fuzziness / Edition 1, Author: Takehisa Onisawa
Title: Advances in Inductive Logic Programming / Edition 1, Author: L De Raedt
Title: Genetic Algorithms + Data Structures = Evolution Programs / Edition 3, Author: Zbigniew Michalewicz
Title: Evolutionary Computing: AISB Workshop, Brighton, U.K., April 1 - 2, 1996. Selected Papers / Edition 1, Author: Terence C. Fogarty
Title: Algorithmic Learning Theory: 7th International Workshop, ALT '96, Sydney, Australia, October 23 - 25, 1996. Proceedings / Edition 1, Author: Setsuo Arikawa
Title: Algorithms on Strings, Trees, and Sequences: Computer Science and Computational Biology / Edition 1, Author: Dan Gusfield
Title: Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings / Edition 1, Author: Hubert Comon

Pagination Links