Your search returned 526 results.

Results
	501.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / edited by Thorsten Altenkirch, Conor McBride. by TYPES'98 (2006 : Nottingham, UK) Altenkirch, Thorsten McBride, Conor SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4502 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	502.	Types for proofs and programs [electronic resource] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / edited by Stefano Berardi, Ferruccio Damiani, Ugo de'Liguoro. by TYPES 2008 (2008 : Torino, Italy) Berardi, Stefano Damiani, Ferruccio De'Liguoro, Ugo SpringerLink (Online service) Series: Lecture notes in computer science ; 5497 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	503.	No cover image available ULISP Programmer's guide, by Tong Loong Cheong by Tong, Loong Cheong Universiti Sains Malaysia Series: Technical report; no. 7/78 Publication details: Pulau Pinang, Universiti Sains Malaysia, 1978 Availability: No items available.
	504.	Unifying Theories of Programming [electronic resource] : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / edited by Steve Dunne, Bill Stoddart. by UTP 2006 (2006 : Darlington, England) Dunne, Steve Stoddart, Bill SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4010 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	505.	Variations on Constants [electronic resource] : Flow Analysis of Sequential and Parallel Programs / by Markus Muller-Olm. by Muller-Olm, Markus SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3800 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	506.	VEE Pro: Practical Graphical Programming [electronic resource] / by Robert B. Angus, Thomas E. Hulbert. by Angus, Robert B Hulbert, Thomas E SpringerLink (Online service) Publication details: London : Springer-Verlag London Limited, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	507.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck. by VMCAI 2008 (2008 : San Francisco, Calif.) Logozzo, Francesco Peled, Doron A Zuck, Lenore D SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4905 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook. Place hold
	508.	Verification, model checking, and abstract interpretation [electronic resource] : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings / edited by Gilles Barthe, Manuel Hermenegildo. by VMCAI 2010 (2010 : Madrid, Spain) Barthe, Gilles Hermenegildo, Manuel SpringerLink (Online service) Series: Lecture notes in computer science ; 5944 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 Other title: VMCAI 2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook. Place hold
	509.	Verification, model checking, and abstract interpretation [electronic resource] : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings / Byron Cook, Andreas Podelski (eds.). by VMCAI 2007 (2007 : Nice, France) Cook, Byron Podelski, Andreas SpringerLink (Online service) Series: Lecture notes in computer science ; 4349 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook. Place hold
	510.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings / edited by Radhia Cousot. by VMCAI 2005 (2005 : Paris, France) Cousot, Radhia SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3385 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 In: Springer e-books Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook. Place hold
	511.	Verification, model checking, and abstract interpretation [electronic resource] : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings / edited by Neil D. Jones, Markus Muller-Olm. by VMCAI 2009 (2009 : Savannah, Georgia, USA) SpringerLink (Online service) Series: Lecture notes in computer science ; 5403 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.V47 V871 2009. Place hold
	512.	Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino / edited by Bernhard Beckert, Reiner Hahnle, Peter H. Schmitt. by Beckert, Bernhard Hahnle, Reiner Schmitt, Peter H SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4334 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	513.	Verified software: theories, tools, experiments [electronic resource] : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings / edited by Natarajan Shankar, Jim Woodcock. by VSTTE 2008 (2008 : Toronto, Ont.) Shankar, N Woodcock, Jim SpringerLink (Online service) Series: lecture notes in computer science ; 5295 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	514.	Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / edited by Bertrand Meyer, Jim Woodcock. by IFIP TC 2/WG 2.3 Conference (1st : 2005 : Zurich, Switzerland) Meyer, Bertrand Woodcock, Jim SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4171 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	515.	A view of programming languages / by B. A. Galler and A. J. Perlis by Galler, Bernard A, 1928- Perlis, Alan J Publication details: Reading, Mass. : Addison-Wesley, 1970 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.G28 3 [00006002354]. Place hold
	516.	Visual basic 2005 recipes [electronic resource] : a problem-solution approach / Todd Herman, Allen Jones, Matthew MacDonald, and Rakesh Rajan. by Herman, Todd Jones, Allen MacDonald, Matthew Rajan, Rakesh SpringerLink (Online service) Series: The expert's voice in .NET Publication details: Berkeley, CA : Springer, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	517.	Visual Basic 2008 Recipes [electronic resource] : A Problem-Solution Approach / by Todd Herman ... [et al.]. by Herman, Todd SpringerLink (Online service) Publication details: Berkeley, CA : Springer, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	518.	Visual languages and applications / Kang Zhang by Zhang, Kang, 1959- Publication details: New York : Springer, 2007 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.65.Z483. Place hold
	519.	Visual languages for interactive computing : definitions and formalizations / Fernando Ferri [editor] by Ferri, Fernando Publication details: Hershey : Information Science Reference, 2008 Online resources: Table of contents only Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.I58 V578. Place hold
	520.	No cover image available VS fortran application programming : language reference program numbers 5748-F03 (Compiler and Library), 5748-LM3. (Library only) by International Business Machines Corporation Edition: 2nd ed. Publication details: White Plains, N.Y. : International Business Machines Corporation, 1982 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (3)Call number: QA76.73.F25V75 1982a 3 [00006000247], ... PERPUSTAKAAN TUN SERI LANANG (4)Call number: QA76.73.F25V75 1982a[00008033582], ... Place hold

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