دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers
دانلود کتاب روشهای جبری در علوم کامپیوتر: چهاردهمین کارگاه بینالمللی IFIP WG 1.3، CMCS 2018، همزمان با ETAPS 2018، تسالونیکی، یونان، 14 تا 15 آوریل 2018، مقالات منتخب اصلاحشده
مشخصات کتاب
Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers
ویرایش: 1st ed.
نویسندگان: Corina Cîrstea
سری: Lecture Notes in Computer Science 11202
ISBN (شابک) : 9783030003883
ناشر: Springer International Publishing
سال نشر: 2018
تعداد صفحات: 244
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 64,000
کلمات کلیدی مربوط به کتاب روشهای جبری در علوم کامپیوتر: چهاردهمین کارگاه بینالمللی IFIP WG 1.3، CMCS 2018، همزمان با ETAPS 2018، تسالونیکی، یونان، 14 تا 15 آوریل 2018، مقالات منتخب اصلاحشده: علوم کامپیوتر، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای جبری در علوم کامپیوتر: چهاردهمین کارگاه بینالمللی IFIP WG 1.3، CMCS 2018، همزمان با ETAPS 2018، تسالونیکی، یونان، 14 تا 15 آوریل 2018، مقالات منتخب اصلاحشده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter ....Pages I-IX
Relating Structure and Power: Comonadic Semantics for Computational Resources (Samson Abramsky, Nihil Shah)....Pages 1-5
Coalgebraic Logics & Duality (Clemens Kupke)....Pages 6-12
Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and Cyclic Proofs (Stefano Berardi, Makoto Tatsuta)....Pages 13-33
Undecidability of Equality for Codata Types (Ulrich Berger, Anton Setzer)....Pages 34-55
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages (Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann)....Pages 56-77
Long-Term Values in Markov Decision Processes, (Co)Algebraically (Frank M. V. Feys, Helle Hvid Hansen, Lawrence S. Moss)....Pages 78-99
(In)finite Trace Equivalence of Probabilistic Transition Systems (Alexandre Goy, Jurriaan Rot)....Pages 100-121
Steps and Traces (Bart Jacobs, Paul Levy, Jurriaan Rot)....Pages 122-143
On Algebras with Effectful Iteration (Stefan Milius, Jiří Adámek, Henning Urbat)....Pages 144-166
Monoidal Computer III: A Coalgebraic View of Computability and Complexity (Extended Abstract) (Dusko Pavlovic, Muzamil Yahia)....Pages 167-189
Fibrational Bisimulations and Quantitative Reasoning (David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo)....Pages 190-213
Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors (Natsuki Urabe, Ichiro Hasuo)....Pages 214-234
Back Matter ....Pages 235-235
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Nonlinear Circuit Simulation and Modeling: Fundamentals for Microwave Design (The Cambridge RF and Microwave Engineering Series)
دانلود کتاب Reoperative Pelvic Surgery
دانلود کتاب Integrating Behavioural and Cognitive Psychology
دانلود کتاب Tumorschmerztherapie
