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

Real-Time: Theory in Practice : REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

種類:
電子ブック
責任表示:
edited by J. W. Bakker, C. Huizing, W. P. Roever, G. Rozenberg
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1992
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 600
ISBN:
9783540472186 [3540472185]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
http://dx.doi.org/10.1007/BFb0031984
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Real-Time: Theory in Practice : REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings

Bakker, J.W.de., Huizing, C., Roever, W.P.de., Rozenberg, G., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 電子ブック Distributed Algorithms : 8th International Workshop, WDAG '1994 Terschelling, The Netherlands, September 29 – October 1, 1994 Proceedings

Tel, Gerard, Vitányi, Paul, SpringerLink (Online service)

Springer-Verlag
2 電子ブック A Decade of Concurrency Reflections and Perspectives : REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings

Bakker, J. W., Roever, W. -P, Rozenberg, G., SpringerLink (Online service)

Springer-Verlag
8 電子ブック Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Clarke, Edmund M., Kurshan, Robert P., SpringerLink (Online service)

Springer-Verlag
3 電子ブック Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

Bakker, J. W., Roever, W. -P, Rozenberg, G., SpringerLink (Online service)

Springer-Verlag
9 電子ブック Foundations of Object-Oriented Languages : REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings

Bakker, J. W., Roever, W. P., Rozenberg, G., SpringerLink (Online service)

Springer-Verlag
4 電子ブック Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness : REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Bakker, J. W., Roever, W. -P, Rozenberg, G., SpringerLink (Online service)

Springer-Verlag
10 電子ブック Semantics: Foundations and Applications : REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 Proceedings

Bakker, J. W., Roever, W. -P, Rozenberg, G., SpringerLink (Online service)

Springer-Verlag
5 電子ブック Computer Aided Verification : 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings

Larsen, Kim G., Skou, Arne, SpringerLink (Online service)

Springer-Verlag
11 電子ブック PARLE '92 Parallel Architectures and Languages Europe : 4th International PARLE Conference Paris, France, June 15–18, 1992 Proceedings

Etiemble, Daniel, Syre, Jean-Claude, SpringerLink (Online service)

Springer-Verlag
6 電子ブック Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

Bakker, Jacobus W. de., Roever, Willem-Paul de., Rozenberg, Grzegorz., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
12 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems : Second International Symposium Nijmegen, The Netherlands, January 8–10, 1992 Proceedings

Vytopil, Jan, SpringerLink (Online service)

Springer-Verlag