Your search returned 526 results.

Results
	121.	Exploring Raspberry Pi : interfacing to the real world with embedded Linux / Derek Molloy. by Molloy, Derek, 1973- [author.] Publisher: Indianapolis, IN : John Wiley & Sons, Inc., [2016]Copyright date: ©2016 Online resources: Wiley Online Library Availability: No items available.
	122.	Exploring the world of data processing / Claude J. DeRossi by DeRossi, Claude J Publication details: Reston, Va. : Reston Pub. Co., 1975 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.D37[00008032048]. Place hold
	123.	Extreme Programming and Agile Processes in Software Engineering (vol. # 4044) [electronic resource] : 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings / edited by Pekka Abrahamsson, Michele Marchesi, Giancarlo Succi. by XP 2006 (2006 : Oulu, Finland) Abrahamsson, Pekka Marchesi, Michele Succi, Giancarlo SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4044 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	124.	No cover image available First course in data processing with BASIC, COBOL, FORTRAN, and RPG / J. Daniel Couger, Fred R. McFadden by Couger, J. Daniel McFadden, Fred R, 1933- Edition: 3rd ed. Publication details: New York : Wiley, 1984 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: HF5548.2.C682 1984, ... Place hold
	125.	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.
	126.	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.
	127.	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.
	128.	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.
	129.	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.
	130.	Formal methods [electronic resource] : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / edited by Marcel Vinicius Medeiros Oliveira, Jim Woodcock. by Brazilian Symposium on Formal Methods (12th : 2009 : Gramado, Brazil) Oliveira, Marcel Vinicius Medeiros Woodcock, Jim SpringerLink (Online service) Series: Lecture notes in computer science ; 5902 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	131.	Formal methods [electronic resource] : state of the art and new directions / edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi. by Boca, Paul Bowen, Jonathan P Siddiqi, Jawed SpringerLink (Online service) Publication details: London : Springer-Verlag London, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	132.	Formal Methods and Software Engineering (vol. # 4260) [electronic resource] : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings / edited by Zhiming Liu, Jifeng He. by International Conference on Formal Engineering Methods (8th : 2006 : Macau, China) Liu, Zhiming He, Jifeng SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4260 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	133.	Formal methods and software engineering [electronic resource] : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / edited by Karin Breitman, Ana Cavalcanti. by International Conference on Formal Engineering Methods (11th : 2009 : Rio de Janeiro, Brazil) Breitman, Karin Cavalcanti, Ana SpringerLink (Online service) Series: Lecture notes in computer science ; 5885 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 Other title: ICFEM 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	134.	Formal Methods for Components and Objects [electronic resource] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures / edited by Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine. by FMCO 2008 (2008 : Sophia Antipolis, France) Boer, Frank S de Madelaine, Eric Bonsangue, Marcello M SpringerLink (Online service) Series: Lecture notes in computer science ; 5751 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: FMCO 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	135.	Formal Methods for Components and Objects (vol. # 4111) [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / edited by Frank S. de Boer ... [et al.]. by FMCO 2005 (2005 : Amsterdam, Netherlands) de Boer, Frank S SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4111 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	136.	Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures / edited by Marco Bernardo, Alessandro Cimatti. by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy) Bernardo, Marco SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3965 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	137.	Formal methods for industrial critical systems [electronic resource] : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings / edited by Maria Alpuente, Byron Cook, Christophe Joubert. by International Workshop on Formal Methods for Industrial Critical Systems (14th : 2009 : Eindhoven, The Netherlands) Alpuente, Maria Cook, Byron Joubert, Christophe SpringerLink (Online service) Series: Lecture notes in computer science ; 5825 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	138.	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.
	139.	Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings / edited by Roberto Gorrieri, Heike Wehrheim. by International Conference on Formal Methods for Open Object-Based Distributed Systems (8th : 2006 : Bologna, Italy) Gorrieri, Roberto Wehrheim, Heike SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4037 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	140.	Formal methods for quantitative aspects of programming languages [electronic resource] : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures / edited by Alessandro Aldini ... [et al.]. by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th : 2010 : Bertinoro, Italy) Aldini, Alessandro SpringerLink (Online service) Series: Lecture notes in computer science ; 6154 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 Other title: SFM 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.

First
Previous
1
2
3
4
5
6
7
8
9
10
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