1.

図書
図書
1. Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings (: gw ; : us)
edited by Guy Cousineau, Pierre-Louis Curien and Bernard Robinet
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 242
所蔵情報: loading…
2.

図書
図書
2. STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 (: gw ; : us)
edited by B. Monien and G. Vidal-Naquet
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 210
所蔵情報: loading…
3.

図書
図書
3. Adhesion between polymers and concrete : bonding, protection, repair = adhésion entre polymères et béton : revêtement, protection, réparation
editor, H. R. Sasse
出版情報: London ; New York : Chapman & Hall, 1986
所蔵情報: loading…
4.

図書
図書
4. Advances in microlocal analysis
edited by H.G. Garnir
出版情報: Dordrecht ; Boston : D. Reidel , Hingham, MA, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, c1986
シリーズ名: NATO ASI series ; ser. C . Mathematical and physical sciences ; v. 168
所蔵情報: loading…
5.

図書
図書
5. Automata, languages and programming : 13th International Colloquium, Rennes, France, July 15-19, 1986 : proceedings (: gw ; : us)
edited by Laurent Kott
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 226
所蔵情報: loading…
6.

図書
図書
6. Applied algebra, algorithmics and error-correcting codes : 2nd International Conference, AAECC-2, Toulouse, France, October 1-5, 1984, proceedings (: gw ; : us)
edited by Alain Poli
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 228
所蔵情報: loading…