دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theoretical Aspects of Computing – ICTAC 2012: 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings
دانلود کتاب جنبه های نظری محاسبات - ICTAC 2012: نهمین کنفرانس بین المللی، بنگلور، هند، 24-27 سپتامبر 2012. مجموعه مقالات
مشخصات کتاب
Theoretical Aspects of Computing – ICTAC 2012: 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings
ویرایش: 1 نویسندگان: S. Akshay, Blaise Genest, Loïc Hélouët (auth.), Abhik Roychoudhury, Meenakshi D’Souza (eds.) سری: Lecture Notes in Computer Science 7521 ISBN (شابک) : 9783642329425, 9783642329432 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 268 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 44,000
کلمات کلیدی مربوط به کتاب جنبه های نظری محاسبات - ICTAC 2012: نهمین کنفرانس بین المللی، بنگلور، هند، 24-27 سپتامبر 2012. مجموعه مقالات: منطق و معانی برنامه ها، محاسبات توسط دستگاه های انتزاعی، منطق ریاضی و زبان های رسمی، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلر، مترجمان، نظریه محاسبات
در صورت تبدیل فایل کتاب Theoretical Aspects of Computing – ICTAC 2012: 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های نظری محاسبات - ICTAC 2012: نهمین کنفرانس بین المللی، بنگلور، هند، 24-27 سپتامبر 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های نظری محاسبات - ICTAC 2012: نهمین کنفرانس بین المللی، بنگلور، هند، 24-27 سپتامبر 2012. مجموعه مقالات
این کتاب مجموعه مقالات داوری نهمین کنفرانس بین‌المللی جنبه‌های نظری محاسبات، ICTAC 2012 است که در بنگلور، هند، در سپتامبر 2012 برگزار شد. از بین 73 ارسال انتخاب شده است. این مقالات موضوعات مختلفی را در رابطه با جنبه های نظری محاسبات و بهره برداری از نظریه از طریق روش ها و ابزارهای توسعه سیستم پوشش می دهند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012. The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 73 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 -
Symbolically Bounding the Drift in Time-Constrained MSC Graphs....Pages 1-15
A Compositional Hierarchical Monitoring Automaton Construction for LTL....Pages 16-29
How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata....Pages 30-45
Correctness of Object Oriented Models by Extended Type Inference....Pages 46-60
Non-termination Sets of Simple Linear Loops....Pages 61-73
Definite Expression Aliasing Analysis for Java Bytecode....Pages 74-89
Using Semantics Specified in Maude to Generate Test Cases....Pages 90-104
A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation....Pages 105-119
Modal Process Rewrite Systems....Pages 120-135
S-Narrowing for Constructor Systems....Pages 136-150
Data Privacy Using MASKETEER TM ....Pages 151-158
A Conformance Checker Tool CSPConCheck....Pages 159-163
SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage....Pages 164-167
Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols....Pages 168-182
Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling....Pages 183-197
A Cure for Stuttering Parity Games....Pages 198-212
Ensuring Reachability by Design....Pages 213-227
Approximate Verification and Enumeration Problems....Pages 228-242
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems....Pages 243-258
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Value Chain Development for Decent Work: A Guide for Development Practitioners, Government and Private Sector Initiatives
دانلود کتاب Archery fundamentals
دانلود کتاب The Science of Passionate Interests: An Introduction to Gabriel Tarde's Economic Anthropology
دانلود کتاب Arte y composición : el problema de la forma en el arte y la arquitectura
