دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
دانلود کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: هفدهمین کنفرانس بین المللی، FOSSACS 2015، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه تئوری و عملی نرم افزار، ETAPS 2015، لندن، انگلستان، 11-18 آوریل 2015، Proceedings
مشخصات کتاب
Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
ویرایش: 1
نویسندگان: Andrew Pitts (eds.)
سری: Lecture Notes in Computer Science 9034
ISBN (شابک) : 9783662466773, 9783662466780
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2015
تعداد صفحات: 467
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 62,000
کلمات کلیدی مربوط به کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: هفدهمین کنفرانس بین المللی، FOSSACS 2015، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه تئوری و عملی نرم افزار، ETAPS 2015، لندن، انگلستان، 11-18 آوریل 2015، Proceedings: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلر، مترجمان، مهندسی نرم افزار، محاسبات با دستگاه های انتزاعی
در صورت تبدیل فایل کتاب Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: هفدهمین کنفرانس بین المللی، FOSSACS 2015، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه تئوری و عملی نرم افزار، ETAPS 2015، لندن، انگلستان، 11-18 آوریل 2015، Proceedings نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: هفدهمین کنفرانس بین المللی، FOSSACS 2015، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه تئوری و عملی نرم افزار، ETAPS 2015، لندن، انگلستان، 11-18 آوریل 2015، Proceedings
این کتاب مجموعه مقالات هجدهمین کنفرانس بین المللی مبانی علم
نرم افزار و ساختارهای محاسباتی، FOSSACS 2015، در لندن،
انگلستان، در آوریل 2015، به عنوان بخشی از کنفرانس های مشترک
اروپایی در نظریه و عمل نرم افزار، ETAPS است. 2015.
28 مقاله کامل ارائه شده در این جلد با دقت بررسی و از بین 93
مقاله ارسالی انتخاب شدند. آنها در بخش های موضوعی به نام های:
معناشناسی زبان های برنامه نویسی سازماندهی شده اند. مدل ها و
منطق های طبقه بندی شده؛ سیستم های همزمان، احتمالی و زمان بندی
شده؛ خودکار، بازی ها، تأیید؛ جنبه های منطقی پیچیدگی محاسباتی؛
و نظریه نوع، نظریه اثبات و پیچیدگی محاسباتی ضمنی. این کتاب
همچنین حاوی یک سخنرانی دعوت شده مقاله کامل است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 18th
International Conference on Foundations of Software Science
and Computation Structures, FOSSACS 2015, held in London, UK,
in April 2015, as part of the European Joint Conferences on
Theory and Practice of Software, ETAPS 2015.
The 28 full papers presented in this volume were carefully
reviewed and selected from 93 submissions. They are organized
in topical sections named: semantics of programming
languages; categorical models and logics; concurrent,
probabilistic and timed systems; automata, games,
verification; logical aspects of computational complexity;
and type theory, proof theory and implicit computational
complexity. The book also contains one full paper invited
talk.
فهرست مطالب
Front Matter....Pages 1-13
Front Matter....Pages 1-1
Polarized Substructural Session Types....Pages 3-22
Front Matter....Pages 23-23
Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism....Pages 25-40
An Infinitary Model of Linear Logic....Pages 41-55
Game Semantics and Normalization by Evaluation....Pages 56-70
Foundations of Differential Dataflow....Pages 71-83
Front Matter....Pages 85-85
States of Convex Sets....Pages 87-101
A Categorical Semantics for Linear Logical Frameworks....Pages 102-116
A Completeness Result for Finite λ -bisimulations....Pages 117-132
Sequent Calculus in the Topos of Trees....Pages 133-147
Front Matter....Pages 149-149
Coalgebraic Trace Semantics via Forgetful Logics....Pages 151-166
Unifying Hyper and Epistemic Temporal Logics....Pages 167-182
Front Matter....Pages 183-183
On the Total Variation Distance of Semi-Markov Chains....Pages 185-199
Decidable and Expressive Classes of Probabilistic Automata....Pages 200-214
Knowledge = Observation + Memory + Computation....Pages 215-229
Compositional Metric Reasoning with Probabilistic Process Calculi....Pages 230-245
Front Matter....Pages 247-247
Fragments of ML Decidable by Nested Data Class Memory Automata....Pages 249-263
Operational Nominal Game Semantics....Pages 264-278
Step-Indexed Logical Relations for Probability....Pages 279-294
Front Matter....Pages 295-295
Minimisation of Multiplicity Tree Automata....Pages 297-311
Robust Multidimensional Mean-Payoff Games are Undecidable....Pages 312-327
Front Matter....Pages 295-295
The Cyclic-Routing UAV Problem is PSPACE-Complete....Pages 328-342
Typing Weak MSOL Properties....Pages 343-357
Front Matter....Pages 359-359
Three Variables Suffice for Real-Time Logic....Pages 361-374
On Presburger Arithmetic Extended with Modulo Counting Quantifiers....Pages 375-389
Parity Games of Bounded Tree- and Clique-Width....Pages 390-404
Front Matter....Pages 405-405
Programming and Reasoning with Guarded Recursion for Coinductive Types....Pages 407-421
The Computational Contents of Ramified Corecurrence....Pages 422-435
On the Dependencies of Logical Rules....Pages 436-450
On the Mints Hierarchy in First-Order Intuitionistic Logic....Pages 451-465
Back Matter....Pages 467-467
