Computers and intractability: a guide to the theory of NP-Completeness by Garey, Michael R., Johnson, David S. fromSeries of books in the mathematical sciences 0 Type: Book
Program construction: calculating implementations from specifications by Backhouse, Roland Carl 0 Type: Book
Computers and languages: theory and practice by Nijholt, Anton fromStudies in computer science and artificial intelligence 0 Type: Book
Algorithms and complexity: recent results and new directions : [proceedings … by Symposium on New Directions and Recent Results in Algorithms and Complexity, Carnegie-Mellon University), Carnegie Mellon University., Computer Science Department 0 Type: Book
The Design and analysis of algorithms by Kozen, Dexter C. fromTexts and Monographs in Computer Science 0 Type: Book
The Elements of computing systems: building a modern computer from first principles by Nisan, Noam, Schocken, Shimon 0 Type: Book
Temporal logic: mathematical foundations and computational aspects by Gabbay, Dov M., Hodkinson, Ian, Reynolds, Mark A. fromOxford science publications 0 Type: Book
