Title: What Every Engineer Should Know about Microcomputer Software / Edition 1, Author: Keith A. Wehmeyer
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: Subrecursive Programming Systems: Complexity & Succinctness, Author: James S. Royer
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: Software Engineering for Parallel and Distributed Systems / Edition 1, Author: Innes Jelly
Title: Formal Description Techniques IX: Theory, application and tools / Edition 1, Author: R. Gotzhein
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: Complexity and Real Computation / Edition 1, Author: Lenore Blum
Title: Art of Computer Programming, The: Seminumerical Algorithms, Volume 2 / Edition 3, Author: Donald Knuth

Pagination Links