hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Temporale Logik
14 Treffer
Seite < 1 2 >
Cover

Formal modeling and analysis of timed systems

: first international workshop ; revised papers / FORMATS 2003, Marseille, France, September 6 - 7, 2003. Ed.: Kim G. Larsen .... - [Berlin : [Springer], 2004. - Online-Ressource - ([Lecture notes in computer science]; [2791])

ISBN 978-3-540-40903-8

Titel aus Metadaten. - Lizenzpfichtig

Quelle: DNB

Cover

Formal modeling and analysis of timed systems

: first international workshop ; revised papers / FORMATS 2003, Marseille, France, September 6 - 7, 2003. Kim G. Larsen ; Peter Niebert (ed.). - Berlin : Springer, 2004. - VIII, 280 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2791)

ISBN 978-3-540-21671-1 / 3-540-21671-5 kart. : EUR 48.15 (freier Pr.), sfr 82.00 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Cover

Formal modeling and analysis of timed systems

: 6th international conference ; proceedings / FORMATS 2008, Saint Malo, France, September 15 - 17, 2008. Franck Cassez ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5215)

ISBN 978-3-540-85778-5

Lizenzpflichtig

Quelle: DNB

Cover

Formal modeling and analysis of timed systems

: 5th international conference ; proceedings / FORMATS 2007, Salzburg, Austria, October 3 - 5, 2007. Jean-François Raskin ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4763)

ISBN 978-3-540-75454-1

Lizenzpflichtig

Quelle: DNB

Cover

Formal modeling and analysis of timed systems

: 4th international conference ; proceedings / FORMATS 2006, Paris, France, September 25 - 27, 2006. Eugene Asarin ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4202)

ISBN 978-3-540-45031-3

Lizenzpflichtig

Quelle: DNB

Cover

Formal modeling and analysis of timed systems

: third international conference ; proceedings / FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005. Paul Pettersson ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3829)

ISBN 978-3-540-31616-9

Lizenzpflichtig

Quelle: DNB

Cover

Formal techniques in real time and fault tolerant systems

: 5th international symposium ; proceedings / FTRTFT '98, Lyngby, Denmark, September 14 - 18, 1998. Anders P. Ravn ; Hans Rischel (ed.). - Berlin : Springer, 1998. - VIII, 338 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 1486)

ISBN 978-3-540-65003-4 / 3-540-65003-2 kart. : DM 74.00

Literaturangaben

Quelle: DNB

Cover

Formal techniques in real time and fault tolerant systems

: 5th international symposium ; proceedings / FTRTFT '98, Lyngby, Denmark, September 1998. A. P. Ravn ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1486)

ISBN 978-3-540-49792-9

Lizenzpflichtig

Quelle: DNB

Cover

Quintarelli, Elisa: Model checking based data retrieval

: an application to semistructured and temporal data / Elisa Quintarelli. - Berlin : Springer, 2004. - XVI, 134 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2917)

ISBN 978-3-540-20971-3 / 3-540-20971-9 kart. : EUR 40.66 (freier Pr.), sfr 69.50

Literaturverz. S. 129 - 134

Quelle: DNB Verlagsmeldungen

Cover

Model checking based data retrieval

: an application to semistructured and temporal data / Elisa Quintarelli. - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2917)

ISBN 978-3-540-24603-9

Lizenzpflichtig

Quelle: DNB

Seite < 1 2 >
Projekte . Kooperationen