Your search returned 4 results.

1.

Formal Methods in Software and Systems Modeling [electronic resource] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / edited by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer. by

Series: Lecture Notes in Computer Science ; 3393

Edition: 1a ed.

Material type:

Computer file

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 K74 2005.

2.

Algebra and Coalgebra in Computer Science [electronic resource] : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings / edited by Till Mossakowski, Ugo Montanari, Magne Haveraaen. by

Series: Lecture Notes in Computer Science ; 4624

Material type:

Computer file

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.M35 M67 2007.

3.

Graph Transformations [electronic resource] : Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg. by

Series: Lecture Notes in Computer Science ; 4178

Material type:

Computer file

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 C67 2006.

4.

Trustworthy Global Computing [electronic resource] : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers / edited by Ugo Montanari, Donald Sannella, Roberto Bruni. by

Series: Lecture Notes in Computer Science ; 4661

Material type:

Computer file

Computer file; Format: electronic available online remote

remote

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007

In: Springer eBooks

Online resources:

Click here to access online

Availability: No items available.