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

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings

種類:
図書
責任表示:
Joost-Pieter Katoen (ed.)
出版情報:
Berlin : Springer, c1999
著者名:
シリーズ名:
Lecture notes in computer science ; 1601 <BA00009279>
ISBN:
9783540660101 [3540660100]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
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 : 5th International Symposium, FTRTFT'98 Lyngby, Denmark, September 14-18, 1998 : proceedings

Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Ravn, Anders P., Rischel, Hans

Springer
7 図書 Distributed algorithms : 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997 : proceedings

International Workshop on Distributed Algorithms, Mavronicolas, Marios, Tsigas, Philippas

Springer
2 図書 Proceedings of the Third Workshop on Parallel and Distributed Real-Time Systems : April 25, 1995, Santa Barbara, California

Workshop on Parallel and Distributed Real-Time Systems (3rd : 1995 : Santa Barbara, Calif.), IEEE International Parallel &hellip;

IEEE Computer Society Press
8 図書 Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988

Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Joseph, Mathai, 1943-

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 図書 Theory and practice in distributed systems : International Workshop, Dagstuhl Castle, Germany, September 5-9, 1994 : selected papers

International Workshop on Theory and Practice in Distributed Systems, Birman, Kenneth P., Mattern, Friedemann, Schiper, &hellip;

Springer-Verlag
4 図書 Concurrent languages in distributed systems hardware supported implementation : proceedings of the IFIP WG 10.3 Workshop on Hardware Supported Implementation on …

IFIP WG 10.3 Workshop on Hardware Supported Implementation on Concurrent Languages in Distributed Systems (1984 : &hellip;

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
10 図書 Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed …

International Conference on Formal Methods for Open Object-Based Distributed Systems (3rd : 1999 : Florence, Italy), &hellip;

Kluwer Academic
5 図書 Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings

Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Vytopil, J., 1947-

Springer-Verlag
11 図書 Coordination languages and models : 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000 : proceedings

International Conference COORDINATION, Porto, A. (António), 1952-, Roman, Gruia-Catalin, 1951-

Springer
6 図書 Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May …

Workshop on the Algebra of Communicating Processes (1st : 1994 : Utrecht, Netherlands), Ponse, A. (Alban), 1955-, &hellip;

Springer-Verlag
12 図書 Parallel & distributed algorithms : proceedings of the International Workshop on Parallel & Distributed Algorithms, Chateau de Bonas, Gers, France, 3-6 …

International Workshop on Parallel & Distributed Algorithms, Cosnard, M. (Michel)

North-Holland