close
1.

図書
図書
1. Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings (: gw ; : us)
E. Börger ... [et al.], eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  viii, 399 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 533
所蔵情報: loading…
2.

図書
図書
2. New results and new trends in computer science : Graz, Austria, June 20-21, 1991 : proceedings (: gw ; : us)
H. Maurer (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  viii, 402 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 555
所蔵情報: loading…
3.

図書
図書
3. Graph-theoretic concepts in computer science : 16th International Workshop WG '90, Berlin, Germany, June 20-22, 1990 : proceedings (: gw ; : us)
R.H. Möhring, ed
出版情報: Berlin ; New York : Springer-Verlag, c1991  ix, 358 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 484
所蔵情報: loading…
4.

図書
図書
4. Distributed memory computing : 2nd European conference, EDMCC2, Munich, FRG, April 22-24, 1991 : proceedings (: gw ; : us)
Arndt Bode, (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1991  xi, 506 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 487
所蔵情報: loading…
5.

図書
図書
5. Advances in computing and information, ICCI '91 : International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991 : proceedings (: gw ; : us)
F. Dehne, F. Fiala, W.W. Koczkodaj, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  viii, 744 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 497
所蔵情報: loading…
6.

図書
図書
6. Foundations of software technology and theoretical computer science : 11th conference, New Delhi, India, December 17-19, 1991 : proceedings (: gw ; : us)
S. Biswas, K.V. Nori, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991  x, 419 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 560
所蔵情報: loading…
7.

図書
図書
7. STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, proceedings (: gw ; : us)
C. Choffrut, M. Jantzen, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  x, 548 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 480
所蔵情報: loading…
8.

図書
図書
8. The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989 : proceedings (: gw ; : us)
A. Fuhrmann, M. Morreau, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  x, 334 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 465 . Lecture notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼