Your search returned 919 results.

Results
	261.	Extreme Programming examined / Giancarlo Succi, Michele Marchesi by Succi, Giancarlo, 1964- Marchesi, Michele Series: The XP series Publication details: Boston : Addison-Wesley, 2001 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.D47S83. Place hold
	262.	Extreme programming refactored : the case against XP / Matt Stephens and Doug Rosenberg by Stephens, Matt Rosenberg, Doug Series: The expert's voice Publication details: Berkeley, Calif. : Apress, 2003 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.D47S73. Place hold
	263.	The field programming environment : a friendly integrated environment for learning and development / by Steven P. Reiss by Reiss, Steven P, 1951- Publication details: Boston : Kluwer Academic Publishers, 1995 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.6.R437. Place hold
	264.	Flexible, reliable software : using patterns and agile development / Henrik Baerbak Christensen. by Christensen, Henrik B Series: Chapman & Hall/CRC textbooks in computing Publication details: Boca Raton, Fl. : CRC Press, 2010 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.R44C497. Place hold
	265.	Flexible software design : systems development for changing requirements / Bruce Johnson ... [et al.] by Johnson, Bruce (Bruce M.) Publication details: Boca Raton, FL : Auerbach Publications, 2005 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.D47F554. Place hold
	266.	FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski. by International Symposium of Formal Methods Europe (14th : 2006 : Hamilton, Ont.) Misra, Jayadev Nipkow, Tobias Sekerinski, Emil SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4085 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	267.	FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / edited by Jorge Cuellar, Tom Maibaum, Kaisa Sere. by International Symposium on Formal Methods (15th : 2008 : Turku, Finland) Cuellar, Jorge Maibaum, Tom Sere, Kaisa SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5014 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	268.	FM 2009 [electronic resource] : formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / edited by Ana Cavalcanti, Dennis Dams. by International Symposium of Formal Methods Europe (16th : 2009 : Eindhove, The Netherlands) Cavalcanti, Ana Dams, Dennis SpringerLink (Online service) Series: Lecture notes in computer science ; 5850 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	269.	Form+code in design, art, and architecture / Casey Reas, Chandler McWilliams, and Jeroen Barendse by Reas, Casey McWilliams, Chandler Barendse, Jeroen Series: Design briefs Publication details: New York : Princeton Architectural Press, 2010 Other title: Form and code in design, art, and architecture Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.D47R43 3. Place hold
	270.	Formal Approaches to Software Testing and Runtime Verification [electronic resource] : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / edited by Klaus Havelund ... [et al.]. by FATES/RV 2006 (2006 : Seattle, Wash.) Havelund, Klaus SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4262 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	271.	Formal Approaches to Software Testing (vol. # 3997) [electronic resource] : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers / edited by Wolfgang Grieskamp, Carsten Weise. by FATES 2005 (2005 : Edinburgh, Scotland) Grieskamp, Wolfgang Weise, Carsten SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3997 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	272.	Formal foundations of reuse and domain engineering [electronic resource] : 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009 : proceedings / edited by Stephen H. Edwards, Gregory Kulczycki. by International Conference on Software Reuse (11th : 2009 : Falls Church, Va.) Edwards, Stephen H Kulczycki, Gregory SpringerLink (Online service) Series: Lecture notes in computer science ; 5791 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: 11th International Conference on Software Reuse Eleventh International Conference on Software Reuse ICSR 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	273.	Formal methods and testing [electronic resource] : an outcome of the FORTEST network : revised selected papers / Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.). by Hierons, Robert M Bowen, J. P. (Jonathan Peter), 1956- Harman, Mark SpringerLink (Online service) Series: Lecture notes in computer science ; 4949 \| LNCS sublibrary. SL 2, Programming and software engineering Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	274.	Formal methods fact file : VDM and Z / Andrew Harry. by Harry, Andrew Series: Wiley series in software engineering practice Publication details: Chichester [England] : John Wiley & Sons, 1996 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.D47H374. Place hold
	275.	Formal methods for industrial critical systems [electronic resource] : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / edited by Darren Cofer, Alessandro Fantechi. by International Workshop on Formal Methods for Industrial Critical Systems (13th : 2008 : L'Aquila, Italy) Cofer, Darren Fantechi, Alessandro SpringerLink (Online service) Series: Lecture notes in computer science ; 5596 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: FMICS 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	276.	Formal methods for trustworthy computer system (FM 89) : report from FM 89- ... 23-27 July 1989, Halifax, Canada / Dan Craigen (editor) and Karen Summerskill (assistant editor) by Workshop on the Assesment of Formal Methods for Trustworthy Computer Systems (1989 : Halifax, N. S.) Summerskill, Karen, 1958- Craigen, Dan, 1953- Series: Workshops in computing Publication details: London : British Computer Society, 1990 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.V47W67 1990. Place hold
	277.	Formal specification using Z / David Lightfoot. by Lightfoot, David, 1951- [author.] Edition: Second edition. Publisher: Basingstoke : Palgrave Macmillan, 2002Copyright date: ©2001 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.73.Z2L534 3. Place hold
	278.	Foundations of AOP for J2EE Development [electronic resource] / by Renaud Pawlak, Lionel Seinturier, Jean-Philippe Retaille. by Pawlak, Renaud Seinturier, Lionel Retaille, Jean-Philippe SpringerLink (Online service) Publication details: Berkeley, CA : New York : Apress ; Distributed to the book trade worldwide by Springer-Verlag, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	279.	Foundations of computer software [electronic resource] : future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers / edited by Christine Choppy, Oleg Sokolsky. by Monterey Workshop (15th : 2008 Budapest, Hungary) Choppy, Christine Sokolsky, Oleg SpringerLink (Online service) Series: Lecture notes in computer science ; 6028 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	280.	Foundations of Intelligent Systems (vol. # 4203) [electronic resource] : 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006, Proceedings / edited by Floriana Esposito ... [et al.]. by International Symposium on Methodologies for Intelligent Systems (16th : 2006 : Bari, Italy) Esposito, Floriana SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4203 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.

First
Previous
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
Next
Last

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