close
1.

図書
図書
1. STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994 : proceedings (: gw ; : us)
P. Enjalbert, E.W. Mayr, K.W. Wagner, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  xiv, 782 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 775
所蔵情報: loading…
2.

図書
図書
2. Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings (: us ; : gw)
Hans Jürgen Schneider, Hartmut Ehrig, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  viii, 394 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 776
所蔵情報: loading…
3.

図書
図書
3. Graph-theoretic concepts in computer science : 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16-18, 1993 : proceedings (: gw ; : us)
Jan van Leeuwen (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994  ix, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 790
所蔵情報: loading…
4.

図書
図書
4. Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers (: gw ; : us)
Egon Börger, Yuri Gurevich, Karl Meinke (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  viii, 336 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 832
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼