1- 20 of 178 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: 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: 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: Solving Partial Differential Equations On Parallel Computers, Author: Jian Ping Zhu
QUICK ADD
Solving Partial Differential…
by Jian Ping Zhu
Hardcover $99.00
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: Principles Of Data Fusion Automation / Edition 1, Author: Richard T Antony
QUICK ADD
Principles Of Data Fusion…
by Richard T Antony
Hardcover $178.00
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: Semantics and Logics of Computation, Author: Andrew M. Pitts
QUICK ADD
Semantics and Logics of…
by Andrew M. Pitts, P. Dybjer
#14 in Series
Hardcover $160.00
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: Art of Computer Programming, The: Fundamental Algorithms, Volume 1 / Edition 3, Author: Donald Knuth
QUICK ADD
Art of Computer Programming,…
by Donald Knuth
Explore Series
Hardcover $106.39
Title: Art of Computer Programming, The: Seminumerical Algorithms, Volume 2 / Edition 3, Author: Donald Knuth
QUICK ADD
Art of Computer Programming,…
by Donald Knuth
#2 in Series
Hardcover $106.39
Title: Higher Order Operational Techniques in Semantics, Author: Andrew D. Gordon
QUICK ADD
Higher Order Operational…
by Andrew D. Gordon, Andrew M. Pitts
#12 in Series
Hardcover $114.00
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
QUICK ADD
Programming Concepts and…
by David Gries, Willem-Paul de Roever
Explore Series
Hardcover $219.99
Title: Domains and Lambda-Calculi, Author: Roberto M. Amadio
QUICK ADD
Domains and Lambda-Calculi
by Roberto M. Amadio, Pierre-Louis Curien
#46 in Series
Hardcover $191.00
Title: Data Structures and Algorithms with Object-Oriented Design Patterns in C++ / Edition 1, Author: Bruno R. Preiss
QUICK ADD
Data Structures and Algorithms…
by Bruno R. Preiss
Explore Series
Hardcover $228.75
Title: Intelligent System Applications in Power Engineering: Evolutionary Programming and Neural Networks / Edition 1, Author: Loi Lei Lai
QUICK ADD
Intelligent System…
by Loi Lei Lai
Hardcover $269.95

Pagination Links