دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
دانلود کتاب مفاهیم نظری محاسبات - ICTAC 2013: 10th International Colloquium، Shanghai، China، 4-6 سپتامبر 2013. مقالات
مشخصات کتاب
Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
ویرایش: 1 نویسندگان: Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.) سری: Lecture Notes in Computer Science 8049 ISBN (شابک) : 9783642397172, 9783642397189 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 455 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب مفاهیم نظری محاسبات - ICTAC 2013: 10th International Colloquium، Shanghai، China، 4-6 سپتامبر 2013. مقالات: منطق و معانی برنامه ها، مهندسی نرم افزار، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مفاهیم نظری محاسبات - ICTAC 2013: 10th International Colloquium، Shanghai، China، 4-6 سپتامبر 2013. مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مفاهیم نظری محاسبات - ICTAC 2013: 10th International Colloquium، Shanghai، China، 4-6 سپتامبر 2013. مقالات
این کتاب شامل مجموعه مقالات داوری دهمین کنفرانس بین‌المللی جنبه‌های نظری محاسبات، ICTAC 2013 است که در ماکائو، چین، در سپتامبر 2013 برگزار شد. ارسالی ها این مقالات موضوعات مختلفی را در رابطه با جنبه های نظری محاسبات و بهره برداری از نظریه از طریق روش ها و ابزارهای توسعه سیستم پوشش می دهند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The 22 revised full papers presented together with three keynote talks were carefully reviewed and selected from 64 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
فهرست مطالب
Front Matter....Pages -
Stochastic Pi-calculus Revisited....Pages 1-21
A Clock-Based Framework for Construction of Hybrid Systems....Pages 22-41
Advances in Quantitative Verification for Ubiquitous Computing....Pages 42-58
Mobile Membranes: Computability and Complexity....Pages 59-75
Cruise Control in Hybrid Event-B....Pages 76-93
From Distributions to Probabilistic Reactive Programs....Pages 94-111
hol-TestGen/fw ....Pages 112-121
Random Walks on Some Basic Classes of Digraphs....Pages 122-140
A Probabilistic Logic for pTiMo....Pages 141-158
An Interface Model of Software Components....Pages 159-176
A High-Level Semantics for Program Execution under Total Store Order Memory....Pages 177-194
Preemptive Type Checking in Dynamically Typed Languages....Pages 195-212
On Refinements of Boolean and Parametric Modal Transition Systems....Pages 213-230
Proof Theory of a Multi-Lane Spatial Logic....Pages 231-248
Counterexample-Preserving Reduction for Symbolic Model Checking....Pages 249-266
A Transformation from p- π to MSVL....Pages 267-281
On Slicing of Programs with Input Statements....Pages 282-300
Deterministic Logics for UL ....Pages 301-318
Finitary Fairness in Action Systems....Pages 319-336
Spatio-temporal Hybrid Automata for Cyber-Physical Systems....Pages 337-354
Embedding Functions into Disjunctive Logic Programs....Pages 355-372
Reactive Designs of Interrupts in Circus Time ....Pages 373-390
A Proof System in PADS....Pages 391-408
Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures....Pages 409-426
Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration....Pages 427-444
Back Matter....Pages -
