Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Graph Transformations : 4th International Conference, ICGT 2008 : Leicester, United Kingdom, September 7-13, 2008 : Proceedings / Hartmut Ehrig...[et al.] (eds.)
| Graph Transformations : 4th International Conference, ICGT 2008 : Leicester, United Kingdom, September 7-13, 2008 : Proceedings / Hartmut Ehrig...[et al.] (eds.) |
| Autore | International Conference on GraphTransformations : <4. ; : 2008 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2008 |
| Descrizione fisica | XIII, 522 p. : ill. ; 24 cm. |
| Collana | Lecture notes in computer science |
| Soggetto topico | Grafi - Congressi - Leicester - 2008 |
| ISBN | 978-3-540-87404-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003161420203316 |
International Conference on GraphTransformations : <4. ; : 2008
|
||
| Berlin [etc.] : Springer, copyr. 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Transformations : 2. International Conference, ICGT 2004 : Rome, Italy, September 28 - October 2, 2004 : Proceedings / Harmut Ehrig ... et al. (eds.)
| Graph Transformations : 2. International Conference, ICGT 2004 : Rome, Italy, September 28 - October 2, 2004 : Proceedings / Harmut Ehrig ... et al. (eds.) |
| Autore | International Conference on GraphTransformations : <2. ; : 2005 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, [c2004] |
| Descrizione fisica | XII, 450 p. : ill. ; 24 cm. |
| Collana | Lecture notes in computer science |
| Soggetto topico | Grafi - Congressi - 2004 |
| ISBN | 3-540- 23207-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002955170203316 |
|
International Conference on GraphTransformations : <2. ; : 2005
|
||
| Berlin [etc.] : Springer, [c2004] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph-grammars and their application to computer science : 2th interntional workshop, Haus Ohrbeck, Germany, october 4-8, 1982 : "Under the auspices of the European Association for Theoretical Computer Science" / edited by Hartmut Ehrig, Manfred Nagl, and Grzegorz Rozenberg
| Graph-grammars and their application to computer science : 2th interntional workshop, Haus Ohrbeck, Germany, october 4-8, 1982 : "Under the auspices of the European Association for Theoretical Computer Science" / edited by Hartmut Ehrig, Manfred Nagl, and Grzegorz Rozenberg |
| Pubbl/distr/stampa | Berlin : Springer Verlag, 1983 |
| Descrizione fisica | VII, 452 p. : ill. ; 24 cm |
| Disciplina | 511.5 |
| Collana | Lecture notes in computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000350900203316 |
| Berlin : Springer Verlag, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph-grammars and their application to computer science and biology : international workshop : Bad Honnef, October 30 - November 3, 1978 / edited by Volker Claus, Hartmut Ehrig and Grzegorz Rozenberg
| Graph-grammars and their application to computer science and biology : international workshop : Bad Honnef, October 30 - November 3, 1978 / edited by Volker Claus, Hartmut Ehrig and Grzegorz Rozenberg |
| Pubbl/distr/stampa | Berlin : Springer Verlag, 1979 |
| Descrizione fisica | VII, 477 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000349870203316 |
| Berlin : Springer Verlag, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final report / Hartmut Rhrig...[et al.](Eds.)
| Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final report / Hartmut Rhrig...[et al.](Eds.) |
| Autore | EHRIG, Hartmut |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2004 |
| Descrizione fisica | VIII, 538 p. : ill. ; 24 cm. |
| Disciplina | 004.071245 |
| Collana | Lecture notes in computer science, State of the Art Survey |
| Soggetto topico | Informatica - Impiego in ingegneria |
| ISBN | 3-540-22152-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002962270203316 |
|
EHRIG, Hartmut
|
||
| Berlin [etc.] : Springer, copyr. 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Kategorien und automaten / Ehrig Hartmut, Pfender Michael and studenten der mathematik und informatik
| Kategorien und automaten / Ehrig Hartmut, Pfender Michael and studenten der mathematik und informatik |
| Autore | EHRIG, Hartmut |
| Pubbl/distr/stampa | Berlin : Walter de Gruyter, 1972 |
| Descrizione fisica | 170 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | PFENDER, Michael |
| Soggetto topico | Logica matematica |
| ISBN | 3-11-003902-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISA-990003221830203316 |
|
EHRIG, Hartmut
|
||
| Berlin : Walter de Gruyter, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Petri net technology for communication-based systems : advances in Petri nets / Hartmut Ehrig ... [et al.] (Eds.)
| Petri net technology for communication-based systems : advances in Petri nets / Hartmut Ehrig ... [et al.] (Eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2003 |
| Descrizione fisica | VIII, 454 p. : ill. ; 24 cm. |
| Disciplina | 004.6 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | Reti di Petri |
| ISBN | 3-540-20538-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001888940203316 |
| Berlin [etc.] : Springer, copyr. 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||