Jump to main content

yr 〜
yr

Search results 9

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
  • Author Heading...akowski, Till. Kreowski, H.-J. (Hans-Jörg) Universiy of Bremen. Computer...

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
  • Author HeadingLDIC Haasis, Hans-Dietrich Kreowski, H.-J. (Hans-Jörg) Scholz-Reiter, B. (Bernd)

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
  • Author HeadingEhrig, Hartmut. Kreowski, H.-J. (Hans-Jörg) Rozenberg, Grzegorz

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
  • Author HeadingKreowski, H.-J. (Hans-Jörg)

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
  • Author Heading...Engels, Gregor Kreowski, H.-J. (Hans-Jörg) Rozenberg, Grzegorz

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
  • Author HeadingAstesiano, E. (Egidio) Kreowski, H.-J. (Hans-Jörg) Krieg-Brückner, B. (Bernd)

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
  • Author HeadingKreowski, H.-J. (Hans-Jörg)

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
  • Author Heading...mputer Science Kreowski, H.-J. (Hans-Jörg) Rozenberg, Grzegorz

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
  • Author HeadingWorkshop on Theory and Applications of Abstract Data Types Kreowski, H.-J. (Hans-Jörg)

Reached to the end of result.

RSS