مشخصات کتاب

Relational and Algebraic Methods in Computer Science: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

ویرایش: 1 
نویسندگان: Peter Höfner,  Damien Pous,  Georg Struth (eds.)  
سری: Lecture Notes in Computer Science 10226 
ISBN (شابک) : 9783319574189, 9783319574172 
ناشر: Springer International Publishing 
سال نشر: 2017 
تعداد صفحات: 335 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

کلمات کلیدی مربوط به کتاب روش های رابطه ای و جبری در علوم کامپیوتر: شانزدهمین کنفرانس بین المللی، RAMiCS 2017، لیون، فرانسه، 15-18 می 2017، مجموعه مقالات: منطق ریاضی و زبان های رسمی، دستکاری نمادین و جبری، منطق و معانی برنامه ها، مهندسی نرم افزار، هوش مصنوعی (شامل رباتیک)، ریاضیات گسسته در علوم کامپیوتر

در صورت تبدیل فایل کتاب Relational and Algebraic Methods in Computer Science: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش های رابطه ای و جبری در علوم کامپیوتر: شانزدهمین کنفرانس بین المللی، RAMiCS 2017، لیون، فرانسه، 15-18 می 2017، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب روش های رابطه ای و جبری در علوم کامپیوتر: شانزدهمین کنفرانس بین المللی، RAMiCS 2017، لیون، فرانسه، 15-18 می 2017، مجموعه مقالات

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

Front Matter....Pages I-XIV
Front Matter....Pages 1-1
Dual Space of a Lattice as the Completion of a Pervin Space....Pages 24-40
Front Matter....Pages 41-41
Relations as Images....Pages 43-59
Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces....Pages 60-76
Varieties of Cubical Sets....Pages 77-92
Non-associative Kleene Algebra and Temporal Logics....Pages 93-108
Algebraic Investigation of Connected Components....Pages 109-126
Stone Relation Algebras....Pages 127-143
Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras....Pages 144-158
Parsing and Printing of and with Triples....Pages 159-176
Software Development in Relation Algebra with Ampersand....Pages 177-192
Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras....Pages 193-208
Aggregation of Votes with Multiple Positions on Each Issue....Pages 209-225
Complete Solution of an Optimization Problem in Tropical Semifield....Pages 226-241
Concurrency-Preserving Minimal Process Representation....Pages 242-257
Embeddability into Relational Lattices Is Undecidable....Pages 258-273
Tower Induction and Up-to Techniques for CCS with Fixed Points....Pages 274-289
Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants....Pages 290-306
Type-n Arrow Categories....Pages 307-322
Back Matter....Pages 323-323

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Subsea Pipelines and Risers (Ocean Engineering)

دانلود کتاب Garden of Dreams: The Life of Simone Signoret

دانلود کتاب L’esprit est son propre médecin : le pouvoir de guérison de la méditation

دانلود کتاب Neural Information Processing: 16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part II

دانلود کتاب Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings