دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
دانلود کتاب روشهای اعجاب انگیز در علوم رایانه: 11 کارگاه بین المللی، CMCS 2012، Colocated با ETAPS 2012، تالین، استونی، 31 مارس - 1 آوریل 2012، مقالات منتخب تجدید نظر شده
مشخصات کتاب
Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
ویرایش: [1 ed.] نویسندگان: Samson Abramsky, Jonathan Zvesper (auth.), Dirk Pattinson, Lutz Schröder (eds.) سری: Lecture Notes in Computer Science 7399 Advanced research in computing and software science ISBN (شابک) : 9783642327841, 3642327834 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 259 [266] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 47,000
در صورت تبدیل فایل کتاب Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای اعجاب انگیز در علوم رایانه: 11 کارگاه بین المللی، CMCS 2012، Colocated با ETAPS 2012، تالین، استونی، 31 مارس - 1 آوریل 2012، مقالات منتخب تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای اعجاب انگیز در علوم رایانه: 11 کارگاه بین المللی، CMCS 2012، Colocated با ETAPS 2012، تالین، استونی، 31 مارس - 1 آوریل 2012، مقالات منتخب تجدید نظر شده
این کتاب مجموعه مقالات پس از داوری کامل یازدهمین کارگاه بین المللی روش های جبری در علوم کامپیوتر، CMCS 2012، همراه با ETAPS 2012، در تالین، استونی، در مارس/آوریل 2012 برگزار شد. 10 مقاله کامل اصلاح شدند از بین 23 مورد ارسالی به دقت بررسی و انتخاب شد. همچنین شامل سه گفتگوی دعوت شده است. این مقالات طیف وسیعی از موضوعات در تئوری، منطق و کاربردهای جبرهای ذغالی را پوشش می دهد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
فهرست مطالب
Front Matter....Pages -
From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference....Pages 1-19
Defining Context-Free Power Series Coalgebraically....Pages 20-39
Relational Presheaves as Labelled Transition Systems....Pages 40-50
On Finitary Functors and Their Presentations....Pages 51-70
Structural Operational Semantics for Continuous State Probabilistic Processes....Pages 71-89
Stream Automata Are Coalgebras....Pages 90-108
Trace Semantics via Determinization....Pages 109-129
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus....Pages 130-149
Lax Extensions of Coalgebra Functors....Pages 150-169
From Transitions to Executions....Pages 170-190
Tracing the Man in the Middle in Monoidal Categories....Pages 191-217
Permutations in Coinductive Graph Representation....Pages 218-237
Internal Models for Coalgebraic Modal Logics....Pages 238-258
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Ch. 3 Making Mathematics Reasonable in School [single chapter from the book A research companion to principles and standards for school mathematics]
دانلود کتاب Українська народна пісня
دانلود کتاب DK Eyewitness Scotland (Travel Guide)
