دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
دانلود کتاب روش های رابطه ای و جبری در علوم رایانه: سیزدهمین کنفرانس بین المللی ، RAMiCS 2012 ، کمبریج ، انگلستان ، 17-20 سپتامبر 2012. مجموعه مقالات
مشخصات کتاب
Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
ویرایش: 1 نویسندگان: Han-Hing Dang, Bernhard Möller (auth.), Wolfram Kahl, Timothy G. Griffin (eds.) سری: Lecture Notes in Computer Science 7560 ISBN (شابک) : 9783642333149, 3642333133 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 368 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 75,000
کلمات کلیدی مربوط به کتاب روش های رابطه ای و جبری در علوم رایانه: سیزدهمین کنفرانس بین المللی ، RAMiCS 2012 ، کمبریج ، انگلستان ، 17-20 سپتامبر 2012. مجموعه مقالات: منطق ریاضی و زبان های رسمی، دستکاری نمادین و جبری، منطق و معانی برنامه ها، مهندسی نرم افزار، هوش مصنوعی (شامل رباتیک)، ریاضیات گسسته در علوم کامپیوتر
در صورت تبدیل فایل کتاب Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رابطه ای و جبری در علوم رایانه: سیزدهمین کنفرانس بین المللی ، RAMiCS 2012 ، کمبریج ، انگلستان ، 17-20 سپتامبر 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش های رابطه ای و جبری در علوم رایانه: سیزدهمین کنفرانس بین المللی ، RAMiCS 2012 ، کمبریج ، انگلستان ، 17-20 سپتامبر 2012. مجموعه مقالات
این کتاب مجموعه مقالات پس از کنفرانس سیزدهمین کنفرانس بین المللی روش های رابطه ای و جبری در علوم کامپیوتر، RAMiCS 13، که در سپتامبر 2012 در کمبریج، انگلستان برگزار شد، تشکیل شده است. 23 مقاله کامل اصلاح شده ارائه شده با دقت انتخاب شده اند. 39 مقاله ارسالی در حوزه کلی روشهای رابطهای و جبری در علوم کامپیوتر، افزودن تمرکز ویژه بر روشهای رسمی برای مهندسی نرمافزار، منطق برنامهها و پیوندها با رشتههای همسایه. این مقالات در زمینههای خاصی در مورد کاربردها برای مشخصات و صحت نرمافزار، استدلال مکانیزه در جبرهای رابطهای، اشتقاق برنامه جبری، مبانی نظری، روابط و الگوریتمها، و ویژگیهای روابط تخصصی ساختار یافتهاند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations.
فهرست مطالب
Front Matter....Pages -
Transitive Separation Logic....Pages 1-16
Unifying Lazy and Strict Computations....Pages 17-32
Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming....Pages 33-49
Towards an Algebra for Real-Time Programs....Pages 50-65
Automated Reasoning in Higher-Order Regular Algebra....Pages 66-81
Towards Certifiable Implementation of Graph Transformation via Relation Categories....Pages 82-97
Deciding Regular Expressions (In-)Equivalence in Coq....Pages 98-113
Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures....Pages 114-129
Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings....Pages 130-145
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants....Pages 146-161
Left-Handed Completeness....Pages 162-178
On Completeness of Omega-Regular Algebras....Pages 179-194
Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings....Pages 195-206
Relational Representation Theorem for Powerset Quantales....Pages 207-218
Point Axioms in Dedekind Categories....Pages 219-234
Two Observations in Dioid Based Model Refinement....Pages 235-247
Relation Algebras, Matrices, and Multi-valued Decision Diagrams....Pages 248-263
Incremental Pseudo Rectangular Organization of Information Relative to a Domain....Pages 264-277
Relational Concepts in Social Choice....Pages 278-293
An Algebra of Layered Complex Preferences....Pages 294-309
Continuous Relations and Richardson’s Theorem....Pages 310-325
Relations on Hypergraphs....Pages 326-341
Extension Properties of Boolean Contact Algebras....Pages 342-356
Erratum: Transitive Separation Logic....Pages E1-E3
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Shatterglass (Circle Opens, Book 4)
دانلود کتاب Suggested unit course in milling machine operation
دانلود کتاب Cambridge IGCSE Computer Science
