Your search returned 256 results.

Results
	81.	Formal modeling and analysis of timed systems [electronic resource] : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / edited by Joel Ouaknine, Frits W. Vaandrager. by FORMATS 2009 (2009 : Budapest, Hungary) Ouaknine, Joel Vaandrager, Frits W SpringerLink (Online service) Series: Lecture notes in computer science ; 5813 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	82.	Formal Modeling and Analysis of Timed Systems (vol. # 4202) [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings / edited by Eugene Asarin, Patricia Bouyer. by FORMATS 2006 (2006 : Paris, France) Asarin, Eugene Bouyer, Patricia SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4202 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	83.	Formal techniques for distributed systems [electronic resource] : Jjoint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings / edited by John Hatcliff, Elena Zucca. by International Conference on Formal Methods for Open Object-Based Distributed Systems (12th : 2010 : Amsterdam, Netherlands) Hatcliff, John Zucca, Elena SpringerLink (Online service) Series: Lecture notes in computer science ; 6117 Publication details: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	84.	Formal techniques for distributed systems [electronic resource] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings / edited by David Lee, Antonia Lopes, Arnd Poetzsch-Heffter. by International Conference on Formal Methods for Open Object-Based Distributed Systems (11th : 2009 : Lisbon, Portugal) Lee, David Lopes, Antonia Poetzsch-Heffter, Arnd SpringerLink (Online service) Series: Lecture notes in computer science ; 5522 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	85.	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.
	86.	Foundations of Java for ABAP Programmers [electronic resource] / by Alistair Rooney. by Rooney, Alistair SpringerLink (Online service) Publication details: Berkeley, CA : Springer, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	87.	Foundations of security analysis and design V [electronic resource] : FOSAD 2007/2008/2009 tutorial lectures / edited by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri. by Aldini, Alessandro Gorrieri, Roberto Barthe, Gilles SpringerLink (Online service) Series: Lecture notes in computer science ; 5705 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	88.	Foundations of software science and computational structures [electronic resource] : 13th international conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / edited by Luke Ong. by FOSSACS 2010 (2010 : Paphos, Cyprus) Ong, Luke SpringerLink (Online service) Series: Lecture notes in computer science ; 6014 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	89.	Foundations of Software Science and Computational Structures [electronic resource] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Luca de Alfaro. by FOSSACS 2009 (2009 : York, UK) De Alfaro, Luca SpringerLink (Online service) Series: Lecture notes in computer science ; 5504 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	90.	Foundations of Software Science and Computational Structures (vol. # 3921) [electronic resource] : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006: proceedings / edited by Luca Aceto, Anna Ingolfsdottir. by FOSSACS 2006 (2006 : Vienna, Austria) Aceto, Luca Ingolfsdottir, Anna SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3921 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	91.	FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings / edited by S. Arun-Kumar, Naveen Garg. by Conference on Foundations of Software Technology and Theoretical Computer Science (26th : 2006 : Calcutta, India) Arun-Kumar, S Garg, Naveen SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4337 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	92.	Functional and constraint logic programming [electronic resource] : 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 : revised selected papers / edited by Santiago Escobar. by WFLP 2009 (2009 : Brasilia, Brazil) Escobar, Santiago SpringerLink (Online service) Series: Lecture notes in computer science ; 5979 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 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
	93.	Functional and Logic Programming [electronic resource] : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings / edited by Masami Hagiya, Philip Wadler. by Fuji International Symposium on Functional and Logic Programming (8th : 2006 : Susono-shi, Japan) Hagiya, Masami Wadler, Philip SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3945 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	94.	Functional and logic programming [electronic resource] : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings / edited by Matthias Blume, Naoki Kobayashi, German Vidal. by Fuji International Symposium on Functional and Logic Programming (10th : 2010 : Sendai-shi (Miyagi-ken, Japan)) Blume, Matthias Kobayashi, Naoki Vidal, German SpringerLink (Online service) Series: Lecture notes in computer science ; 6009 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	95.	Fundamental approaches to software engineering [electronic resource] : 13th international conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / edited by David S. Rosenblum, Gabriele Taentzer. by FASE 2010 (2010 : Paphos, Cyprus) Rosenblum, David S Taentzer, Gabriele SpringerLink (Online service) Series: Lecture notes in computer science ; 6013 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	96.	Fundamental approaches to software engineering [electronic resource] : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, Marsha Chechik, Martin Wirsing / edited by Marsha Chechik, M. Weising. by FASE (12th : 2009 : York, UK.) Chechik, Marsha Wirsing, M SpringerLink (Online service) Series: Lecture notes in computer science ; 5503 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: FASE 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	97.	Fundamental Approaches to Software Engineering (vol. # 3922) [electronic resource] : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006: proceedings / edited by Luciano Baresi, Reiko Heckel. by FASE 2006 (2006 : Vienna, Austria) Baresi, Luciano Heckel, Reiko SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3922 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	98.	Fundamental Networking in Java [electronic resource] / by Esmond Pitt. by Pitt, Esmond SpringerLink (Online service) Publication details: London : Esmond Pitt, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	99.	Fundamental problems in computing [electronic resource] : essays in honor of Professor Daniel J. Rosenkrantz / edited by S. S. Ravi, Sandeep K. Shukla. by Ravi, S. S Shukla, Sandeep K SpringerLink (Online service) Publication details: Dordrecht : Springer Netherlands, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	100.	Fundamentals of Algebraic Graph Transformation [electronic resource] / by Hartmut Ehrig ... [et al.]. by Ehrig, Hartmut SpringerLink (Online service) Series: Monographs in Theoretical Computer Science. An EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer e-books 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