|
|
Foundations of algorithms using C++ pseudocode / Richard E. Neapolitan, Kumarss Naimipour
by Neapolitan, Richard E | Naimipour, Kumarss [(j.a.)] | Neapolitan, Richard E. Foundations of algorithms. Edition: 2nd ed.Publisher: Sudbury, Mass. : Jones and Bartlett Publishers, c1998Availability: No items available Checked out (1).
|
|
|
Introduction to the theory of computation / Michael Sipser.
by Sipser, Michael. Publisher: Boston : PWS Pub. Co., c1997Availability: Items available for loan: Taylor's Library-TU
[Call number: 511.3 SIP]
(1).
|
|
|
Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou.
by Lewis, Harry R | Papadimitriou, Christos H. Edition: 2nd ed.Publisher: Upper Saddle River, N.J. : Prentice-Hall, c1998Availability: Items available for loan: Taylor's Library-TU
[Call number: 511.3 LEW]
(4).
|
|
|
Languages and machines : an introduction to the theory of computer science / Thomas A. Sudkamp.
by Sudkamp, Thomas A. Edition: 3rd ed.Publisher: Boston : Pearson Addison-Wesley, c2006Availability: Items available for loan: Taylor's Library-TU
[Call number: 511.3 SUD]
(2).
|
|
|
Introduction to the theory of computation / Michael Sipser.
by Sipser, Michael. Edition: 2nd ed., Int ed.Publisher: Boston, Mass. : Thomson/Course Technology, c2006Availability: Items available for loan: Taylor's Library-TU
[Call number: 511.3 SIP]
(1).
|
|
|
Sets, logic and maths for computing / David Makinson.
by Makinson, David, 1941- [author.]. Edition: Second edition.Publisher: London: Springer-Verlag, [2012]Copyright date: ©2012Availability: Items available for loan: Taylor's Library-TU
[Call number: 004.015113 MAK 2012]
(3).
|
|
|
Modern applications of automata theory / editors, Deepak D'Souza, Priti Shankar.
by D'Souza, Deepak | Shankar, P. (Priti). Publisher: Singapore : World Scientific, c2012Availability: Items available for loan: Taylor's Library-TU
[Call number: 511.35 MOD 2012]
(1).
|
|
|
Introduction to the theory of computation / Michael Sipser.
by Sipser, Michael. Edition: Third edition.Publisher: Boston, MA : Cengage Learning, [2013]Copyright date: ©2013Availability: Items available for loan: Taylor's Library-TU
[Call number: 511.35 SIP 2013]
(1).
|
|
|
A guide to systems research [electronic resource] : philosophy, processes and practice / edited by Mary C. Edson, Pamela Buckle Henning, Shankar Sankaran.
by Edson, Mary C | Buckle Henning, Pamela | Sankaran, Shankar | SpringerLink (Online service). Source: Springer eBooksPublisher: Singapore : Springer Singapore : Imprint: Springer, 2017Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for reference: Taylor's Library-TU
[Call number: 658.1]
(1).
|
|
|
Computers and intractability : guide to the theory of NP-completeness / Michael R. Garey, David S. Johnson.
by GAREY, Michael R | Johnson, David S, 1945- (j.a.). Publisher: San Francisco : W.H. Freeman, 1979Availability: Items available for loan: Taylor's Library-TU
[Call number: 004.0151 GAR]
(2).
|
|
|
Languages and machines : an introduction to the theory of computer science / Thomas A. Sudkamp
by Sudkamp, Thomas A. Edition: 2nd ed.Publisher: Reading, Mass. : Addison-Wesley Pub, c1997Availability: Items available for loan: Taylor's Library-TU
[Call number: 511.3 SUD]
(6).
|
|
|
Algorithmic information theory / Gregory J. Chaitin.
by Chaitin, Gregory J. Publisher: Cambridge ; New York : Cambridge University Press , 1987Availability: Items available for loan: Taylor's Library-TU
[Call number: 004 CHA]
(1).
|
|
|
Computability, complexity, and logic / E. Borger.
by Borger, E. (Egon), 1946-. Publisher: Amsterdam; New York : North-Holland, 1989Availability: Items available for loan: Taylor's Library-TU
[Call number: 005.131 BOR]
(1).
|
|
|
Computational complexity / Christos H. Papadimitriou
by Papadimitriou, Christos H. Publisher: Reading, Mass. : Addison-Wesley Pub. Co., c1994Availability: Items available for loan: Taylor's Library-TU
[Call number: 511.3 PAP]
(1).
|