close
1.

図書
図書
1. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings (: gw ; : us)
I. Guessarian (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 469
所蔵情報: loading…
2.

図書
図書
2. Electronic dictionaries and automata in computational linguistics : LITP Spring School on Theoretical Computer Science, Saint-Pierre d'Oléron, France, May 25-29, 1987 : proceedings (: gw ; : us)
M. Gross, D. Perrin, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 377
所蔵情報: loading…
3.

図書
図書
3. Automata networks : LITP Spring School on Theoretical Computer Science, Argelès-village, France, May 12-16, 1986 : proceedings (: gw ; : us)
C. Choffrut (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 316
所蔵情報: loading…
4.

図書
図書
4. 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…