Automated technology for verification and analysis
: 4th international symposium ; proceedings / ATVA 2006, Beijing, China, October 23 - 26, 2006. Susanne Graf ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4218)
ISBN 978-3-540-47238-4
Lizenzpflichtig
Quelle: DNB
Automated technology for verification and analysis
: 4th international symposium ; proceedings / ATVA 2006, Beijing, China, October 23 - 26, 2006. Susanne Graf ; Wenhui Zhang (ed.). - Berlin : Springer, 2006. - XIV, 540 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4218)
ISBN 978-3-540-47237-7 / 3-540-47237-1 kart. : EUR 72.76 (freier Pr.), sfr 120.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Automated technology for verification and analysis
: third international symposium ; proceedings / ATVA 2005, Taipei, Taiwan, October 4 - 7, 2005. Doron A. Peled ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3707)
ISBN 978-3-540-31969-6
Lizenzpflichtig
Quelle: DNB
Automated technology for verification and analysis
: 6th international symposium ; proceedings / ATVA 2008, Seoul, Korea, October 20 - 23, 2008. Sungdeok (Steve) Cha ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5311)
ISBN 978-3-540-88387-6
Lizenzpflichtig
Quelle: DNB
Automated technology for verification and analysis
: 5th international symposium ; proceedings / ATVA 2007, Tokyo, Japan, October 22 - 25, 2007. Kedar S. Namjoshi ... (ed.). - Berlin : Springer, 2007. - XIV, 566 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4762)
ISBN 978-3-540-75595-1 / 3-540-75595-0 kart. : EUR 72.76 (freier Pr.), ca. sfr 118.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Complexity management in fuzzy systems
: a rule base compression approach / Alexander Gegov. - Berlin : Springer, 2007. - Online-Ressource - (Studies in fuzziness and soft computing; Vol. 211)
ISBN 978-3-540-38885-2
Lizenzpflichtig
Quelle: DNB
Compositionality
: the significant difference ; international symposium ; revised lectures / COMPOS '97, Bad Malente, Germany, September 8 - 12, 1997. Willem-Paul de Roever ... (ed.). - Berlin : Springer, 1998. - 646 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1536)
ISBN 978-3-540-65493-3 / 3-540-65493-3 kart. : DM 118.00
Literaturangaben
Quelle: DNB
Compositionality
: the significant difference ; international symposium ; revised lectures / COMPOS '97, Bad Malente, Germany, September 8 - 12, 1997. W.-P. de Roever ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1536)
ISBN 978-3-540-49213-9
Lizenzpflichtig
Quelle: DNB
Computer safety, reliability and security
: 21st international conference ; proceedings / SAFECOMP 2002, Catania, Italy, September 10 - 13, 2002. S. Anderson ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2434)
ISBN 978-3-540-45732-9
Lizenzpflichtig
Quelle: DNB
Computer safety, reliability and security
: 17th international conference ; proceedings / SAFECOMP '98, Heidelberg, Germany, October 1998. Wolfgang Ehrenberger (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1516)
ISBN 978-3-540-49646-5
Lizenzpflichtig
Quelle: DNB
