Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Methods in Macro-Biology
  • Produktbild: Formal Methods in Macro-Biology
Band 8738

Formal Methods in Macro-Biology First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings

Aus der Reihe Lecture Notes in Bioinformatics

39,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.08.2014

Abbildungen

XXVI, 46 illus., schwarz-weiss Illustrationen

Herausgeber

François Fages + weitere

Verlag

Springer

Seitenzahl

183

Maße (L/B/H)

23,5/15,5/1,2 cm

Gewicht

330 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-319-10397-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.08.2014

Abbildungen

XXVI, 46 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

183

Maße (L/B/H)

23,5/15,5/1,2 cm

Gewicht

330 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-319-10397-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
Die Leseprobe wird geladen.
  • Produktbild: Formal Methods in Macro-Biology
  • Produktbild: Formal Methods in Macro-Biology

  • Model-Checking in Systems Biology - From Micro to Macro.- Developing Quantitative Methods in Community Ecology: Predicting Species Abundances from Qualitative Web Interaction Data.- Understanding How Biodiversity Is Distributed in Space and Time.- Computing Longevity: Insights from Controls.- Control of a Bioreactor with Quantized Measurements.- External Interactions on Hybrid Models of Biological Systems.- Attractor Equivalence: An Observational Semantics for Reaction Networks.- Petri Nets Are a Biologist's Best Friend.- 50 Shades of Rule Composition: From Chemical Reactions to Higher Levels of Abstraction.- A Logical Framework for Systems Biology.- Disentangling the Effects of Habitat and Protection on Coral Reef Fish Communities in Long-Established Marine Reserves.- The Challenges of Developing Spatially Explicit Network Models for the Management of Disease Vectors in EcologicalSystems.- Evaluating Management Scenarios for Fished Resources of the New Caledonian Lagoon Using a Spatially-Explicit Model.- Completing SBGN-AF Networks by Logic-Based Hypothesis Finding.