>> Amazon.co.jp
このページのQRコード

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.)
出版情報:
Berlin ; New York : Springer-Verlag, c1990
著者名:
シリーズ名:
Lecture notes in computer science ; 469 <BA00009279>
ISBN:
9783540534792 [3540534792] (: gw)  CiNii Books  Calil
9780387534794 [0387534792] (: us)  CiNii Books  Calil
注記:
'The School was organized jointly by the LITP (Laboratoire d'informatique théorique et programmation, Paris) and IRIT (Institut pour la recherche en informatique de Toulouse)'--Foreword
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Semantics of Systems of Concurrent Processes : LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23–27, 1990 Proceedings

Guessarian, Irène, SpringerLink (Online service)

Springer-Verlag
7 電子ブック Formal Properties of Finite Automata and Applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988. Proceedings

Pin, Jean E., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
2 電子ブック Semantics of Systems of Concurrent Processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23–27, 1990 Proceedings

Guessarian, Irene., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings

Laboratoire Informatique Théorique et Programmation (France). Spring School, Cousineau, Guy, Curien, Pierre-Louis, &hellip;

Springer-Verlag
3 図書 Automata networks : LITP Spring School on Theoretical Computer Science, Argelès-village, France, May 12-16, 1986 : proceedings

Laboratoire Informatique Théorique et Programmation (France). Spring School, Choffrut, Christian

Springer-Verlag
9 図書 Semantics of parallelism : non-interleaving representation of behaviour

Shields, M. W. (Michael William), 1950-

Springer
4 図書 Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings

Pin, Jean Eric, Ecole de printemps d'informatique théorique

Springer-Verlag
10 電子ブック Automata Networks : LITP Spring School on Theoretical Computer Science Argelès-Village, France, May 12–16, 1986 Proceedings

Choffrut, C., SpringerLink (Online service)

Springer-Verlag
5 図書 Electronic dictionaries and automata in computational linguistics : LITP Spring School on Theoretical Computer Science, Saint-Pierre d'Oléron, France, May …

Laboratoire Informatique Théorique et Programmation (France). Spring School, Gross, Maurice, 1934-, Perrin, Dominique

Springer-Verlag
11 電子ブック Automata Networks : LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings

Choffrut, C., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
6 電子ブック Formal Properties of Finite Automata and Applications : LITP Spring School on Theoretical Computer Science Ramatuelle, France, May 23–27, 1988 Proceedings

Pin, J. E., SpringerLink (Online service)

Springer-Verlag
12 図書 Computer semantics; studies of algorithms, processors, and languages

Lee, John A. N.

Van Nostrand Reinhold