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

Pagination Links