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  iv, 456 p. ; 25 cm
シリーズ名: 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  iv, 110 p. ; 25 cm
シリーズ名: 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  v, 125 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 316
所蔵情報: loading…
目次情報: 続きを見る
An Introduction to Automata Network Theory / P. Schupp
Arrays, Automata and Groups: Some Interconnections / D. Perrin
Local Maps / E. Goles
Threshold Networks and Generalizations / M. Tchuente
Computation on Finite Networks of Automata / Y. Robert
Systolic Algorithms for Path-Finding Problems / J. Mazoyer
An Overview of the Firing Squad Synchronization Problem / F. Fogelman SouliF
Representation of Knowledge and Learning on Automata Networks / G. Weisbuch
Random Boolean Nets and Disordered Systems
An Introduction to Automata Network Theory / P. Schupp
Arrays, Automata and Groups: Some Interconnections / D. Perrin
Local Maps / E. Goles
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  iv, 208 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 242
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼