Mohlo by se vám také líbit

Více informací o knize Formal Methods for Dynamical Systems

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 140 bodů

Anotace knihy

This book offers lectures from the 2013 International School on Formal Methods for Design of Computer, Communication & Software Systems on chaotic dynamics, information theory, systems biology, hybrid systems, quantum computing, automata-based models and more.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Human-computer interaction

• Plný název: Formal Methods for Dynamical Systems
• Podnázev: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
• Autor: Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 181
• EAN: 9783642388736
• ISBN: 3642388736
• ID: 01663858
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 302 g
• Rozměry: 235 × 155 × 12 mm
• Datum vydání: 16. May 2013

Oblíbené z jiného soudku

---

---

---