دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings
دانلود کتاب جنبه های نظری محاسبات - ICTAC 2020: هفدهمین کنفرانس بین المللی، ماکائو، چین، 30 نوامبر - 4 دسامبر 2020، مجموعه مقالات
مشخصات کتاب
Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings
ویرایش: 1st ed. نویسندگان: Violet Ka I Pun, Volker Stolz, Adenilso Simao سری: Lecture Notes in Computer Science 12545 ISBN (شابک) : 9783030642754, 9783030642761 ناشر: Springer International Publishing;Springer سال نشر: 2020 تعداد صفحات: 327 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 45,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب جنبه های نظری محاسبات - ICTAC 2020: هفدهمین کنفرانس بین المللی، ماکائو، چین، 30 نوامبر - 4 دسامبر 2020، مجموعه مقالات: علوم کامپیوتر، منطق و معانی برنامه‌ها، ساختارهای کنترلی و ریزبرنامه‌نویسی، سیستم‌های هدف خاص و مبتنی بر کاربرد، مهندسی نرم‌افزار/برنامه‌نویسی و سیستم‌های عامل
در صورت تبدیل فایل کتاب Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های نظری محاسبات - ICTAC 2020: هفدهمین کنفرانس بین المللی، ماکائو، چین، 30 نوامبر - 4 دسامبر 2020، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter ....Pages i-xvi
Front Matter ....Pages 1-1
A Flight Rule Checker for the LADEE Lunar Spacecraft (Elif Kurklu, Klaus Havelund)....Pages 3-20
Front Matter ....Pages 21-21
Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading (Arve Gengelbach, Tjark Weber)....Pages 23-42
A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages (Frits Vaandrager, Abhisek Midya)....Pages 43-63
CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications (Adrián Riesco, Kazuhiro Ogata)....Pages 64-82
Statistical Analysis of Non-deterministic Fork-Join Processes (Antoine Genitrini, Martin Pépin, Frédéric Peschanski)....Pages 83-102
On Two Characterizations of Feature Models (Ferruccio Damiani, Michael Lienhardt, Luca Paolini)....Pages 103-122
The Complexity of Boolean State Separation (Ronny Tredup, Evgeny Erofeev)....Pages 123-142
Occupancy Number Restricted Boolean Petri Net Synthesis: A Fixed-Parameter Algorithm (Evgeny Erofeev, Ronny Tredup)....Pages 143-160
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages (Dino Mandrioli, Matteo Pradella, Stefano Crespi Reghizzi)....Pages 161-180
Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms (Mohsen Safari, Marieke Huisman)....Pages 181-199
Compositionality of Safe Communication in Systems of Team Automata (Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn)....Pages 200-220
Analysis of Bayesian Networks via Prob-Solvable Loops (Ezio Bartocci, Laura Kovács, Miroslav Stankovič)....Pages 221-241
Semantics of a Relational \\(\\lambda \\)-Calculus (Pablo Barenbaum, Federico Lochbaum, Mariana Milicich)....Pages 242-261
Implementing Hybrid Semantics: From Functional to Imperative (Sergey Goncharov, Renato Neves, José Proença)....Pages 262-282
Implementation Correctness for Replicated Data Types, Categorically (Fabio Gadducci, Hernán Melgratti, Christian Roldán, Matteo Sammartino)....Pages 283-303
Front Matter ....Pages 305-305
Qsimulation V2.0: An Optimized Quantum Simulator (Hua Wu, Yuxin Deng, Ming Xu, Wenjie Du)....Pages 307-316
Back Matter ....Pages 317-317
