Your search returned 16 results.

Results
	1.	Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan. by McIver, Annabelle Morgan, Carroll SpringerLink (Online service) Series: Monographs in Computer Science Publication details: New York, NY : Springer Science+Business Media, Inc., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	2.	Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. by Poernomo, Iman Hafiz Wirsing, Martin Crossley, John Newsome SpringerLink (Online service) Series: Monographs in Computer Science Publication details: New York, NY : Springer Science+Business Media Inc., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3.	A basis for theoretical computer science / Michael A. Arbib, A.J. Kfoury, Robert N. Moll by Arbib, Michael A Kfoury, A. J Moll, Robert N 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. Place hold
	4.	No cover image available Chess skills in man and machine / edited by Peter W. Frey by Frey, Peter W. (Peter William), 1942- 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. Place hold
	5.	The design of well-structured and correct programs / Suad Alagi'c, Michael A. Arbib by Alagi'c, Suad, 1946- Arbib, Michael A 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], ... Place hold
	6.	Evolutionary Synthesis of Pattern Recognition Systems [electronic resource] / by Bir Bhanu, Yingqiang Lin, Krzysztof Krawiec. by Bhanu, Bir Lin, Yingqiang Krawiec, Krzysztof SpringerLink (Online service) Series: Monographs in Computer Science Publication details: New York, NY : Springer Science+Business Media, Inc., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	7.	Geometric fundamentals of robotics / J.M. Selig by Selig, J. M Selig, J. M. Geometrical methods in robotics Series: Monographs in computer science Edition: 2nd ed. Publication details: New York : Springer, 2005 Online resources: Table of contents only Publisher description Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: TJ211.S458 2005 3. Place hold
	8.	Mathematical foundations of computer science / Peter A. Fejer, Dan A. Simovici. by Fejer, Peter A Simovici, Dan A 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. Place hold
	9.	A practical theory of programming / Eric C. R. Hehner. by Hehner, Eric C. R [author. ] 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. Place hold
	10.	Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten. by Dijkstra, Edsger Wybe Scholten, Carel S 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. Place hold
	11.	Reverse engineering of object oriented code / Paolo Tonella, Alessandra Potrich by Tonella, Paolo Potrich, Alessandra Series: Monographs in computer science Publication details: New York, NY : Springer Science+Business Media, 2005 Availability: Items available for loan: ZZ (1)Call number: QA76.64.T664 3. Place hold
	12.	Reverse Engineering of Object Oriented Code [electronic resource] / by Paolo Tonella, Alessandra Potrich. by Tonella, Paolo Potrich, Alessandra SpringerLink (Online service) Series: Monographs in Computer Science Publication details: New York, NY : Springer Science+Business Media, Inc., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	13.	The science of programming / David Gries by Gries, David, 1939- 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]. Place hold
	14.	Software configuration management using Vesta [electronic resource] / by Allan Heydon ... [et al.]. by Heydon, Allan SpringerLink (Online service) Series: Monographs in computer science Publication details: Boston, MA : Springer-Verlag US, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	15.	String-rewriting systems / Ronald V. Book. by Book, Ronald V [author] 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. Place hold
	16.	Super-Recursive Algorithms [electronic resource] / by Mark Burgin. by Burgin, Mark SpringerLink (Online service) Series: Monographs in Computer Science Publication details: New York, NY : Springer Science+Business Media Inc., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.

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