本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Springerc2012.<M17-12-2900>
国立国会図書館

Concurrency, parallelism, and distribution : hard

Concurrency, parallelism, and distribution : hard
紙図書
edited by H Ehrig, H-J Kreowski, U Montanari and G RozenbergWorld Scientificc1999
全国の図書館
  • 著者標目Ehrig, Hartmut Kreowski, H-J Montanari, U Rozenberg, Grzeg...

Applications, languages and tools

Applications, languages and tools
紙図書
edited by H Ehrig, G Engels, H-J Kreowski, G RozenbergWorld Scientificc1999
全国の図書館
  • 著者標目Ehrig, 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)
紙図書
Springer-Verlagc1991.<M15-A7761>
国立国会図書館

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
紙図書
Hans-Jörg Kreowski ... [et al.] (eds.)Springerc2005
全国の図書館

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
紙図書
Hans-Dietrich Haasis, Hans-Joerg Kreowski, Bernd Scholz-Reiter, editorsSpringerc2008
全国の図書館

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
紙図書
Hartmut Ehrig ... [et al.] (eds.)Springerc2000
全国の図書館

Algebraic foundations of systems specification

Algebraic foundations of systems specification
紙図書
E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (eds.)Springerc1999
全国の図書館

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
紙図書
H. -J. Kreowski (Hrsg.)Springer-Verlagc1992
全国の図書館

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
紙図書
H. Ehrig, H.-J. Kreowski, G. Rozenberg, edsSpringer-Verlagc1991
全国の図書館

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
紙図書
edited by H.-J. KreowskiSpringer-Verlagc1985
全国の図書館

検索結果は以上です。

RSS