دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
دانلود کتاب مبانی علم نرم افزار و ساختارهای محاسباتی: دوازدهمین کنفرانس بین المللی ، FOSSACS 2009 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2009 ، York ، UK ، 22-29 مارس ، 2009. مجموعه مقالات
مشخصات کتاب
Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
دسته بندی: ریاضیات محاسباتی ویرایش: 1 نویسندگان: Wolfgang Thomas (auth.), Luca de Alfaro (eds.) سری: Lecture Notes in Computer Science 5504 : Theoretical Computer Science and General Issues ISBN (شابک) : 9783642005954, 3642005950 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 483 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 40,000
کلمات کلیدی مربوط به کتاب مبانی علم نرم افزار و ساختارهای محاسباتی: دوازدهمین کنفرانس بین المللی ، FOSSACS 2009 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2009 ، York ، UK ، 22-29 مارس ، 2009. مجموعه مقالات: منطق ریاضی و زبان‌های رسمی، منطق و معانی برنامه‌ها، مهندسی نرم‌افزار، زبان‌های برنامه‌نویسی، کامپایلرها، مفسران، محاسبات با دستگاه‌های انتزاعی، تئوری محاسبات
در صورت تبدیل فایل کتاب Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی علم نرم افزار و ساختارهای محاسباتی: دوازدهمین کنفرانس بین المللی ، FOSSACS 2009 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2009 ، York ، UK ، 22-29 مارس ، 2009. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی علم نرم افزار و ساختارهای محاسباتی: دوازدهمین کنفرانس بین المللی ، FOSSACS 2009 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2009 ، York ، UK ، 22-29 مارس ، 2009. مجموعه مقالات
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بین المللی مبانی علم نرم افزار و ساختارهای محاسباتی، FOSSACS 2009، در یورک، انگلستان، در مارس 2009، به عنوان بخشی از ETAPS 2009، کنفرانس مشترک اروپا در مورد تئوری و عمل نرم افزار.
30 مقاله کامل اصلاح شده ارائه شده همراه با دو گفتگوی دعوت شده به دقت بررسی و از بین 102 مقاله ارسالی کامل انتخاب شدند. موضوعات مطرح شده عبارتند از معناشناسی، منطق و خودکار، جبر، نظریه خودکار، فرآیندها و مدل‌ها، امنیت، مدل‌های احتمالی و کمی، ترکیب، و تحلیل برنامه و معناشناسی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.
The 30 revised full papers presented together with two invited talks were carefully reviewed and selected from 102 full paper submissions. The topics addressed are semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics.
فهرست مطالب
Front Matter....Pages -
Facets of Synthesis: Revisiting Church’s Problem....Pages 1-14
Temporal Reasoning about Program Executions....Pages 15-15
Least and Greatest Fixpoints in Game Semantics....Pages 16-31
Full Abstraction for Reduced ML....Pages 32-47
Logics and Bisimulation Games for Concurrency, Causality and Conflict....Pages 48-62
Separating Graph Logic from MSO....Pages 63-77
On the Completeness of Dynamic Logic....Pages 78-91
Dependency Tree Automata....Pages 92-106
On Global Model Checking Trees Generated by Higher-Order Recursion Schemes....Pages 107-121
A Kleene Theorem for Polynomial Coalgebras....Pages 122-136
Coalgebraic Hybrid Logic....Pages 137-151
A Description of Iterative Reflections of Monads (Extended Abstract)....Pages 152-166
Tighter Bounds for the Determinisation of Büchi Automata....Pages 167-181
Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata....Pages 182-196
Interrupt Timed Automata....Pages 197-211
Parameter Reduction in Grammar-Compressed Trees....Pages 212-226
The Calculus of Handshake Configurations....Pages 227-241
On the Expressive Power of Restriction and Priorities in CCS with Replication....Pages 242-256
Normal Bisimulations in Calculi with Passivation....Pages 257-271
Reactive Systems, Barbed Semantics, and the Mobile Ambients....Pages 272-287
On the Foundations of Quantitative Information Flow....Pages 288-302
Cryptographic Protocol Composition via the Authentication Tests....Pages 303-317
Bisimulation for Demonic Schedulers....Pages 318-332
On Omega-Languages Defined by Mean-Payoff Conditions....Pages 333-347
Minimal Cost Reachability/Coverability in Priced Timed Petri Nets....Pages 348-363
Delayed Nondeterminism in Continuous-Time Markov Decision Processes....Pages 364-379
Concurrency, σ -Algebras, and Probabilistic Fairness....Pages 380-394
Synthesis from Component Libraries....Pages 395-409
Realizability of Concurrent Recursive Programs....Pages 410-424
Beyond Shapes: Lists with Ordered Data....Pages 425-439
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains....Pages 440-455
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types....Pages 456-470
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Numerical Modelling: Applications to Marine Systems
دانلود کتاب Fundamental numerical methods for electrical engineering
دانلود کتاب Mixed finite element technologies
دانلود کتاب PX, a computational logic
دانلود کتاب The prediction of crack growth in bonded joints under cyclic-fatigue loading II Analytical and finite element studies
دانلود کتاب Logic, language, information and computation 16th international workshop; proceedings WoLLIC <16. 2009. Tokyo>
دانلود کتاب Understanding and implementing the finite element method
دانلود کتاب Nonlinear optics: theory, numerical modeling, and applications
دانلود کتاب Computational techniques for fluid dynamics: a solutions manual
