|
| Books 1 - 10 of 15 | Previous | Next |
|
 | | Automata and Computability (1st. ed. 1997. Corr. 8th printing Edition)
by Dexter C. Kozen
Hardcover, 400 Pages, Published 2007 by Springer, 1st. ed. 1997. Corr. 8th printing Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Theory of Computation: Classical and Contemporary Approaches (Texts in Computer Science): Classical and Contemporary Approaches (Texts in Computer Science)
by Dexter C. Kozen
Hardcover, 426 Pages, Published 2006 by Springer
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Logics of Programs: Lecture Notes in Computer Science: 164 (Lecture Notes in Computer Science, 164)
by Edmund Clarke, Logics of Programs Workshop (1983 Carnegie Mellon University), Dexter Kozen (Editor)
Paperback, 527 Pages, Published 1984 by Springer-Verlag
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Logic in Computer Science: LICS 95 10th: Symposium Proceedings: LICS 95 10th (Symposium on Logic in Computer Science//Proceedings)
by Dexter Kozen, Dexter C. Kozen (Editor)
Paperback, 518 Pages, Published 1996 by IEEE Computer Society Press,U.S.
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Logics of Programs: Lecture Notes in Computer Science: 131 (Lecture Notes in Computer Science, 131)
by N. Y.) Logics of Programs Workshop (1981 Yorktown Heights, Dexter Kozen
Paperback, 429 Pages, Published 1982 by Springer-Verlag
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Polynomial decomposition algorithms (Technical report. Cornell University. Department of Computer Science)
by Dexter Kozen
Unknown Binding, 14 Pages, Published 1986 by Cornell University, Dept. of Computer Science
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 |
|
 | | ALEX: An alexical programming language (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 |
|
 | | 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 |
|
 | | Logics of programs
by Dexter Kozen
Unknown Binding, Published 1987 by Computer Science Dept., Washington State University
Compare Prices | Add to Wish List | Set Price Alert |
|
| Books 1 - 10 of 15 | Previous | Next |