دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
دانلود کتاب جنبه های نظری محاسبات - ICTAC 2008: پنجمین نمایشگاه بین المللی ، استانبول ، ترکیه ، 1 تا 3 سپتامبر 2008. مجموعه مقالات
مشخصات کتاب
Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
دسته بندی: سازمان و پردازش داده ها ویرایش: 1 نویسندگان: J. -R. Abrial, Thai Son Hoang (auth.), John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun (eds.) سری: Lecture Notes in Computer Science 5160 ISBN (شابک) : 3540857613, 9783540857617 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 465 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 36,000
کلمات کلیدی مربوط به کتاب جنبه های نظری محاسبات - ICTAC 2008: پنجمین نمایشگاه بین المللی ، استانبول ، ترکیه ، 1 تا 3 سپتامبر 2008. مجموعه مقالات: محاسبات با دستگاه های انتزاعی، نظریه محاسبات، تحلیل الگوریتم و پیچیدگی مسئله، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، دستکاری نمادین و جبری
در صورت تبدیل فایل کتاب Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های نظری محاسبات - ICTAC 2008: پنجمین نمایشگاه بین المللی ، استانبول ، ترکیه ، 1 تا 3 سپتامبر 2008. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های نظری محاسبات - ICTAC 2008: پنجمین نمایشگاه بین المللی ، استانبول ، ترکیه ، 1 تا 3 سپتامبر 2008. مجموعه مقالات
این کتاب مجموعه مقالات داوری پنجمین کنفرانس بین‌المللی جنبه‌های نظری محاسبات، ICTAC 2008 است که در استانبول، ترکیه در سپتامبر 2008 برگزار شد.
27 مقاله کامل اصلاح‌شده با دقت بررسی شدند و از بین بیش از 70 ارسال انتخاب شده است. هدف از این گردهمایی گرد هم آوردن متخصصان و محققان از دانشگاه‌ها، صنعت و دولت برای ارائه نتایج تحقیقات و تبادل تجربه، ایده‌ها و راه‌حل‌های مشکلاتشان در جنبه‌های نظری محاسبات مانند نظریه خودکار و زبان‌های رسمی، اصول و معناشناسی است. زبان‌های برنامه‌نویسی، معماری‌های نرم‌افزار و زبان‌های توصیف آنها، مشخصات نرم‌افزار، اصلاح و تأیید، بررسی مدل و اثبات قضیه، سیستم‌های بلادرنگ، تعبیه‌شده و ترکیبی، تئوری محاسبات موازی، توزیع‌شده و مبتنی بر اینترنت (شبکه)، شبیه‌سازی و مدل سازی و توسعه سرویس گرا.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008 held in Istanbul, Turkey in September 2008.
The 27 revised full papers were carefully reviewed and selected from over 70 submissions. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing such as automata theory and formal languages, principles and semantics of programming languages, software architectures and their description languages, software specification, refinement, and verification, model checking and theorem proving, real-time, embedded and hybrid systems, theory of parallel, distributed, and internet-based (grid) computing, simulation and modeling, and service-oriented development.
فهرست مطالب
Front Matter....Pages -
Using Design Patterns in Formal Methods: An Event-B Approach....Pages 1-2
A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules....Pages 3-22
The Three Platonic Models of Divergence-Strict CSP....Pages 23-49
Monotonic Abstraction in Action....Pages 50-65
Non-interleaving Semantics with Causality for Nondeterministic Dataflow....Pages 66-80
Symbolic Reachability for Process Algebras with Recursive Data Types....Pages 81-95
Inclusion Test Algorithms for One-Unambiguous Regular Expressions....Pages 96-110
Refinement of Kripke Models for Dynamics....Pages 111-125
Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers....Pages 126-140
A Theory of Pointers for the UTP....Pages 141-155
Recasting Constraint Automata into Büchi Automata....Pages 156-170
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables....Pages 171-185
Towards Efficient Verification of Systems with Dynamic Process Creation....Pages 186-200
An Observational Model for Transactional Calculus of Services Orchestration....Pages 201-215
Everything Is PSPACE-Complete in Interaction Systems....Pages 216-227
A New Approach for the Construction of Multiway Decision Graphs....Pages 228-242
Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs....Pages 243-257
Guided Test Generation from CSP Models....Pages 258-273
Relaxing Goodness Is Still Good....Pages 274-289
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time....Pages 290-304
Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems....Pages 305-318
Testing Concurrent Objects with Application-Specific Schedulers....Pages 319-333
A Theory of Bounded Fair Scheduling....Pages 334-348
Fair Exchange Is Incomparable to Consensus....Pages 349-363
Automatic Generation of CSP || B Skeletons from xUML Models....Pages 364-379
Bounded Model Checking for Partial Kripke Structures....Pages 380-394
Verification of Linear Duration Invariants by Model Checking CTL Properties....Pages 395-409
Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks....Pages 410-424
Endomorphisms for Non-trivial Non-linear Loop Invariant Generation....Pages 425-439
Instantiation for Parameterised Boolean Equation Systems....Pages 440-454
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Methods of Microarray Data Analysis IV
دانلود کتاب Oracle Database 11g SQL
دانلود کتاب Geometric Level Set Methods in Imaging, Vision, and Graphics
دانلود کتاب Innovative Applications in Data Mining
دانلود کتاب Recursive block coding for image data compression
دانلود کتاب New Frontiers in Applied Data Mining: PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008. Revised Selected Papers
دانلود کتاب Oracle Database 2 Day DBA, 10g Release 2 (10.2) B14196-02
دانلود کتاب Building and Maintaining a Data Warehouse
دانلود کتاب Database Systems The Complete Book
