top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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-991000958319707536
Ehrig, Hartmut  
Berlin ; New York : Springer-Verlag, 1983
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui