Your search returned 3 results.

Results
	1.	From Model-Driven Design to Resource Management for Distributed Embedded Systems [electronic resource] : IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11–13, 2006, Braga, Portugal / edited by Bernd Kleinjohann, Lisa Kleinjohann, Ricardo J. Machado, Carlos E. Pereira, P. S. Thiagarajan. by Kleinjohann, Bernd Kleinjohann, Lisa Machado, Ricardo J Pereira, Carlos E Thiagarajan, P. S SpringerLink (Online service) Series: IFIP International Federation for Information Processing ; 225 Material type: Computer file; Format: electronic available online Publication details: Boston, MA : International Federation for Information Processing, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 F76 2006. Place hold Add to cart (remove)
	2.	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 Donatelli, Susanna Thiagarajan, P. S SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4024 Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267 D66 2006. Place hold Add to cart (remove)
	3.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings / edited by Jean-François Raskin, P. S. Thiagarajan. by Raskin, Jean-François Thiagarajan, P. S SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4763 Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.C65 R37 2007. Place hold Add to cart (remove)

Powered by Koha