Your search returned 8 results.

Results
	1.	CONCUR 2005 - Concurrency Theory [electronic resource] : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings / Martin Abadi, Luca de Alfaro. by International Conference on Concurrency Theory (16th : 2005 : San Francisco, Calif.) Abadi, Martin De Alfaro, Luca SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3653 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	2.	Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / edited by Pierpaolo Degano, Rocco Nicola, Jose Meseguer. by Degano, Pierpaolo Meseguer, Jose Nicola, Rocco SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5065 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	3.	Formal models of communicating systems : languages, automata, and monadic second-order logic / Benedikt Bollig by Bollig, Benedikt Publication details: New York : Springer, 2006 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.D5B655. Place hold
	4.	Formal Models of Communicating Systems [electronic resource] : Languages, Automata, and Monadic Second-Order Logic / by Benedikt Bollig. by Bollig, Benedikt SpringerLink (Online service) Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5.	Petri Nets and Other Models of Concurrency - ICATPN 2006 [electronic resource] : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings / edited by Susanna Donatelli, P.S. Thiagarajan. by International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (27th : 2006 : Turku, Finland) Donatelli, Susanna Thiagarajan, P.S SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4024 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	6.	Petri Nets and Other Models of Concurrency - ICATPN 2007 [electronic resource] : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceeding / edited by Jetty Kleijn, Alex Yakovlev. by International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (28th : 2007 : Siedlce, Poland) Kleijn, Jetty Yakovlev, Alex SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4546 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	7.	Transactions on petri nets and other models of concurrency. II, Special issue on concurrency in process-aware information systems [electronic resource] / edited by Kurt Jensen, Wil M. P. van der Aalst. by Jensen, K Aalst, Wil van der SpringerLink (Online service) Series: Lecture notes in computer science ; 5460 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: Special issue on concurrency in process-aware information systems In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	8.	Transactions on petri nets and other models of concurrency I [electronic resource] / edited by Kurt Jensen, Wil M. P. Aalst, Jonathan Billington. by International Conference on Applications and Theory of Petri Nets (28th : 2007 : Siedlce, Poland) Aalst, Wil M. P Billington, Jonathan Jensen, Kurt SpringerLink (Online service) Series: Lecture notes in computer science ; 5100 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 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