Your search returned 6 results.

Sort
Results
1.
Introduction to languages and the theory of computation / John C. Martin by
Edition: 3rd ed.
Material type: Text Text; Format: print
Publication details: Boston, MA : McGraw-Hill, 2003
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA267.5.S4 .M37 2003.

2.
Computability in context : computation and logic in the real world / editors, S. Barry Cooper, Andrea Sorbi. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Hackensack, NJ : Imperial College Press ; Distributed by World Scientific, 2011
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA9.59 .C65 2011.

3.
Set theory for computing : from decision procedures to declarative programming with sets / Domenico Cantone, Eugenio Omodeo and Alberto Policriti. by Series:
Material type: Text Text; Format: print
Publisher: New York : Springer, 2001
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA248 .C36 2001.

4.
Automata and computability / Dexter C. Kozen. by Series:
Material type: Text Text; Format: print
Publisher: New York : Springer, 1997
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA267 .K69 1997.

5.
Computable functions / A. Shen, N. K. Vereshchagin ; translated by V. N. Dubrovskii. by Series:
Material type: Text Text; Format: print
Publisher: Providence, RI : American Mathematical Society, 2003
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA9.59 .S53 2003.

6.
Introduction to languages and the theory of computation / John C. Martin. by
Edition: 4th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: New York, NY : McGraw-Hill, 2011
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA267.5.S4 .M37 2011.

Pages

Powered by Koha