Formal methods in computer aided design
: second international conference ; proceedings / FMCAD '98, Palo Alto, CA, USA, November 1998. Ganesh Gopalakrishnan ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1522)
ISBN 978-3-540-49519-2
Lizenzpflichtig
Quelle: DNB
Formal methods in computer aided design
: first international conference ; proceedings / FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996. Mandayam Srivas ; Albert Camilleri (ed.). - Berlin : Springer, 1996. - IX, 470 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1166)
ISBN 978-3-540-61937-6 / 3-540-61937-2 kart. : DM 94.00
Literaturangaben
Quelle: DNB
Formal methods in human computer interaction
/ Philippe Palanque and Fabio Paternò (ed.). - London : Springer, 1997. - XVII, 376 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-76158-7 / 3-540-76158-6 kart. : DM 89.00
Literaturverz. S. 347 - 361
Quelle: DNB
Formal methods in programming and their applications
: international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings / Dines Bjørner ... (ed.). - Berlin : Springer, 1993. - IX, 433 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 735)
ISBN 978-3-540-57316-6 / 3-540-57316-X kart. : DM 80.00
Literaturangaben
Quelle: DNB
Formal methods in systems biology
: first international workshop ; proceedings / FMSB 2008, Cambridge, UK, June 4 - 5, 2008. Jasmin Fisher (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5054 : Lecture notes in bioinformatics)
ISBN 978-3-540-68413-8
Lizenzpflichtig
Quelle: DNB
Formal methods in systems biology
: first international workshop ; proceedings / FMSB 2008, Cambridge, UK, June 4 - 5, 2008. Jasmin Fisher (ed.). - Berlin : Springer, 2008. - 138 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5054 : Lecture notes in bioinformatics)
ISBN 978-3-540-68410-7 kart. : EUR 44.94 (freier Pr.), sfr 70.00 (freier Pr.)
Literaturangaben
Quelle: DNB
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
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
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
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
