دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
دانلود کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: هفدهمین کنفرانس بین المللی ، FOSSACS 2014 ، به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2014 ، گرنوبل ، فرانسه ، 5-13 آوریل 2014 ، مجموعه مقالات
مشخصات کتاب
Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ویرایش: 1
نویسندگان: Anca Muscholl (eds.)
سری: Lecture Notes in Computer Science 8412 Theoretical Computer Science and General Issues
ISBN (شابک) : 9783642548291, 9783642548307
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2014
تعداد صفحات: 470
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 42,000
کلمات کلیدی مربوط به کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: هفدهمین کنفرانس بین المللی ، FOSSACS 2014 ، به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2014 ، گرنوبل ، فرانسه ، 5-13 آوریل 2014 ، مجموعه مقالات: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلر، مترجمان، مهندسی نرم افزار، محاسبات با دستگاه های انتزاعی
در صورت تبدیل فایل کتاب Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: هفدهمین کنفرانس بین المللی ، FOSSACS 2014 ، به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2014 ، گرنوبل ، فرانسه ، 5-13 آوریل 2014 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: هفدهمین کنفرانس بین المللی ، FOSSACS 2014 ، به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2014 ، گرنوبل ، فرانسه ، 5-13 آوریل 2014 ، مجموعه مقالات
این کتاب مجموعه مقالات هفدهمین کنفرانس بین‌المللی مبانی علم نرم‌افزار و ساختارهای محاسباتی، FOSSACS 2014 است که به عنوان بخشی از کنفرانس‌های مشترک اروپایی در زمینه نظریه و عمل نرم‌افزار، ETAPS 2014، در گرنوبل، فرانسه برگزار شد. ، در آوریل 2014. 28 مقاله موجود در این کتاب به همراه یک سخنرانی دعوت شده از بین 106 مقاله ارسالی کامل انتخاب شدند. حوزه‌های موضوعی زیر پوشش داده می‌شوند: سیستم‌های احتمالی، معناشناسی زبان‌های برنامه‌نویسی، شبکه‌ها، تجزیه و تحلیل برنامه، بازی‌ها و ترکیب، استدلال ترکیبی، شبیه‌سازی دوگانه، مدل‌های مقوله‌ای و جبری و منطق برنامه‌نویسی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this book, together with one invited talk, were selected from 106 full-paper submissions. The following topical areas are covered: probabilistic systems, semantics of programming languages, networks, program analysis, games and synthesis, compositional reasoning, bisimulation, categorical and algebraic models and logics of programming.
فهرست مطالب
Front Matter....Pages -
Equivalences of Pushdown Systems Are Hard....Pages 1-28
Active Diagnosis for Probabilistic Systems....Pages 29-42
Analysis of Probabilistic Basic Parallel Processes....Pages 43-57
Limit Synchronization in Markov Decision Processes....Pages 58-72
Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes....Pages 73-87
Type Reconstruction for the Linear π -Calculus with Composite and Equi-Recursive Types....Pages 88-102
A Semantical and Operational Account of Call-by-Value Solvability....Pages 103-118
Network-Formation Games with Regular Objectives....Pages 119-133
Playing with Probabilities in Reconfigurable Broadcast Networks....Pages 134-148
Unsafe Order-2 Tree Languages Are Context-Sensitive....Pages 149-163
Game Semantics for Nominal Exceptions....Pages 164-179
Complexity of Model-Checking Call-by-Value Programs....Pages 180-194
Resource Reachability Games on Pushdown Graphs....Pages 195-209
Perfect-Information Stochastic Mean-Payoff Parity Games....Pages 210-225
Latticed-LTL Synthesis in the Presence of Noisy Inputs....Pages 226-241
The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies....Pages 242-257
On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations....Pages 258-273
On Asymmetric Unification and the Combination Problem in Disjoint Theories....Pages 274-288
Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules....Pages 289-303
Generalized Synchronization Trees....Pages 304-319
Bisimulations for Communicating Transactions....Pages 320-334
Upper-Expectation Bisimilarity and Łukasiewicz μ -Calculus....Pages 335-350
Interacting Bialgebras Are Frobenius....Pages 351-365
Generalized Eilenberg Theorem I: Local Varieties of Languages....Pages 366-380
Combining Bialgebraic Semantics and Equations....Pages 381-395
Models of a Non-associative Composition....Pages 396-410
Foundations for Decision Problems in Separation Logic with General Inductive Predicates....Pages 411-425
A Coalgebraic Approach to Linear-Time Logics....Pages 426-440
A Relatively Complete Calculus for Structured Heterogeneous Specifications....Pages 441-456
Back Matter....Pages -
