-
1Recent Trends in Data Type Specification [electronic resource] : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain... Recent Trends in Data Type Specification [electronic resource] : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain...Texto bibliotecaCOLPOS
-
2Recent Trends in Data Type Specification [electronic resource] : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain... Recent Trends in Data Type Specification [electronic resource] : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain...Texto bibliotecaCOLPOS
-
3Graph Transformations in Computer Science [electronic resource] : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings / Graph Transformations in Computer Science [electronic resource] : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings /by Schneider, Hans Jürgen. editor., Ehrig, Hartmut. editor., SpringerLink (Online service)
Published 1994Texto bibliotecaCOLPOS -
4Graph Transformations in Computer Science [electronic resource] : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings / Graph Transformations in Computer Science [electronic resource] : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings /by Schneider, Hans Jürgen. editor., Ehrig, Hartmut. editor., SpringerLink (Online service)
Published 1994Texto bibliotecaCOLPOS -
5Graph-Grammars and Their Application to Computer Science and Biology [electronic resource] : International Workshop Bad Honnef, October 30 – November 3, 1978 / Graph-Grammars and Their Application to Computer Science and Biology [electronic resource] : International Workshop Bad Honnef, October 30 – November 3, 1978 /by Claus, Volker. editor., Ehrig, Hartmut. editor., Rozenberg, Grzegorz. editor., SpringerLink (Online service)
Published 1979Texto bibliotecaCOLPOS -
6Graph Grammars and Their Application to Computer Science [electronic resource] : 4th International Workshop Bremen, Germany, March 5–9, 1990 Proceedings / Graph Grammars and Their Application to Computer Science [electronic resource] : 4th International Workshop Bremen, Germany, March 5–9, 1990 Proceedings /by Ehrig, Hartmut. editor., Kreowski, Hans-Jörg. editor., Rozenberg, Grzegorz. editor., SpringerLink (Online service)
Published 1991Texto bibliotecaCOLPOS -
7Graph Grammars and Their Application to Computer Science [electronic resource] : 4th International Workshop Bremen, Germany, March 5–9, 1990 Proceedings / Graph Grammars and Their Application to Computer Science [electronic resource] : 4th International Workshop Bremen, Germany, March 5–9, 1990 Proceedings /by Ehrig, Hartmut. editor., Kreowski, Hans-Jörg. editor., Rozenberg, Grzegorz. editor., SpringerLink (Online service)
Published 1991Texto bibliotecaCOLPOS -
8Petri Net Technology for Communication-Based Systems [electronic resource] : Advances in Petri Nets / Petri Net Technology for Communication-Based Systems [electronic resource] : Advances in Petri Nets /by Ehrig, Hartmut. editor., Reisig, Wolfgang. editor., Rozenberg, Grzegorz. editor., Weber, Herbert. editor., SpringerLink (Online service)
Published 2003Texto bibliotecaCOLPOS -
9Petri Net Technology for Communication-Based Systems [electronic resource] : Advances in Petri Nets / Petri Net Technology for Communication-Based Systems [electronic resource] : Advances in Petri Nets /by Ehrig, Hartmut. editor., Reisig, Wolfgang. editor., Rozenberg, Grzegorz. editor., Weber, Herbert. editor., SpringerLink (Online service)
Published 2003Texto bibliotecaCOLPOS -
10TAPSOFT '87 [electronic resource] : Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 / TAPSOFT '87 [electronic resource] : Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 /by Ehrig, Hartmut. editor., Kowalski, Robert. editor., Levi, Giorgio. editor., Montanari, Ugo. editor., SpringerLink (Online service)
Published 1987Texto bibliotecaCOLPOS -
11Mathematical Foundations of Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT)... Mathematical Foundations of Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT)...by Ehrig, Hartmut. editor., Floyd, Christiane. editor., Nivat, Maurice. editor., Thatcher, James. editor., SpringerLink (Online service)
Published 1985Texto bibliotecaCOLPOS -
12TAPSOFT '87 [electronic resource] : Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 / TAPSOFT '87 [electronic resource] : Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 /by Ehrig, Hartmut. editor., Kowalski, Robert. editor., Levi, Giorgio. editor., Montanari, Ugo. editor., SpringerLink (Online service)
Published 1987Texto bibliotecaCOLPOS -
13Formal and Natural Computing [electronic resource] : Essays Dedicated to Grzegorz Rozenberg / Formal and Natural Computing [electronic resource] : Essays Dedicated to Grzegorz Rozenberg /by Brauer, Wilfried. editor., Ehrig, Hartmut. editor., Karhumäki, Juhani. editor., Salomaa, Arto. editor., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS -
14Mathematical Foundations of Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT)... Mathematical Foundations of Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT)...by Ehrig, Hartmut. editor., Floyd, Christiane. editor., Nivat, Maurice. editor., Thatcher, James. editor., SpringerLink (Online service)
Published 1985Texto bibliotecaCOLPOS -
15Formal and Natural Computing [electronic resource] : Essays Dedicated to Grzegorz Rozenberg / Formal and Natural Computing [electronic resource] : Essays Dedicated to Grzegorz Rozenberg /by Brauer, Wilfried. editor., Ehrig, Hartmut. editor., Karhumäki, Juhani. editor., Salomaa, Arto. editor., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS -
16Graph Grammars and Their Application to Computer Science [electronic resource] : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers / Graph Grammars and Their Application to Computer Science [electronic resource] : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers /by Cuny, Janice. editor., Ehrig, Hartmut. editor., Engels, Gregor. editor., Rozenberg, Grzegorz. editor., SpringerLink (Online service)
Published 1996Texto bibliotecaCOLPOS -
17Graph Grammars and Their Application to Computer Science [electronic resource] : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers / Graph Grammars and Their Application to Computer Science [electronic resource] : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers /by Cuny, Janice. editor., Ehrig, Hartmut. editor., Engels, Gregor. editor., Rozenberg, Grzegorz. editor., SpringerLink (Online service)
Published 1996Texto bibliotecaCOLPOS -
18Graph Transformation [electronic resource] : First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings / Graph Transformation [electronic resource] : First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings /by Corradini, Andrea. editor., Ehrig, Hartmut. editor., Kreowski, Hans -Jörg. editor., Rozenberg, Grzegorz. editor., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS -
19Graph Transformations [electronic resource] : Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings / Graph Transformations [electronic resource] : Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings /by Ehrig, Hartmut. editor., Engels, Gregor. editor., Parisi-Presicce, Francesco. editor., Rozenberg, Grzegorz. editor., SpringerLink (Online service)
Published 2004Texto bibliotecaCOLPOS -
20Graph Transformations [electronic resource] : Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings / Graph Transformations [electronic resource] : Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings /by Ehrig, Hartmut. editor., Engels, Gregor. editor., Parisi-Presicce, Francesco. editor., Rozenberg, Grzegorz. editor., SpringerLink (Online service)
Published 2004Texto bibliotecaCOLPOS
![Recent Trends in Data Type Specification [electronic resource] : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers /](/search/themes/bootstrap3/images/libros.png)