Title: Specification and Transformation of Programs: A Formal Approach to Software Development / Edition 1, Author: Helmut A. Partsch
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: 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: Solving Partial Differential Equations On Parallel Computers, Author: Jian Ping Zhu
Title: Reliability and Safety Analyses under Fuzziness / Edition 1, Author: Takehisa Onisawa
Title: Principles Of Data Fusion Automation / Edition 1, Author: Richard T Antony
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: Semantics and Logics of Computation, Author: Andrew M. Pitts
Title: Algorithms on Strings, Trees, and Sequences: Computer Science and Computational Biology / Edition 1, Author: Dan Gusfield
Title: Art of Computer Programming, The: Fundamental Algorithms, Volume 1 / Edition 3, Author: Donald Knuth
Title: Art of Computer Programming, The: Seminumerical Algorithms, Volume 2 / Edition 3, Author: Donald Knuth
Title: Higher Order Operational Techniques in Semantics, Author: Andrew D. Gordon
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
Title: Domains and Lambda-Calculi, Author: Roberto M. Amadio
Title: Data Structures and Algorithms with Object-Oriented Design Patterns in C++ / Edition 1, Author: Bruno R. Preiss
Title: Intelligent System Applications in Power Engineering: Evolutionary Programming and Neural Networks / Edition 1, Author: Loi Lei Lai

Pagination Links