دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015 Braga, Portugal, September 28 – October 1, 2015, Proceedings
دانلود کتاب روشهای رابطه ای و جبری در علوم رایانه: پانزدهمین کنفرانس بین المللی ، RAMiCS 2015 براگا ، پرتغال ، 28 سپتامبر - 1 اکتبر 2015 ، مجموعه مقالات
مشخصات کتاب
Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015 Braga, Portugal, September 28 – October 1, 2015, Proceedings
ویرایش: 1 نویسندگان: Wolfram Kahl, Michael Winter, José N. Oliveira (eds.) سری: Lecture Notes in Computer Science 9348 ISBN (شابک) : 9783319247038, 9783319247045 ناشر: Springer International Publishing سال نشر: 2015 تعداد صفحات: 401 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 43,000
در صورت تبدیل فایل کتاب Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015 Braga, Portugal, September 28 – October 1, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رابطه ای و جبری در علوم رایانه: پانزدهمین کنفرانس بین المللی ، RAMiCS 2015 براگا ، پرتغال ، 28 سپتامبر - 1 اکتبر 2015 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رابطه ای و جبری در علوم رایانه: پانزدهمین کنفرانس بین المللی ، RAMiCS 2015 براگا ، پرتغال ، 28 سپتامبر - 1 اکتبر 2015 ، مجموعه مقالات
این کتاب مجموعه مقالات پانزدهمین کنفرانس بین‌المللی روشهای رابطه‌ای و جبری در علوم کامپیوتر، RAMiCS 2015 است که در براگا، پرتغال، در سپتامبر/اکتبر 2015 برگزار شد.
20 بازبینی شده مقالات کامل و 3 مقاله دعوت شده ارائه شده به دقت از بین 25 مقاله ارسالی انتخاب شدند. مقالات با تئوری جبرهای رابطه و جبرهای کلین، جبرهای فرآیندی سروکار دارند. محاسبات نقطه ثابت؛ semirings idempotent; کمیت ها، تمثیل ها و جبرهای پویا. جبرهای استوانه ای، و در مورد کاربرد آنها در زمینه هایی مانند تأیید، تجزیه و تحلیل و توسعه برنامه ها و الگوریتم ها، رویکردهای جبری به منطق برنامه ها، منطق های مدال و پویا، منطق های فاصله ای و زمانی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015.
The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras; cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics.
فهرست مطالب
Front Matter....Pages -
Front Matter....Pages 1-1
A Quest for Kleene Algebra in 2 Dimensions....Pages 3-26
Connections between Relation Algebras and Cylindric Algebras....Pages 27-42
Towards a Probabilistic Interpretation of Game Logic....Pages 43-47
Front Matter....Pages 49-49
Completeness and Incompleteness in Nominal Kleene Algebra....Pages 51-66
Closure, Properties and Closure Properties of Multirelations....Pages 67-83
Relational Formalisations of Compositions and Liftings of Multirelations....Pages 84-100
Relations among Matrices over a Semiring....Pages 101-118
Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective....Pages 119-135
Generalised N-ary Relations and Allegories....Pages 136-150
Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets....Pages 151-168
Front Matter....Pages 169-169
Metaphorisms in Programming....Pages 171-190
Relational Mathematics for Relative Correctness....Pages 191-208
Encoding and Decoding in Refinement Algebra....Pages 209-224
Type Checking by Domain Analysis in Ampersand....Pages 225-240
Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV....Pages 241-256
Investigating and Computing Bipartitions with Algebraic Means....Pages 257-274
Tool-Based Verification of a Relational Vertex Coloring Program....Pages 275-292
Front Matter....Pages 293-293
L-Fuzzy Databases in Arrow Categories....Pages 295-311
Text Categorization Using Hyper Rectangular Keyword Extraction: Application to News Articles Classification....Pages 312-325
Solving a Tropical Optimization Problem via Matrix Sparsification....Pages 326-343
Front Matter....Pages 293-293
Towards Antichain Algebra....Pages 344-361
Decomposition of Database Preferences on the Power Set of the Domain....Pages 362-379
Roughness by Residuals....Pages 380-394
Back Matter....Pages -
