1.

図書
図書
1. The Chemistry of triple-bonded functional groups (: set - v. 2)
edited by Saul Patai and Zvi Rappoport
出版情報: Chichester [West Sussex] ; New York : Wiley, 1983-1994
シリーズ名: The Chemistry of functional groups ; Supplement ; C,C2
所蔵情報: loading…
2.

図書
図書
2. Annual review of biophysics and biophysical chemistry (v. 14 - v. 20)
Donald M. Engelman, editor ; Charles R. Cantor, associate editor, Thomas D. Pollard, associate editor
出版情報: Palo Alto, Calif. : Annual Review Inc., 1985-
所蔵情報: loading…
3.

図書
図書
3. Parallel computing 1988 : Shell Conference, Amsterdam, the Netherlands, June 1/2, 1988 : proceedings (: gw ; : us)
G.A. van Zee, J.G.G. van de Vorst (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 384
所蔵情報: loading…
4.

図書
図書
4. Analogical and inductive inference : International Workshop AII '89, Reinhardsbrunn Castle, GDR, October 1-6, 1989, proceedings (: gw ; : us)
K.P. Jantke (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 397 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書
図書
5. Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings (: gw ; : us)
J.E. Pin (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 386
所蔵情報: loading…
6.

図書
図書
6. Geometry and robotics : workshop, Toulouse, France, May 26-28, 1988 : proceedings (: gw ; : us)
J.-D. Boissonnat, J.-P. Laumond (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 391
所蔵情報: loading…
7.

図書
図書
7. Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 (: gw ; : us)
J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 354
所蔵情報: loading…
8.

図書
図書
8. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings (: gw ; : us)
N. Dershowitz (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 355
所蔵情報: loading…
9.

図書
図書
9. Synthesizing synchronous systems by static scheduling in space-time (: gw ; : us)
Björn Lisper
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 362
所蔵情報: loading…
10.

図書
図書
10. Applied algebra, algebraic algorithms and error-correcting codes : 6th International Conference, AAECC-6, Rome, Italy, July 4-8, 1988 : proceedings (: gw ; : us)
T. Mora, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 357
所蔵情報: loading…