bib.howest.be Zoekresultaten

U zocht naar: Auteur Montanari, Ugo

1 - 7 van 7

1. Models of Computation

Auteur:: Bruni; Bruni, Roberto.; Montanari, Ugo
Uitgever:: Springer International Publishing 2017
Type:: e-book

2. Recent Trends in Algebraic Development Techniques

Auteur:: Corradini, Andrea; Kanade, Takeo; Montanari, Ugo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

3. Algebra and Coalgebra in Computer Science

Auteur:: Mossakowski, Till; Haveraaen, Magne; Kanade, Takeo; Montanari, Ugo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

4. Trustworthy Global Computing

Auteur:: Montanari, Ugo; Bruni, Roberto; Kanade, Takeo; Sannella, Donald; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

5. Graph Transformations

Auteur:: Corradini, Andrea; Ehrig, Hartmut; Kanade, Takeo; Montanari, Ugo; Ribeiro, Leila; Rozenberg, Grzegorz
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

6. Concurrency, Graphs and Models

Auteur:: Degano, Pierpaolo; De Nicola, Rocco; Kanade, Takeo; Meseguer, José; Montanari, Ugo; Nicola, Rocco
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

7. Formal Methods in Software and Systems Modeling

Auteur:: Hutchison, David; Ehrig, Hartmut; Kanade, Takeo; Kreowski, Hans-Jörg; Montanari, Ugo; Orejas, Fernando; Rozenberg, Grzegorz; Taentzer, Gabriele
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book