Semantics of Systems of Concurrent Processes : LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23–27, 1990 Proceedings

>> 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

種類:

電子ブック

責任表示:

edited by Irène Guessarian

出版情報:

Berlin, Heidelberg : Springer-Verlag, 1990

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 469

ISBN:

9783540468974 [3540468978]

ローカル注記:

学内専用E-BOOKS (local access only)

オンライン

http://dx.doi.org/10.1007/3-540-53479-2

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Computer Science; Database Management; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Operating Systems; Processor Architectures
分類・件名:	LCSH : Computer science LCSH : Operating systems (Computers) LCSH : Logic design LCSH : Database management LCSH : Logic, Symbolic and mathematical FREE : Computer Science FREE : Logics and Meanings of Programs FREE : Mathematical Logic and Formal Languages FREE : Operating Systems FREE : Processor Architectures FREE : Database Management FREE : Mathematical Logic and Foundations
TTLL:	eng
言語:	英語
形態:	v.: digital
書誌ID:	KB00006040

内容紹介

目次情報

類似資料:

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, Irene., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 電子ブック 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
2 図書 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, 1948-, Laboratoire Informatique Théorique et Programmation (France). Spring School, Institut pour … Springer-Verlag	8 電子ブック Mathematical Foundations of Programming Semantics : 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings Brookes, Stephen, Main, Michael, Melton, Austin, Mislove, Michael, Schmidt, David, SpringerLink (Online service) Springer-Verlag
3 電子ブック 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	9 電子ブック Category Theory and Computer Science : Paris, France, September 3–6, 1991 Proceedings Pitt, David H., Curien, Pierre-Louis, Abramsky, Samson, Pitts, Andrew M., Poigné, Axel, Rydeheard, David E., … Springer-Verlag
4 電子ブック Advanced Database Systems : 10th British National Conference on Databases, BNCOD 10 Aberdeen, Scotland, July 6–8, 1992 Proceedings Gray, Peter M. D., Lucas, Rob J., SpringerLink (Online service) Springer-Verlag	10 電子ブック Temporal Logic : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings Gabbay, Dov M., Ohlbach, Hans Jürgen, SpringerLink (Online service) Springer-Verlag
5 電子ブック STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings Enjalbert, Patrice, Mayr, Ernst W., Wagner, Klaus W., SpringerLink (Online service) Springer-Verlag	11 電子ブック 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
6 電子ブック STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science Grenoble, France, February 22–24, 1996 Proceedings Puech, Claude, Reischuk, Rüdiger, SpringerLink (Online service) Springer-Verlag	12 電子ブック Electronic Dictionaries and Automata in Computational Linguistics : LITP Spring School on Theoretical Computer Science Saint-Pierre d'Oléron, France, May … Gross, Maurice, Perrin, Dominique, SpringerLink (Online service) Springer-Verlag