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

Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings

種類:
電子ブック
責任表示:
edited by Bengt Jonsson, Joachim Parrow
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1996
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 1135
ISBN:
9783540706533 [3540706534]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
http://dx.doi.org/10.1007/3-540-61648-9
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings

Jonsson, Bengt., Parrow, Joachim., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 電子ブック Real-Time: Theory in Practice : REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

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

Springer-Verlag
2 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — …

Langmaack, Hans, Roever, Willem-Paul, Vytopil, Jan, SpringerLink (Online service)

Springer-Verlag
8 電子ブック 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
3 図書 Formal techniques in real-time and fault-tolerant systems : 4th International Symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings

Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Jonsson, Bengt, 1957-, Parrow, Joachim, 1956-

Springer
9 電子ブック PARLE '89 Parallel Architectures and Languages Europe : Volume II: Parallel Languages Eindhoven, The Netherlands, June 12–16, 1989 Proceedings

Odijk, Eddy, Rem, Martin, Syre, Jean-Claude, SpringerLink (Online service)

Springer-Verlag
4 電子ブック CONCUR '94: Concurrency Theory : 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings

Jonsson, Bengt, Parrow, Joachim, SpringerLink (Online service)

Springer-Verlag
10 電子ブック Application and Theory of Petri Nets 1992 : 13th International Conference Sheffield, UK, June 22–26, 1992 Proceedings

Jensen, K., SpringerLink (Online service)

Springer-Verlag
5 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems : Proceedings of a Symposium Warwick, UK, September 22–23, 1988

Joseph, M., SpringerLink (Online service)

Springer-Verlag
11 電子ブック Software Engineering — ESEC '93 : 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings

Sommerville, Ian, Paul, Manfred, SpringerLink (Online service)

Springer-Verlag
6 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - …

Langmaack, Hans., Roever, Willem-Paul de., Vytopil, Jan., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
12 電子ブック Memory Management : International Workshop IWMM 95 Kinross, UK, September 27–29, 1995 Proceedings

Baler, Henry G., SpringerLink (Online service)

Springer-Verlag