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.
1: Equations and initial semantics / H. Ehrig, B. Mahr
| 1: Equations and initial semantics / H. Ehrig, B. Mahr |
| Autore | Ehrig, Hartmut |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1985 |
| Descrizione fisica | XI, 321 p. ; 25 cm. |
| Disciplina |
005.7
005.73 |
| Altri autori (Persone) | Mahr, Bernd |
| Collana | EATCS monographs on theoretical computer science |
| Soggetto topico |
Archivi di dati - Struttura
Algebra |
| ISBN |
0387137181
3540137181 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10002683 |
Ehrig, Hartmut
|
||
| Berlin [etc.], : Springer, c1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
2: Module specification and constraints / H. Ehrig, B. Mahr
| 2: Module specification and constraints / H. Ehrig, B. Mahr |
| Autore | Ehrig, Hartmut |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1990 |
| Descrizione fisica | XI, 427 p. ; 25 cm. |
| Disciplina |
005.7
005.73 |
| Altri autori (Persone) | Mahr, Bernd |
| Collana | EATCS monographs on theoretical computer science |
| Soggetto topico |
Archivi di dati - Struttura
Algebra |
| ISBN |
0387517995
3540517995 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10002685 |
|
Ehrig, Hartmut
|
||
| Berlin [etc.], : Springer, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Fundamentals of algebraic specification / H. Ehrig, B. Mahr
| Fundamentals of algebraic specification / H. Ehrig, B. Mahr |
| Autore | Ehrig, Hartmut |
| Pubbl/distr/stampa | Berlin [etc.], : Springer |
| Descrizione fisica | 2 v. ; 25 cm. |
| Disciplina |
005.7
005.73 |
| Altri autori (Persone) | Mahr, Bernd |
| Soggetto topico |
Archivi di dati - Struttura
Algebra |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10002682 |
|
Ehrig, Hartmut
|
||
| Berlin [etc.], : Springer | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Graph and model transformation [[electronic resource] ] : general framework and applications / / by Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
| Graph and model transformation [[electronic resource] ] : general framework and applications / / by Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann |
| Autore | Ehrig Hartmut |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (468 p.) |
| Disciplina | 511.5 |
| Collana | Monographs in Theoretical Computer Science. An EATCS Series |
| Soggetto topico |
Computers
Software engineering Category theory (Mathematics) Homological algebra Theory of Computation Software Engineering/Programming and Operating Systems Category Theory, Homological Algebra |
| ISBN | 3-662-47980-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | General Introduction -- Graph Transformation -- Model Transformation -- Adhesive and M-adhesive Categories -- M-adhesive Transformation Systems -- Multi-amalgamated Transformations -- Model Transformation and Model Integration -- Analysis of Model Transformations -- Model Synchronisation -- Modelling and Static Analysis of Self-adaptive Systems by Graph Transformation -- Enterprise Modelling and Model Integration -- Tool Support -- App. A, Basic Notions of Category Theory -- App. B, Proofs and Additional Properties -- References -- Index. |
| Record Nr. | UNINA-9910298961203321 |
|
Ehrig Hartmut
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph-grammars and their application to computer science : 2nd international 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 : 2nd international 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 |
| Autore | Ehrig, Hartmut |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1983 |
| Descrizione fisica | vii, 452 p. : ill. ; 25 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Nagl, Manfred
Rozenberg, Grzegorz |
| Soggetto topico |
Electronic data processing - Congresses
Graph grammars - Congresses |
| ISBN | 3540123105 |
| Classificazione |
AMS 68-XX
QA267.3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-b10781286 |
|
Ehrig, Hartmut
|
||
| Berlin ; New York : Springer-Verlag, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
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 | ||
| ||