Your search returned 5 results.

Results
	1.	Modelling Distributed Systems [electronic resource] / by Wan Fokkink. by Fokkink, Wan SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS Series 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.58 F65 2007. Place hold Add to cart (remove)
	2.	Fundamentals of Algebraic Graph Transformation [electronic resource] / by Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer. by Ehrig, Hartmut Ehrig, Karsten Prange, Ulrike Taentzer, Gabriele SpringerLink (Online service) Series: Monographs in Theoretical Computer Science. An EATCS Series 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.3 E37 2006. Place hold Add to cart (remove)
	3.	Theoretical Aspects of Computing - ICTAC 2008 [electronic resource] : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / edited by John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun. by Fitzgerald, John S Haxthausen, Anne E Yenigun, Husnu SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5160 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Language and Automata Theory and Applications [electronic resource] : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers / edited by Carlos Martín-Vide, Friedrich Otto, Henning Fernau. by Martín-Vide, Carlos Otto, Friedrich Fernau, Henning SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5196 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267 M37 2008. Place hold Add to cart (remove)
	5.	Provable Security [electronic resource] : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings / edited by Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai. by Baek, Joonsang Bao, Feng Chen, Kefei Lai, Xuejia SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5324 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 B34 2008 . Place hold Add to cart (remove)

Powered by Koha