Your search returned 919 results.

Results
	901.	No cover image available Usability of semi-formal and formal methods integration : empirical assessments / Rozilawati Razali by Rozilawati Razali Publication details: [United Kingdom] : University of Southampton, 2008 Dissertation note: Thesis (Ph. D.) - University of Southampton, 2008 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.E93R69 2008 tesis[00008051208]. Place hold
	902.	Use cases : patterns and blueprints / Gunnar 菶ergaard, Karin Palmkvist. by 菶ergaard, Gunnar Palmkvist, Karin Series: Software patterns series Publication details: Indianapolis, Ind. : Addison-Wesley, c2005 Availability: No items available.
	903.	Using and understanding Java data objects / David Ezzio by Ezzio, David Publication details: New York : Apress, 2003 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.J38E99. Place hold
	904.	Using computers in the law office / Brent D. Roper by Roper, Brent D Publication details: Africa : West Legal Studies Thomson Learning, 2000 Availability: Items available for loan: PERPUSTAKAAN UNDANG-UNDANG (1)Call number: C71.12KF.R66 2. Place hold
	905.	No cover image available Using mobile agents in a multi-attribute reverse auction mechanism for wood-based industry / Dian Pradhana Sugijarto. by Sugijarto, Dian Pradhana Publication details: 2010 Dissertation note: Thesis (Master of Computer Science) - Universiti Kebangsaan Malaysia, 2010. Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.76.I58.S836 2010 3 tesis. Place hold
	906.	No cover image available Using mobile agents in a multi-attribute reverse auction mechanism for wood-based industry [microform] / Dian Pradhana Sugijarto. by Sugijarto, Dian Pradhana Publication details: Universiti Kebangsaan Malaysia, Bangi : 2012 Dissertation note: Thesis (Master of Computer Science) - Universiti Kebangsaan Malaysia, 2010. Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: mikrofilem tesis QA76.76 .I58 S836 2012. Place hold
	907.	No cover image available Using software abstraction to develop an agent based system / Zulaiha Ali Othman by Zulaiha Ali Othman Publication details: [Sheffield] : Sheffield Hallam University, 2004 Dissertation note: Thesis (Ph.D.) - Sheffield Hallam University, 2004 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.I58Z84 2004 tesis[00008051212]. Place hold
	908.	Valuation of network effects in software markets [electronic resource] : a complex networks approach / by Andreas Kemper. by Kemper, Andreas SpringerLink (Online service) Series: Contributions to management science Publication details: Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	909.	Verification and validation for quality of UML 2.0 models / Bhuvan Unhelkar by Unhelkar, Bhuvan Publication details: Hoboken, NJ : John Wiley, 2005 Online resources: Contributor biographical information Publisher description Table of contents only Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.V47U595. Place hold
	910.	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.
	911.	Verification of sequential and concurrent programs [electronic resource] / by Krzysztof R. Apt, Frank S. Boer, Ernst-Rudiger Olderog. by Apt, Krzysztof R Boer, Frank S Olderog, Ernst-Rudiger SpringerLink (Online service) Series: Texts in computer science Edition: 3rd ed. Publication details: London : Springer-Verlag London, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	912.	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.
	913.	Visual studio 2010 and .NET 4 : six-in-one / Istvan Novak ... [et al.]. by Novak, Istvan Series: Wrox programmer to programmer Publication details: Indianapolis, IN : Wiley, 2010 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.M52V537. Place hold
	914.	Web Development Solutions [electronic resource] : Ajax, APIs, Libraries, and Hosted Services Made Easy / by Christian Heilmann, Mark Norman Francis. by Heilmann, Christian Francis, Mark Norman SpringerLink (Online service) Publication details: Berkeley, CA : Springer, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	915.	Windows 3 : a developer's guide / Jeffrey M. Richter by Richter, Jeffrey Publication details: Redwood City, CA. : M & T Books, 1991 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76. W56 R54. Place hold
	916.	Writers' workshops & the work of making things : patterns, poetry-- / Richard P. Gabriel by Gabriel, Richard P Publication details: Boston : Addison-Wesley, 2002 Other title: Writers' workshops and the work of making things Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.D47G34. Place hold
	917.	Writing scientific software : a guide for good style / Suely Oliveira and David E. Stewart by Oliveira, Suely Stewart, David E. (David Edward), 1961- Publication details: Cambridge ; New York : Cambridge University Press, 2006 Online resources: Publisher description Table of contents only Contributor biographical information Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.D47045. Place hold
	918.	Writing software manuals a practical guide Martyn Thirlway by Thirlway, Martyn Series: The BCS practitioner series Publication details: New York Prentice-Hall 1994 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.D6T49. Place hold
	919.	xUnit test patterns : refactoring test code / Gerard Meszaros by Meszaros, Gerard Series: The Addison-Wesley signature series Publication details: Upper Saddle River, NJ : Addison-Wesley, 2007 Online resources: Table of contents only Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.P37M478. Place hold

First
Previous
37
38
39
40
41
42
43
44
45
46

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