>> Google Books
所蔵情報QRコード

Formal modeling and analysis of timed systems : first International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers / Kim G. Larsen, Peter Niebert (eds.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer, c2004
形態:
viii, 280 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2791 <BA00009279>
著者名:
ISBN:
9783540216711 [3540216715]
書誌ID:
BA66885820
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Larsen, Kim G., Niebert, Peter., SpringerLink (Online service)

Springer Berlin Heidelberg
7 図書 Peer-to-peer systems : First International Workshop, IPTPS 2002, Cambridge, MA, USA, March 7-8, 2002 : revised papers

IPTPS, Druschel, Peter, 1959-, Kaashoek, Frans, 1965-, Rowstron, Antony, 1971-

Springer
2 電子ブック Formal Modeling and Analysis of Timed Systems

FORMATS 2003, Larsen, Kim G., Niebert, Peter

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
8 図書 Principles of distributed systems : 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003 : revised selected papers

International Conference, OPODIS, Papatriantafilou, Marina, Hunel, Philippe

Springer
3 図書 Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on formal modelling and analysis of timed …

FORMATS, Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lakhnech, Yassine, Yovine, Sergio

Springer
9 図書 Adaptive multimedia retrieval : first International Workshop, AMR 2003, Hamburg, Germany, September 15-16, 2003 : revised selected and invited papers

International Workshop on Adaptive Multimedia Retrieval, Nürnberger, Andreas, Detyniecki, Marcin

Springer
4 図書 Formal modeling and analysis of timed systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings

FORMATS, Pettersson, Paul, Yi, Wang

Springer
10 図書 Database programming languages : 9th International Workshop, DBPL 2003 : Potsdam, Germany, September 6-8, 2003 : revised papers

International Workshop on Database Programming Languages, Lausen, Georg, Suciu, Dan

Springer
5 図書 Scenarios : models, transformations and tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers

Leue, Stefan, Systä, Tarja Johanna

Springer
11 図書 Innovative internet community systems : third International Workshop, IICS 2003, Leipzig, Germany, June 19-21, 2003 : revised papers

International Workshop IICS, Böhme, Thomas, 1957-, Heyer, Gerhard, Unger, Herwig, 1966-

Springer
6 図書 Artificial evolution : 6th International Conference, Evolution Artificielle, EA 2003, Marseille, France, October 27-30, 2003 : revised selected papers

International Conference, EA, Liardet, Pierre

Springer
12 図書 Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008 proceedings

Cassez, Franck, 1967-, FORMATS, Jard, Claude

Springer
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12