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
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
Formal modelling in electronic commerce
/ Steven O. Kimbrough ; D. J. Wu. - Berlin : Springer, 2005. - XII, 562 S. : graph. Darst.; 24 cm - (International handbooks on information systems)
ISBN 978-3-540-21431-1 / 3-540-21431-3 Pp. : EUR 96.25 (freier Pr.), sfr 152.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal models of agents
: selected papers / ESPRIT Project Model Age Final Workshop. John-Jules Ch. Meyer ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1760 : Lecture notes in artificial intelligence)
ISBN 978-3-540-46581-2
Lizenzpflichtig
Quelle: DNB
Formal models of agents
: selected papers / ESPRIT Project Model Age Final Workshop. John-Jules Ch. Meyer ; Pierre-Yves Schobbens (ed.). - Berlin : Springer, 2000. - VIII, 251 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1760 : Lecture notes in artificial intelligence)
ISBN 978-3-540-67027-8 / 3-540-67027-0 kart. : DM 70.00
Literaturangaben
Quelle: DNB
