Konferenzschrift | Kongress
Formal methods for computational systems biology : advanced lectures
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540688921
- Dimensions
-
24 cm
- Extent
-
X, 523 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 5016 : Tutorial
- Keyword
-
Systembiologie
Soft Computing
Biologie
Biowissenschaften
Datenverarbeitung
Computerunterstütztes Verfahren
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2008
- Contributor
-
Bernardo, Marco
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (8 : 2008 : Bertinoro)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:31 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Bernardo, Marco
- International School on Formal Methods for the Design of Computer, Communication, and Software Systems (8 : 2008 : Bertinoro)
- Springer
Time of origin
- 2008
Other Objects (12)
Computational discrete mathematics : advanced lectures
Lectures on advanced computational methods in mechanics
Formal methods for software architectures : advanced lectures
Formal methods for web services : advanced lectures
Formal methods for performance evaluation : advanced lectures
Formal methods for dynamical systems : advanced lectures
Formal methods for hardware verification : advanced lectures
Formal methods for model-driven engineering : advanced lectures
Formal methods for eternal networked software systems : advanced lectures
Computational cell biology
Computational molecular biology
Unifying theories of programming and formal engineering methods : advanced lectures
Computational discrete mathematics : advanced lectures
Lectures on advanced computational methods in mechanics
Formal methods for software architectures : advanced lectures
Formal methods for web services : advanced lectures
Formal methods for performance evaluation : advanced lectures
Formal methods for dynamical systems : advanced lectures
Formal methods for hardware verification : advanced lectures
Formal methods for model-driven engineering : advanced lectures
Formal methods for eternal networked software systems : advanced lectures
Computational cell biology
Computational molecular biology
Unifying theories of programming and formal engineering methods : advanced lectures
Computational discrete mathematics : advanced lectures
Lectures on advanced computational methods in mechanics
Formal methods for software architectures : advanced lectures
Formal methods for web services : advanced lectures
Formal methods for performance evaluation : advanced lectures
Formal methods for dynamical systems : advanced lectures
Formal methods for hardware verification : advanced lectures
Formal methods for model-driven engineering : advanced lectures
Formal methods for eternal networked software systems : advanced lectures
Computational cell biology
Computational molecular biology