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.

Biblioteca

MARC Lista (tabellare)
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 Transformations [Risorsa elettronica] : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer
Graph Transformations [Risorsa elettronica] : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer
Pubbl/distr/stampa Berlin ; Heidelberg : Springer, 2008
Collana Lecture Notes in Computer Science
ISBN 9783540874058
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009257050403321
Berlin ; Heidelberg : Springer, 2008
Risorse elettroniche
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Graph Transformations [Risorsa elettronica] : Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz
Graph Transformations [Risorsa elettronica] : Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz
Pubbl/distr/stampa Berlin ; Heidelberg : Springer, 2006
Collana Lecture Notes in Computer Science
ISBN 9783540388722
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009241280403321
Berlin ; Heidelberg : Springer, 2006
Risorse elettroniche
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Graph transformations in computer science : international workshop : Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings / Hans Jurgen Schneider, Hartmund Ehrig (eds.)
Graph transformations in computer science : international workshop : Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings / Hans Jurgen Schneider, Hartmund Ehrig (eds.)
Pubbl/distr/stampa Berlin [etc.], : Springer, c1994
Descrizione fisica VIII, 394 p. ; 24 cm
Disciplina 005.1
005.1015115
Collana Lecture notes in computer science
Soggetto topico Elaboratori elettronici - Grafica - Congressi - 1993
Informatica - Congressi - 1993
ISBN 0387577874
3540577874
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10005879
Berlin [etc.], : Springer, c1994
Materiale a stampa
Lo trovi qui: Univ. del Sannio
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
MATHEMATICAL foundations of software development : proceedings of the International Joint Conference on Theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 / edited by Hartmut Ehrig ... [e altri]
MATHEMATICAL foundations of software development : proceedings of the International Joint Conference on Theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 / edited by Hartmut Ehrig ... [e altri]
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, c1985
Collana Lecture notes in computer science
Soggetto non controllato Programmazione
ISBN 3-540-15198-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001205920403321
Berlin [etc.] : Springer-Verlag, c1985
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Recent trends in data type specification : 9th Workshop on specification of abstract data types Caldes de Malavella, Spain, October 26-30, 1992 / Hartmut Ehrig (ed.)
Recent trends in data type specification : 9th Workshop on specification of abstract data types Caldes de Malavella, Spain, October 26-30, 1992 / Hartmut Ehrig (ed.)
Autore Workshop on specification of abstract data type : 9. : 1992
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1994
Descrizione fisica VIII, 350 p. : ill. ; 24 cm
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato congressi - caldes de malavella - 1994
elaboratori elettronici - programmazione - congressi - 1992
elaborazione elettronica - modelli matematici - congressi - 1992
linguaggi di programmazione - congressi - 1992
ISBN 3-540-57867-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000211710203316
Workshop on specification of abstract data type : 9. : 1992  
Berlin [etc.] : Springer-Verlag, copyr. 1994
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Recent trends in data type specification : 9. Workshop on specification of abstract data types joint with the 4. COMPASS workshop : Caldes de Malvella, Spain, October 26-30, 1992 : selected papers / Hartmund Ehrig, Fernando Orejas
Recent trends in data type specification : 9. Workshop on specification of abstract data types joint with the 4. COMPASS workshop : Caldes de Malvella, Spain, October 26-30, 1992 : selected papers / Hartmund Ehrig, Fernando Orejas
Autore Workshop on specification of abstract data types : <9. : ; 1992
Pubbl/distr/stampa Berlin [etc.], : Springer, c1994
Descrizione fisica VIII, 350 p. ; 24 cm.
Disciplina 005.7
005.73
Collana Lecture notes in computer science
Soggetto topico Archivi di dati - Struttura - Congressi - 1992
ISBN 0387578676
3540578676
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10006738
Workshop on specification of abstract data types : <9. : ; 1992  
Berlin [etc.], : Springer, c1994
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui