富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(著者名に左の語を含む: #Ehrig Hartmut)
該当件数:4件
Graph Transformations : Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 4178)
電子ブック
Fundamentals of Algebraic Graph Transformation / by Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Monographs in Theoretical Computer Science. An EATCS Series. ISSN:21932069)
Module specifications and constraints
: us,: gw. - Berlin : Tokyo : Springer-Verlag , c1990. - (EATCS monographs on theoretical computer science ; v. 21 . Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr ; v. 2)
図書
Equations and initial semantics / H. Ehrig, B. Mahr
: U.S.,: Germany. - Berlin : Tokyo : Springer-Verlag , c1985. - (EATCS monographs on theoretical computer science ; v. 6 . Fundamentals of algebraic specification ; v. 1)