選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/31X9BDNCgFL.jpg) | Graph grammars and their application to computer science : 4th international workshop, Bremen, Germany, March 5-9, 1990 : proceedings Berlin : alk. paper , New York : alk. paper ( Lecture notes in computer science ; 532 ) | 中央図書館 | H. Ehrig, H.-J. Kreowski, G. Rozenberg (eds.). | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||532 |
2 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/41MfmBImVEL.jpg) | Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings : gw , : us ( Lecture notes in computer science ; 534 ) | 中央図書館 | H. Ehrig ... [et al.], (eds.) | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||534 |
3 | ![書影](../Images/noimage.png) | Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 ( Lecture notes in computer science ; 73. ) | 中央図書館 | edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg. | Springer-Verlag | 1979 | 中央5階洋 007.1||L 49||73 |
4 | ![書影](../Images/noimage.png) | Graph-grammars and their application to computer science : 3rd international workshop, Warrenton, Virginia, USA, December 2-6, 1986 : [proceedings] U.S. : pbk. ( Lecture notes in computer science ; 291 ) | 中央図書館 | H. Ehrig ... [et al.] (eds.). | Springer-Verlag | 1987 | 中央5階洋 007.1||L 49||291 |
5 | ![書影](../Images/noimage.png) | Categorical methods in computer science : with aspects from topology U.S. ( Lecture notes in computer science ; 393 ) | 中央図書館 | H. Ehrig ... [et al.], eds. | Springer-Verlag | 1989 | 中央5階洋 007.1||L 49||393 |
6 | ![書影](../Images/noimage.png) | Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85) : gw , : us ( Lecture notes in computer science ; 185[ Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1] ) | 中央図書館 | edited by Hartmut Ehrig ... [et al.] | Springer-Verlag | 1985 | 中央5階洋 007.1||L 49||185 |
7 | ![書影](../Images/noimage.png) | Formal methods and software development U.S. : pbk. ( International Joint Conference on Theory and Practice of Software Developmentbib (1985 : Berlin, Germany)Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 2. ) | 中央図書館 | Colloquium on Software Engineering (CSE), edited by Hartmut Ehrig ... [et al.]. | Springer-Verlag | 1985 | 中央5階洋 007.1||L 49||186 |
選択行を
|