Jump to main content

yr 〜
yr

Search results 9

Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 : proceedings / I. Guessarian (ed.). (Lecture notes in computer science)

Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 : proceedings / I. Guessarian (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1990.<M15-A7227>
National Diet Library
  • Author Heading..., Iréne, 1948- Laboratoire informatique théorique et programmation (France) Institut pour la recherche en...

Automata networks : LITP Spring School on theoretical computer science, Argelès-village, France, May 12-16, 1986 : proceedings / C. Choffrut, ed. (Lecture notes in computer science)

Automata networks : LITP Spring School on theoretical computer science, Argelès-village, France, May 12-16, 1986 : proceedings / C. Choffrut, ed. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1988.<M15-A4119>
National Diet Library
  • Author Heading...ut, Christian. Laboratoire informatique théorique et programmation (France)

Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings / J.E. Pin (ed.). (Lecture notes in computer science)

Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings / J.E. Pin (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1989.<M15-A5388>
National Diet Library
  • Author Heading...in, Jean Eric. Laboratoire informatique théorique et programmation (France) Ecole de printemps d'informat...

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 / M. Gross, D. Perrin (eds.). (Lecture notes in computer science)

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 / M. Gross, D. Perrin (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1989.<M15-A5325>
National Diet Library
  • Author Heading...in, Dominique. Laboratoire informatique théorique et programmation (France)

Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings / edited by Guy Cousineau, Pierre-Louis Curien, and Bernard Robinet. (Lecture notes in computer science)

Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings / edited by Guy Cousineau, Pierre-Louis Curien, and Bernard Robinet. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1986.<M15-A3130>
National Diet Library
  • Author Heading...rnard) , 1941- Laboratoire informatique théorique et programmation (France)

Automata networks : LITP Spring School on Theoretical Computer Science, Argelès-village, France, May 12-16, 1986 : proceedings : gw : us

Automata networks : LITP Spring School on Theoretical Computer Science, Argelès-village, France, May 12-16, 1986 : proceedings : gw : us
Paper図書
C. Choffrut (ed.)Springer-Verlagc1988
Other Libraries in Japan
  • Author HeadingLaboratoire Informatique Théorique et Programmation (France). Spring School Choffrut, Chri...

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

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
Paper図書
M. Gross, D. Perrin, (eds.)Springer-Verlagc1989
Other Libraries in Japan
  • Author Heading...rin, Dominique Laboratoire Informatique Théorique et Programmation (France). Spring School

Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings : gw : us

Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings : gw : us
Paper図書
I. Guessarian (ed.)Springer-Verlagc1990
Other Libraries in Japan
  • Author HeadingGuessarian, Irène Laboratoire Informatique Théorique et Programmation (France). Spring School Institut pour ...

Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings : gw : us

Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings : gw : us
Paper図書
edited by Guy Cousineau, Pierre-Louis Curien and Bernard RobinetSpringer-Verlagc1986
Other Libraries in Japan
  • Author HeadingLaboratoire Informatique Théorique et Programmation (France). Spring School Cousineau, Guy...

Reached to the end of result.

RSS