| | Books 1 - 10 of 16 | Previous | Next | 
|  | | The Design and Analysis of Algorithms (Monographs in Computer Science) (1st Edition)
by Dexter C. Kozen
Hardcover, 320 Pages, Published 1991 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Automata and Computability (Undergraduate Texts in Computer Science)
by Dexter C. Kozen
Hardcover, 400 Pages, Published 1997 by Springer
Compare Prices | Add to Wish List | Set Price Alert |
|  | | 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 | Set Price Alert |
|  | | 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 | Set Price Alert |
|  | | 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 | Set Price Alert |
|  | | 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 | Set Price Alert |
|  | | 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 | Set Price Alert |
|  | | On teaching left-handed children to write (Technical report. Cornell University. Dept. of Computer Science)
by Dexter Kozen
Unknown Binding, 8 Pages, Published 1987 by Cornell University, Dept. of Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Automata and Computability
by Dexter C. Kozen
Hardcover, Published 1997 by Springer Verlag
Compare Prices | Add to Wish List | Set Price Alert |
|  | | NC algorithms for comparability graphs, interval graphs, and unique perfect matchings (Technical report. Cornell University. Department of Computer Science)
by Dexter Kozen
Unknown Binding, 17 Pages, Published 1986 by Dept. of Computer Science, Cornell University
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 10 of 16 | Previous | Next |
|