دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods for Dynamical Systems: 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
دانلود کتاب روشهای رسمی برای سیستمهای پویا: سیزدهمین مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM 2013، برتینورو، ایتالیا، 17 تا 22 ژوئن 2013. سخنرانیهای پیشرفته
مشخصات کتاب
Formal Methods for Dynamical Systems: 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
ویرایش: [1 ed.] نویسندگان: Boris Köpf, Andrey Rybalchenko (auth.), Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.) سری: Lecture Notes in Computer Science 7938 ISBN (شابک) : 9783642388736, 9783642388743 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 181 [186] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 75,000
در صورت تبدیل فایل کتاب Formal Methods for Dynamical Systems: 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی برای سیستمهای پویا: سیزدهمین مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM 2013، برتینورو، ایتالیا، 17 تا 22 ژوئن 2013. سخنرانیهای پیشرفته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رسمی برای سیستمهای پویا: سیزدهمین مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM 2013، برتینورو، ایتالیا، 17 تا 22 ژوئن 2013. سخنرانیهای پیشرفته
این کتاب 5 سخنرانی آموزشی را ارائه می دهد که توسط محققان برجسته در سیزدهمین ویرایش مدرسه بین المللی روش های رسمی برای طراحی سیستم های کامپیوتری، ارتباطی و نرم افزاری، SFM 2013، در برتینورو، ایتالیا، در ژوئن 2013 برگزار شد. SFM 2013 به سیستم های دینامیکی اختصاص داشت و موضوعات مختلفی از جمله دینامیک آشفته را پوشش داد. نظریه اطلاعات؛ زیست شناسی سیستم ها; سیستم های هیبریدی؛ محاسبات کوانتومی؛ و مدلهای مبتنی بر خودکار و بررسی مدل.
توضیحاتی درمورد کتاب به خارجی
This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Marken- und Kommunikationsmanagement im B-to-B-Geschäft: Clever positionieren, erfolgreich kommunizieren
دانلود کتاب Nietzsche & Para além de bem e mal (PAP - Filosofia)
دانلود کتاب Silver's Spells for Protection
