| Books 1 - 10 of 21 | Previous | Next | 
|  | | Automata and Computability (Undergraduate Texts in Computer Science) (1st. ed. 1997. Corr. 8th printing Edition)
by Dexter C. Kozen
Hardcover, 400 Pages, Published 1997 by Springer, 1st. ed. 1997. Corr. 8th printing Edition
Compare Prices | Add to Wish List |
|  | | Theory of Computation (Texts in Computer Science) (1st Edition)
by Dexter C. Kozen
Hardcover, 426 Pages, Published 2006 by Springer, 1st Edition
Compare Prices | Add to Wish List |
|  | | The Design and Analysis of Algorithms (Springer Series in Perception Engineering)
by Dexter Kozen
Hardcover, 320 Pages, Published 1992 by Springer
Compare Prices | Add to Wish List |
|  | | Logics of Programs: Lecture Notes in Computer Science
by Logics of Programs Workshop (1983 Carnegie Mellon University), Edmund Clarke (Editor), Dexter Kozen (Editor)
Paperback, 527 Pages, Published 1984 by Springer-Verlag
Compare Prices | Add to Wish List |
|  | | Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 2-4, 2004, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Dexter Kozen (Editor), Carron Shankland (Editor)
Paperback, 401 Pages, Published 2004 by Springer, 1st Edition
Compare Prices | Add to Wish List |
|  | | Agile Software Engineering (Undergraduate Topics in Computer Science) (1st Edition)
by Orit Hazzan, Yael Dubinsky, Samson Abramsky (Adapter), Chris Hankin (Adapter), Dexter C. Kozen (Adapter), Andrew M. Pitts (Adapter), Flemming Nielson (Adapter), Steven S. Skiena (Adapter), Ian Stewart (Adapter), David D. Zhang (Adapter), Ian Mackie (Series Editor)
Paperback, 300 Pages, Published 2008 by Springer, 1st Edition
Compare Prices | Add to Wish List |
|  | | Tenth Annual IEEE Symposium on Logic in Computer Science: Proceedings, June 26-29, 1995, San Diego, California (Symposium on Logic in Computer Science//Proceedings)
by Dexter Kozen (Editor)
Paperback, 518 Pages, Published 1995 by IEEE Computer Society Press
Compare Prices | Add to Wish List |
|  | | Dynamic Logic (Foundations of Computing) (1st Edition)
by David Harel, Dexter Kozen, Jerzy Tiuryn
Hardcover, 450 Pages, Published 2000 by The MIT Press, 1st Edition
Compare Prices | Add to Wish List |
|  | | Principles of Image Processing - Fundamental Techniques (Undergraduate Topics in Computer Science) (1st Edition)
by Wilhelm Burger, Mark James Burge, Samson Abramsky (Adapter), Chris Hankin (Adapter), Dexter C. Kozen (Adapter), Andrew M. Pitts (Adapter), Flemming Nielson (Adapter), Steven S. Skiena (Adapter), Ian Stewart (Adapter), David D. Zhang (Adapter), Ian Mackie (Series Editor)
Paperback, 280 Pages, Published 2009 by Springer, 1st Edition
Compare Prices | Add to Wish List |
|  | | Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science) (1st Edition)
by David Makinson, Samson Abramsky (Adapter), Chris Hankin (Adapter), Dexter C. Kozen (Adapter), Andrew M. Pitts (Adapter), Flemming Nielson (Adapter), Steven S. Skiena (Adapter), Ian Stewart (Adapter), David D. Zhang (Adapter), Ian Mackie (Series Editor)
Hardcover, 288 Pages, Published 2008 by Springer, 1st Edition
Compare Prices | Add to Wish List |
| | Books 1 - 10 of 21 | Previous | Next |
|