上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(著者名に左の語を含む: #Ehrig Hartmut)
該当件数:9件
Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings / Hans Jürgen Schneider, Hartmut Ehrig, (eds.)
New York,Berlin. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 776)
図書 <1000495757>
Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings / H. Ehrig ... [et al.], (eds.)
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 534)
図書 <1000432886>
Graph-grammars and their application to computer science : 3rd international workshop, Warrenton, Virginia, USA, December 2-6, 1986 : [proceedings] / H. Ehrig ... [et al.] (eds.)
Berlin ; New York : Springer-Verlag , c1987. - (Lecture notes in computer science ; 291)
図書 <1000587442>
Unifying Petri nets : advances in Petri nets / Hartmut Ehrig, ... [et al.] (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2128)
図書 <1001353347>
Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October, 26-30, 1992 : selected papers / Hartmut Ehrig, Fernando Orejas, (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 785)
図書 <1000499469>
Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 / edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg
Berlin ; New York : Springer-Verlag , 1979. - (Lecture notes in computer science ; 73.)
図書 <1000586802>
Formal and natural computing : essays dedicated to Grzegorz Rozenberg / Wilfried Brauer ... [et al.] (eds.)
Berlin : Springer , c2002. - (Lecture notes in computer science ; 2300)
図書 <1001360351>
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
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 532)
図書 <1000432462>
Theory and application of graph transformations : 6th International Workshop, TAGT '98, Paderborn, Germany, November 16-20, 1998 : selected papers / Hartmut Ehrig ... [et al.] (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1764)
図書 <1001125872>