Your search returned 5 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Basic proof theory / A.S. Troelstra, H. Schwichtenberg. by Series: Cambridge tracts in theoretical computer science ; 43
Edition: 2nd ed.
Publication details: Cambridge : Cambridge University Press, 2000
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.54.T76 2000.

Place hold
2.
Predicate transformer semantics / Ernest G. Manes. by Series: Cambridge tracts in theoretical computer science ; 33
Edition: 1st paperback ed.
Publication details: Cambridge ; New York : Cambridge University Press, 2004
Availability: No items available.

3.
Hybrid graph theory and network analysis / Ladislav Novak, Alan Gibbons by Series: Cambridge tracts in theoretical computer science ; 49
Publication details: Cambridge : Cambridge University Press, 1999
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA166.N688.

Place hold
4.
Design theory and computer science : processes and methodology of computer systems design / Subrata Dasgupta by Series: Cambridge tracts in theoretical computer science ; 15
Publication details: Cambridge : Cambridge University Press, 1991
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.S88D378.

Place hold
5.
The clausal theory of types / D. A. Wolfram by Series: Cambridge tracts in theoretical computer science ; 21
Publication details: Cambridge : Cambridge University Press, 1993
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.63.W658.

Place hold
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