Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Italy, June 17-22, 2013. Advanced Lectures

Marco Bernardo (ویرایشگر)
هنوز رتبه‌بندی نشده است
2013 · انگلیسی · جلد نرم · 2 نسخه
به قفسه اضافه کنید

به این کتاب امتیاز دهید

صدور دفتر کتاب

توضیحات

Chaotic dynamics.- Information theory.- Systems biology.- Hybrid systems.- Quantum computing.- Automata-based models and model checking.

جزئیات کتاب

فرمت جلد نرم
صفحات 192 صفحه
زبان انگلیسی
منتشر شده Jun 9, 2013
ناشر Springer
نسخه‌ها 2 نسخه
ISBN-10 3642388752
ISBN-13 9783642388750
به قفسه اضافه کنید

به این کتاب امتیاز دهید

صدور دفتر کتاب