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: 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: 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: Data Structures and Algorithms with Object-Oriented Design Patterns in C++ / Edition 1, Author: Bruno R. Preiss
Title: Language and Communication: Essential Concepts for User Interface and Documentation Design, Author: Agnes Kukulska-Hulme
Title: Evolutionary Algorithms in Engineering and Computer Science: Recent Advances in Genetic Algorithms, Evolution Strategies, Evolutionary Programming, Genetic Programming and Industrial Applications / Edition 1, Author: K. Miettinen
Title: Parallel Processing and Parallel Algorithms: Theory and Computation / Edition 1, Author: Seyed H Roosta
Title: Evolutionary Algorithms: The Role of Mutation and Recombination / Edition 1, Author: William M. Spears
Title: Telecommunications Optimization: Heuristic and Adaptive Techniques / Edition 1, Author: David W. Corne
Title: Computer Arithmetic Algorithms / Edition 2, Author: Israel Koren
Title: Mathematical Computing: An Introduction to Programming Using Maple� / Edition 1, Author: David Betounes

Pagination Links