Your search returned 59 results.

Results
	41.	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (vol. # 3990) [electronic resource] : Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings / edited by J. Christopher Beck, Barbara M. Smith. by International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (3rd : 2006 Cork, Ireland) Beck, J. Christopher Smith, Barbara SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3990 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	42.	Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers / edited by Tiziana Maragria, Bernhard Steffen. by ISoLA 2004 (2004 : Paphos, Cyprus) Maragria, Tiziana Steffen, Bernhard SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4313 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Click here to access online Availability: No items available.
	43.	Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan Merz, Nicolas Navet by Merz, Stephan Navet, Nicolas Publication details: London : ISTE, 2008 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.54.M639 pasca. Place hold
	44.	Modeling in Event-B : system and software engineering / Jean-Raymond Abrial by Abrial, Jean-Raymond Publication details: Cambridge : Cambridge University Press, 2010 Online resources: Cover image Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.F67A277. Place hold
	45.	Modern Formal Methods and Applications [electronic resource] / edited by Hossam A. Gabbar. by Gabbar, Hossam A SpringerLink (Online service) Publication details: Dordrecht : Springer, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	46.	Practical UML statecharts in C/C++ : event-driven programming for embedded systems / Miro Samek. by Samek, Miro [author.] Edition: Second edition. Publisher: Boca Raton, FL : CRC Press, c2018Copyright date: ©2018 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.9.S88S2585 2018 3. Place hold
	47.	Rigorous Engineering of Fault-Tolerant Systems [electronic resource] / edited by Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna. by Workshop on Rigorous Engineering of Fault-tolerant Systems (2005 : Newcastle upon Tyne, England) Butler, Michael SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4157 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	48.	Rigorous methods for software construction and analysis [electronic resource] : essays dedicated to Egon Borger on the occasion of his 60th birthday / edited by Jean-Raymond Abrial, Uwe Glasser. by Abrial, Jean-Raymond [editor.] Glasser, Uwe [editor.] SpringerLink (Online service) Series: Lecture notes in computer science ; 5115 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	49.	Runtime verification [electronic resource] : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers / edited by Saddek Bensalem, Doron A. Peled. by RV 2009 (2009 : Grenoble, France) Bensalem, Saddek [editor.] Peled, Doron A [editor.] SpringerLink (Online service) Series: Lecture notes in computer science ; 5779 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: RV 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	50.	Runtime verification [electronic resource] : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / Oleg Sokolsky, Serdar Ta{o}siran (eds.). by RV 2007 (2007 : Vancouver, B.C.) Sokolsky, Oleg Tasiran, Serdar SpringerLink (Online service) Series: Lecture notes in computer science ; 4839 \| LNCS sublibrary. SL 2, Programming and software engineering Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: RV 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	51.	Scalable techniques for formal verification [electronic resource] / by Sandip Ray. by Ray, Sandip SpringerLink (Online service) Publication details: Boston, MA : Springer Science+Business Media, LLC, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	52.	Secure Transaction Protocol Analysis [electronic resource] : Models and Applications / by Qingfeng Chen, Chengqi Zhang, Shichao Zhang. by Chen, Qingfeng Zhang, Chengqi Zhang, Shichao SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5111 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	53.	Solid State NMR Spectroscopy for Biopolymers [electronic resource] : Principles and Applications / by Hazime Saito, Isao Ando, Akira Naito. by Saito, Hazime Ando, Isao Naito, Akira SpringerLink (Online service) Publication details: Dordrecht : Springer, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	54.	Tests and proofs [electronic resource] : 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings / edited by Gordon Fraser, Angelo Gargantini. by TAP 2010 (4th : 2010 : Malaga, Spain) Fraser, Gordon Gargantini, Angelo SpringerLink (Online service) Series: Lecture notes in computer science ; 6143 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
	55.	Theoretical aspects of computing - ICTAC 2009 [electronic resource] : 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / edited by Martin Leucker, Carroll Morgan. by ICTAC 2009 (2009 : Kuala Lumpur, Malaysia) Leucker, Martin Morgan, Carroll SpringerLink (Online service) Series: Lecture notes in computer science ; 5684 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	56.	Validated Designs for Object-oriented Systems [electronic resource] / by John Fitzgerald ... [et al.]. by Fitzgerald, John SpringerLink (Online service) Publication details: London : Springer-Verlag London Limited, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	57.	Web Services and Formal Methods [electronic resource] : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings / edited by Mario Bravetti, Manuel Nunez, Gianluigi Zavattaro. by WS-FM 2006 (2006 : Vienna, Austria) Bravetti, Mario Nunez, Manuel Zavattaro, Gianluigi SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4184 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	58.	Web services and formal methods [electronic resource] : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings / Marlon Dumas, Reiko Heckel (eds.). by WS-FM 2007 (2007 : Brisbane, Qld.) Dumas, Marlon Heckel, Reiko SpringerLink (Online service) Series: Lecture notes in computer science ; 4937 \| LNCS sublibrary. SL 2, Programming and software engineering Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 Other title: WS-FM 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	59.	Web services and formal methods [electronic resource] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers / edited by Roberto Bruni, Karsten Wolf. by WS-FM 2008 (2008 : Milan, Italy.) Bruni, Roberto Wolf, Karsten SpringerLink (Online service) Series: Lecture notes in computer science ; 5387 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: International Workshop, WS-FM 2008 WS-FM 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.

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