Your search returned 8 results.

Sort
Results
1.
A basis for theoretical computer science / Michael A. Arbib, A.J. Kfoury, Robert N. Moll by Series: Texts and monographs in computer science
Publication details: New York : Springer-Verlag, 1981
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA267.A715.

2.
Chess skills in man and machine / edited by Peter W. Frey by Series: Texts and monographs in computer science
Edition: 2nd ed.
Publication details: New York : Springer-Verlag, 1983
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: GV1318.C45 1983.

3.
The design of well-structured and correct programs / Suad Alagi'c, Michael A. Arbib by Series: Texts and monographs in computer science
Publication details: New York : Springer-Verlag, 1978
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (3)Call number: QA76.6.A44 [00008033261], ...

4.
Mathematical foundations of computer science / Peter A. Fejer, Dan A. Simovici. by Series: Texts and monographs in computer science
Publication details: New York : Springer-Verlag, 1991
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.M35F45.

5.
A practical theory of programming / Eric C. R. Hehner. by Series: Texts and monographs in computer science
Publication details: New York : Springer-Verlag, 1993
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.6 .H428.

6.
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten. by Series: Texts and monographs in computer science
Publication details: New York : Springer-Verlag, 1990
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: Q9.35.D55.

7.
The science of programming / David Gries by Series: Texts and monographs in computer science
Publication details: New York : Springer-Verlag, 1981
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.6.G744[00008033329].

8.
String-rewriting systems / Ronald V. Book. by Series: Texts and monographs in computer science
Publication details: New York: Springer-Verlag, 1993
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA267.B66.

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