Your search returned 12 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Algorithm design : a recursion transformation framework / Marvin C. Paull by
Publication details: New York : Wiley-Interscience, 1988
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.6.P38.

Place hold
2.
Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi by Series: Studies in logic and the foundations of mathematics ; 125
Publication details: Amsterdam : North-Holland, 1989
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.6.O35.

Place hold
3.
E-recursion, forcing and C*-algebras / editors, Chitat Chong, National University of Singapore, Singapore [and four others]. by Series: Publisher: New Jersey : World Scientific, [2014]Copyright date: ©2014
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.6.E734.

Place hold
4.
Fundamentals of computation theory : proceedings of the 1977 International FCT - Conference, Poznan-Kornik, Poland, September 19-23, 1977 / edited by Marek Karpinski by Series: Lecture notes in computer science ; 56
Publication details: Berlin : Springer-Verlag, 1977
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.6.I57 1977[00008031806].

Place hold
5.
No cover image available
Fundamentals of generalized recursion theory / Melvin Fitting by Series:
Publication details: Amsterdam : North-Holland Publishing Company, 1981
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA9.6.F57, ...

Place hold
6.
General recursion theory : an axiomatic approach / Jens E. Fenstad by Series: Perspectives in mathematical logic
Publication details: Berlin : Springer-Verlag, 1980
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.6.F46[00008031805].

Place hold
7.
8.
Induction, recursion, and programming / Mitchell Wand. by
Publication details: New York : North Holland, 1980
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.6.W34.

Place hold
9.
Recursion-theoretic hierarchies Peter G. Hinman. by
Publication details: Berlin Springer-Verlag 1978
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.62.H56.

Place hold
10.
Recursion theory (by) J.R. Shoenfield; (edited by) K. Fine ... (et. al). by Series: Lecture notes in logic ; 1
Publication details: Berlin Springer-Verlag 1993
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.6.S56.

Place hold
11.
Theory of computation / Dexter C. Kozen by Series: Texts in computer science
Publication details: London : Springer, 2006
Online resources:
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA267.7.K69.

Place hold
12.
Theory of Computation [electronic resource] / by Dexter C. Kozen. by Series: Texts in Computer Science
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer e-books
Online resources:
Availability: No items available.

Pages

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library