Jump to main content

yr 〜
yr

Search results 11

Recent trends in algebraic development techniques : 20th international workshop, WADT 2010 : Etelsen, Germany, July 1-4, 2010 : revised selected papers : 20th ADT workshop : Jul 2010, Etelsen, Germany. (Lecture Notes in Computer Science ; 7137)

Recent trends in algebraic development techniques : 20th international workshop, WADT 2010 : Etelsen, Germany, July 1-4, 2010 : revised selected papers : 20th ADT workshop : Jul 2010, Etelsen, Germany. (Lecture Notes in Computer Science ; 7137)
Paper図書
Springerc2012.<M17-12-2900>
National Diet Library

Concurrency, parallelism, and distribution : hard

Concurrency, parallelism, and distribution : hard
Paper図書
edited by H Ehrig, H-J Kreowski, U Montanari and G RozenbergWorld Scientificc1999
Other Libraries in Japan
  • Author HeadingEhrig, Hartmut Kreowski, H-J Montanari, U Rozenberg, Grzeg...

Applications, languages and tools

Applications, languages and tools
Paper図書
edited by H Ehrig, G Engels, H-J Kreowski, G RozenbergWorld Scientificc1999
Other Libraries in Japan
  • Author HeadingEhrig, Hartmut Engels, G Kreowski, H-J Rozenberg, Grzegorz

Graph grammars and their application to computer science : 4th international workshop, Bremen, Germany, March 5-9, 1990 : proceedings / H. Ehrig, H.-J. Kreowski, G. Rozenberg (eds.). (Lecture notes in computer science)

Graph grammars and their application to computer science : 4th international workshop, Bremen, Germany, March 5-9, 1990 : proceedings / H. Ehrig, H.-J. Kreowski, G. Rozenberg (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1991.<M15-A7761>
National Diet Library

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Paper図書
Hans-Jörg Kreowski ... [et al.] (eds.)Springerc2005
Other Libraries in Japan

Dynamics in logistics : first international conference, LDIC 2007, Bremen, Germany, August 2007 : proceedings

Dynamics in logistics : first international conference, LDIC 2007, Bremen, Germany, August 2007 : proceedings
Paper図書
Hans-Dietrich Haasis, Hans-Joerg Kreowski, Bernd Scholz-Reiter, editorsSpringerc2008
Other Libraries in Japan

Theory and application of graph transformations : 6th International Workshop, TAGT '98, Paderborn, Germany, November 16-20, 1998 : selected papers

Theory and application of graph transformations : 6th International Workshop, TAGT '98, Paderborn, Germany, November 16-20, 1998 : selected papers
Paper図書
Hartmut Ehrig ... [et al.] (eds.)Springerc2000
Other Libraries in Japan

Algebraic foundations of systems specification

Algebraic foundations of systems specification
Paper図書
E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (eds.)Springerc1999
Other Libraries in Japan

Informatik zwischen Wissenschaft und Gesellschaft : zur Erinnerung an Reinhold Franck : proceedings : gw : us

Informatik zwischen Wissenschaft und Gesellschaft : zur Erinnerung an Reinhold Franck : proceedings : gw : us
Paper図書
H. -J. Kreowski (Hrsg.)Springer-Verlagc1992
Other Libraries in Japan

Graph grammars and their application to computer science : 4th International Workshop, Bremen, Germany, March 5-9, 1990 : proceedings : gw : us

Graph grammars and their application to computer science : 4th International Workshop, Bremen, Germany, March 5-9, 1990 : proceedings : gw : us
Paper図書
H. Ehrig, H.-J. Kreowski, G. Rozenberg, edsSpringer-Verlagc1991
Other Libraries in Japan

Recent trends in data type specification : 3rd Workshop on Theory and Applications of Abstract Data Types : selected papers : us : gw

Recent trends in data type specification : 3rd Workshop on Theory and Applications of Abstract Data Types : selected papers : us : gw
Paper図書
edited by H.-J. KreowskiSpringer-Verlagc1985
Other Libraries in Japan

Reached to the end of result.

RSS