Your search returned 2020 results.

Results
	921.	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.
	922.	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.
	923.	Formal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings [electronic resource] / edited by Kung-Kiu Lau, Richard Banach ... [et al.]. by International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England) Banach, Richard Lau, Kung-Kiu SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3785 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	924.	Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings / edited by Andras Horvath, Miklos Telek. by EPEW 2006 (2006 : Budapest, Hungary) Horvath, Andras Telek, Miklos SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4054 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	925.	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.
	926.	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.
	927.	Formal Methods for Components and Objects [electronic resource] : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures / edited by Frank S. Boer ... [et al.]. by Boer, Frank S SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4709 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	928.	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.
	929.	Formal methods for computational systems biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures / Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.). by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (8th : 2008 : Bertinoro, Italy) Bernardo, Marco Degano, Pierpaolo, 1950- Zavattaro, Gianluigi SpringerLink (Online service) Series: Lecture notes in computer science ; 5016 \| LNCS sublibrary. SL 2, Programming and software engineering \| Lecture notes in computer science. Tutorial. Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 Other title: SFM 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	930.	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.
	931.	Formal methods for industrial critical systems [electronic resource] : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / Stefan Leue, Pedro Merino (eds.). by International Workshop on Formal Methods for Industrial Critical Systems (12th : 2007 : Berlin, Germany) Leue, Stefan Merino, Pedro SpringerLink (Online service) Series: LNCS sublibrary. SL 2, Programming and software engineering \| Lecture notes in computer science ; 4916 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 Other title: International Workshop on Formal Methods for Industrial Critical Systems FMICS 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	932.	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.
	933.	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.
	934.	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.
	935.	Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings / edited by Martin Steffen, Gianluigi Zavattaro. by International Conference on Formal Methods for Open Object-Based Distributed Systems (7th : 2005 : Athens, Greece) Steffen, Martin Zavattaro, Gianluigi SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3535 Publication details: Berlin Heidelberg : Springer Science+Business Media, Inc., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	936.	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.
	937.	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.
	938.	Formal Methods in Systems Biology [electronic resource] : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings / edited by Jasmin Fisher. by Fisher, Jasmin SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5054 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	939.	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.
	940.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007: Proceedings / edited by Jean-Francois Raskin, P. S. Thiagarajan. by FORMATS 2007 (2007 : Salzburg, Austria) Thiagarajan, P. S SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4763 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.

First
Previous
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
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