دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
دانلود کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: چهاردهمین کنفرانس بین المللی، FOSSACS 2011، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و نرم افزار نرم افزار، ETAPS 2011، زاربرکنن، آلمان، 26 مارس تا 3 آوریل 2011.
مشخصات کتاب
Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
ویرایش: 1 نویسندگان: Prakash Panangaden (auth.), Martin Hofmann (eds.) سری: Lecture Notes in Computer Science 6604 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642198052, 3642198058 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 486 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: چهاردهمین کنفرانس بین المللی، FOSSACS 2011، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و نرم افزار نرم افزار، ETAPS 2011، زاربرکنن، آلمان، 26 مارس تا 3 آوریل 2011.: منطق ریاضی و زبان های رسمی، محاسبات با دستگاه های انتزاعی، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: چهاردهمین کنفرانس بین المللی، FOSSACS 2011، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و نرم افزار نرم افزار، ETAPS 2011، زاربرکنن، آلمان، 26 مارس تا 3 آوریل 2011. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: چهاردهمین کنفرانس بین المللی، FOSSACS 2011، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و نرم افزار نرم افزار، ETAPS 2011، زاربرکنن، آلمان، 26 مارس تا 3 آوریل 2011.
این کتاب مجموعه مقالات داوری چهاردهمین کنفرانس بین‌المللی مبانی علم نرم‌افزار و ساختارهای محاسباتی، FOSSACS 2011، برگزار شده در زاربروکن، آلمان، 26 مارس تا 3 آوریل 2011، به عنوان بخشی از ETAPS 2011 است. کنفرانس های مشترک اروپایی در مورد تئوری و عمل نرم افزار.
30 مقاله کامل اصلاح شده ارائه شده همراه با یک سخنرانی دعوت شده با طول مقاله به دقت بررسی و از بین 100 مورد ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی در جبر و محاسبات، نظریه نوع، محاسبات فرآیند، نظریه خودکار، معناشناسی، اتصال، امنیت و تجزیه و تحلیل برنامه سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 14th International Conference on Foundations of Software Science and computational Structures, FOSSACS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.
The 30 revised full papers presented together with one full-paper length invited talk were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on coalgebra and computability, type theory, process calculi, automata theory, semantics, binding, security, and program analysis.
فهرست مطالب
Front Matter....Pages -
The Search for Structure in Quantum Computation....Pages 1-11
Coalgebraic Walks, in Quantum and Turing Computation....Pages 12-26
Similarity Quotients as Final Coalgebras....Pages 27-41
What Do Reversible Programs Compute?....Pages 42-56
Irrelevance in Type Theory with a Heterogeneous Equality Judgement....Pages 57-71
When Is a Type Refinement an Inductive Type?....Pages 72-87
Complexity of Strongly Normalising λ -Terms via Non-idempotent Intersection Types....Pages 88-107
Realizability and Parametricity in Pure Type Systems....Pages 108-122
Sound Bisimulations for Higher-Order Distributed Process Calculus....Pages 123-137
Deriving Labels and Bisimilarity for Concurrent Constraint Programming....Pages 138-152
Ordinal Theory for Expressiveness of Well Structured Transition Systems....Pages 153-167
Alternation Elimination for Automata over Nested Words....Pages 168-183
Co-Büching Them All....Pages 184-198
Minimizing Deterministic Lattice Automata....Pages 199-213
Regularity and Context-Freeness over Word Rewriting Systems....Pages 214-228
Quantitative Robustness Analysis of Flat Timed Automata....Pages 229-244
A Game Approach to Determinize Timed Automata....Pages 245-259
A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes....Pages 260-274
Church Synthesis Problem for Noisy Input....Pages 275-289
Probabilistic Modal μ -Calculus with Independent Product....Pages 290-304
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces....Pages 305-319
A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy....Pages 320-334
Estimation of the Length of Interactions in Arena Game Semantics....Pages 335-349
Synchronous Game Semantics via Round Abstraction....Pages 350-364
Freshness and Name-Restriction in Sets of Traces with Names....Pages 365-380
Polymorphic Abstract Syntax via Grothendieck Construction....Pages 381-395
Asymptotic Information Leakage under One-Try Attacks....Pages 396-410
A Trace-Based View on Operating Guidelines....Pages 411-425
HTML Validation of Context-Free Languages....Pages 426-440
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks....Pages 441-455
The Reduced Product of Abstract Domains and the Combination of Decision Procedures....Pages 456-472
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب 张家山汉简《二年律令》研究文集
دانلود کتاب Killer CVs and Hidden Approaches
