検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
著者名典拠情報
NCIDDA00014581
名称(HDNG)Ehrig, Hartmut
生没年(DATE)1944
から見よ(SF)Ehrig, H. (Hartmut)
注記(NOTE)His Kategorien und Automaten, 1972
His Fundamentals of algebraic specification, c1985- : v. 1, CIP t.p. (H. Ehrig) t.p. verso (Prof. Dr. Hartmut Ehrig; Techn. Univ. Berlin)
LCAID79131463
選択行を：
資料名所在
1Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) / edited by Hartmut Ehrig ... [et al.] ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 249 . TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 ; v. 1).理数学 007.6:T:1
2Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) / edited by Hartmut Ehrig ... [et al.] ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 250 . TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 ; v. 2).理数学 007.6:T:2
3Graph-grammars and their application to computer science : 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986 / H. Ehrig ... [et al.] (eds.) ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 291).理数学 410.9:G
選択行を
▲ページトップへ