Your search returned 526 results.

Results
	141.	Formal methods for web services [electronic resource] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures / edited by Marco Bernardo, Luca Padovani, Gianluigi Zavattaro. by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (9th : 2009 : Bertinoro, Italy) Bernardo, Marco Padovani, Luca Zavattaro, Gianluigi SpringerLink (Online service) Series: Lecture notes in computer science ; 5569 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: SFM 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	142.	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.
	143.	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.
	144.	Formal semantics and pragmatics for natural language querying / James Clifford by Clifford, James Series: Cambridge tracts n theoretical computer science ; 8 Publication details: Cambridge : Cambridge University Press, 1990 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.N38C55. Place hold
	145.	Formal semantics of Programming languages / Edited by Randall Rustin by Courant Computer Science Symposium (2 : 1970) Rustin, Randall Publication details: Englewood Cliffs, N.J. : Prentice-Hall, 1972 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.7.C68 1970[00008012420]. Place hold
	146.	No cover image available Formal specification and software development / D. Bjorner and C. Jones. by Bjorner, D. (Dines), 1937- Jones, C. B. (Cliff B.), 1944- Publication details: Englewood Cliffs, N. J. : Prentice-Hall International, 1982 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.6.B575 3. PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.6.B575. Place hold
	147.	Formal specification of programming languages : a panoramic primer / Frank G. Pagan by Pagan, Frank G Publication details: Englewood Cliffs, N.J. : Prentice-Hall, 1981 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.7.P33. Place hold
	148.	Formal syntax and semantics of programming languages : a laboratory based approach / Kenneth Slonneger, Barry L. Kurtz by Slonneger, Kenneth Kurtz, Barry L Publication details: Reading, Mass. : Addison-Wesley, 1995 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.7.S59. Place hold
	149.	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.
	150.	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.
	151.	No cover image available FORTRAN IV for IBM system/360 and system/370 : text programmed instruction / IBM by International Business Machines Corporation Edition: Rev. ed. Publication details: Poughkeepsie, N.Y. : International Business Machines, 1979 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.F25I52 1979. Place hold
	152.	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.
	153.	Foundations of fuzzy logic and Semantic Web languages / Umberto Straccia. by Straccia, Umberto [author.] Series: Chapman & Hall/CRC studies in informatics seriesPublisher: Boca Raton, FL. : CRC Press, [2014] Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.7.S775 3. Place hold
	154.	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.
	155.	Foundations of object-oriented languages REX School Workshop, Noordwijkerout, the Netherlands, May 28-June 1, 1990 proceedings J. W. de Bakker, W. P. de Roever, G. Rozenberg (Eds) by REX School Workshop (1990 : Noordwijkerout, Netherlands) Bakker, J. W. de (Jacobus Willem de) 1939- Roever, W. P. de Rozenberg, Grzegorz Series: Lecture notes in computer science ; 489 Publication details: Berlin Springer-Verlag 1991 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.74.R49 1990. Place hold
	156.	Foundations of programming languages : design and implementation / Seyed H. Roosta. by Roosta, Seyed H Publication details: Pacific Grove, CA : Thomson , 2003 Availability: Items available for loan: ZZ (1)Call number: QA76.7.R66 3. Place hold
	157.	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.
	158.	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.
	159.	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.
	160.	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.

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