Interactive systems
: design, specification, and verification ; 10th international workshop ; revised papers / DSV IS 2003, Funchal, Madeira Island, Portugal, June 11 - 13, 2003. Joaquim A. Jorge ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2844)
ISBN 978-3-540-39929-2
Lizenzpflichtig
Quelle: DNB
Interactive systems
: design, specification, and verification ; 8th international workshop ; revised papers / DSV-IS 2001, Glasgow, Scotland, UK, June 13 - 15, 2001. C. Johnson (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2220)
ISBN 978-3-540-45522-6
Lizenzpflichtig
Quelle: DNB
Interactive systems
: design, specification, and verification ; 15th international workshop ; proceedings / DSV IS 2008 Kingston, Canada, July 16 - 18, 2008. T. C. Nicholas Graham ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5136)
ISBN 978-3-540-70569-7
Lizenzpflichtig
Quelle: DNB
Interactive systems
: design, specification, and verification ; 13th international workshop ; revised papers / DSVIS 2006, Dublin, Ireland, July 26 - 28, 2006. Gavin Doherty ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4323)
ISBN 978-3-540-69554-7
Lizenzpflichtig
Quelle: DNB
Interactive systems
: design, specification, and verification ; 15th international workshop ; proceedings / DSV IS 2008 Kingston, Canada, July 16 - 18, 2008. T. C. Nicholas Graham ; Philippe Palanque (ed.). - Berlin : Springer, 2008. - IX, 309 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5136)
ISBN 978-3-540-70568-0 kart. : EUR 51.36 (freier Pr.), sfr 80.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Interactive Systems
: design, specification, and verification ; 9th international workshop ; revised papers / DSV-IS 2002, Rostock, Germany, June 12 - 14, 2002. Peter Forbrig ... (ed.). - Berlin : Springer, 2002. - X, 267 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2545)
ISBN 978-3-540-00266-6 / 3-540-00266-9 kart. : EUR 42.80
Literaturangaben
Quelle: DNB
Interactive Systems
: design, specification, and verification ; 9th international workshop ; revised papers / DSV-IS 2002, Rostock, Germany, June 12 - 14, 2002. P. Forbrig ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2545)
ISBN 978-3-540-36235-7
Lizenzpflichtig
Quelle: DNB
Krause, Herbert: Konzeptionelle Grundlagen eines Logistikinformationssystems
: Logistikverfahrens- und -kapazitätsoptimierung, dargestellt am Beispiel Flüssiggas und artverwandte Güter / Herbert Krause. - Frankfurt am Main : Lang, 1994. - V, 323 S. : graph. Darst.; 21 cm - (Schriften zum Controlling; Bd. 13)
ISBN 978-3-631-47589-8 / 3-631-47589-6 kart. : sfr 79.00
Quelle: DNB
Leveraging applications of formal methods
: first international symposium ; revised selected papers / ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004. Tiziana Margaria ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4313)
ISBN 978-3-540-48929-0
Lizenzpflichtig
Quelle: DNB
Leveraging applications of formal methods, verification and validation
: third international symposium ; proceedings / ISoLA 2008, Porto Sani, Greece, October 13 - 15, 2008. Tiziana Margaria ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Communications in computer and information science; 17)
ISBN 978-3-540-88479-8
Lizenzpflichtig
Quelle: DNB