دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theoretical aspects of computing -- ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
دانلود کتاب جنبه های نظری محاسبات -- ICTAC 2017: چهاردهمین کنفرانس بین المللی، هانوی، ویتنام، 23-27 اکتبر 2017، مجموعه مقالات
مشخصات کتاب
Theoretical aspects of computing -- ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
ویرایش: نویسندگان: Dang. Hung Van, Kapur. Deepak سری: Lecture notes in computer science 10580.; LNCS sublibrary. SL 1, Theoretical computer science and general issues ISBN (شابک) : 9783319677293, 9783319677286 ناشر: Springer سال نشر: 2017 تعداد صفحات: 317 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 35,000
کلمات کلیدی مربوط به کتاب جنبه های نظری محاسبات -- ICTAC 2017: چهاردهمین کنفرانس بین المللی، هانوی، ویتنام، 23-27 اکتبر 2017، مجموعه مقالات: منطق کامپیوتر -- کنگره ها، علوم کامپیوتر -- ریاضیات -- کنگره ها
در صورت تبدیل فایل کتاب Theoretical aspects of computing -- ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های نظری محاسبات -- ICTAC 2017: چهاردهمین کنفرانس بین المللی، هانوی، ویتنام، 23-27 اکتبر 2017، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های نظری محاسبات -- ICTAC 2017: چهاردهمین کنفرانس بین المللی، هانوی، ویتنام، 23-27 اکتبر 2017، مجموعه مقالات
این کتاب مجموعه مقالات داوری چهاردهمین کنفرانس بین‌المللی جنبه‌های نظری محاسبات، ICTAC 2017، برگزار شده در هانوی، ویتنام، در اکتبر 2017 است. و از بین 40 مورد ارسالی انتخاب شد. مقالات در بخش های موضوعی در زمینه منطق سازماندهی شده اند. اجزای نرم افزاری و همزمانی؛ خودکار؛ حل کننده ها و الگوریتم های SMT. و امنیت.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.
The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.
فهرست مطالب
Front Matter ....Pages I-XX
Front Matter ....Pages 1-1
A Formal Proof Generator from Semi-formal Proof Documents (Adrián Riesco, Kazuhiro Ogata)....Pages 3-12
Institutions for Behavioural Dynamic Logic with Binders (Rolf Hennicker, Alexandre Madeira)....Pages 13-31
The Delay Monad and Restriction Categories (Tarmo Uustalu, Niccolò Veltri)....Pages 32-50
Logical Characterisation of Parameterised Bisimulations (Divyanshu Bagga, S. Arun Kumar)....Pages 51-69
A Probabilistic Semantics for the Pure \\(\\lambda \\)-Calculus (Alessandra Di Pierro)....Pages 70-76
Front Matter ....Pages 77-77
Towards a Calculus for Dynamic Architectures (Diego Marmsoler)....Pages 79-99
Class-Diagrams for Abstract Data Types (Thai Son Hoang, Colin Snook, Dana Dghaym, Michael Butler)....Pages 100-117
Value-Based or Conflict-Based? Opacity Definitions for STMs (Jürgen König, Heike Wehrheim)....Pages 118-135
Smaller-State Implementations of 2D FSSP Algorithms (Hiroshi Umeo, Keisuke Kubo, Akira Nomura)....Pages 136-152
Front Matter ....Pages 153-153
Derived-Term Automata of Weighted Rational Expressions with Quotient Operators (Akim Demaille, Thibaud Michaud)....Pages 155-173
Polynomial Time Learner for Inferring Subclasses of Internal Contextual Grammars with Local Maximum Selectors (Abhisek Midya, D. G. Thomas, Saleem Malik, Alok Kumar Pani)....Pages 174-191
Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes (Arpit Sharma)....Pages 192-209
Front Matter ....Pages 211-211
Constructing Cycles in the Simplex Method for DPLL(T) (Bertram Felgenhauer, Aart Middeldorp)....Pages 213-228
Tableaux with Partial Caching for Hybrid PDL with Satisfaction Statements (Agathoklis Kritsimallis)....Pages 229-247
PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing (Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiří Srba)....Pages 248-265
Front Matter ....Pages 267-267
Inferring Secrets by Guided Experiments (Quoc Huy Do, Richard Bubel, Reiner Hähnle)....Pages 269-287
ECBC: A High Performance Educational Certificate Blockchain with Efficient Query (Yuqin Xu, Shangli Zhao, Lanju Kong, Yongqing Zheng, Shidong Zhang, Qingzhong Li)....Pages 288-304
Back Matter ....Pages 305-305
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Planets and Children
دانلود کتاب Das Türkische Reich in historisch-statistischen Schilderungen
دانلود کتاب Black Quantum Futurism, Volume II: Community Futurisms
