دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Implementation and Application of Automata: 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings
دانلود کتاب پیاده سازی و کاربرد Automata: چهاردهمین کنفرانس بین المللی، CIAA 2009، سیدنی، استرالیا، 14-17 جولای، 2009. مجموعه مقالات
مشخصات کتاب
Implementation and Application of Automata: 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Gonzalo Navarro (auth.), Sebastian Maneth (eds.) سری: Lecture Notes in Computer Science 5642 : Theoretical Computer Science and General Issues ISBN (شابک) : 3642029787, 9783642029783 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 271 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 42,000
کلمات کلیدی مربوط به کتاب پیاده سازی و کاربرد Automata: چهاردهمین کنفرانس بین المللی، CIAA 2009، سیدنی، استرالیا، 14-17 جولای، 2009. مجموعه مقالات: محاسبات با دستگاه های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، عملکرد و ارزیابی سیستم، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Implementation and Application of Automata: 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیاده سازی و کاربرد Automata: چهاردهمین کنفرانس بین المللی، CIAA 2009، سیدنی، استرالیا، 14-17 جولای، 2009. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیاده سازی و کاربرد Automata: چهاردهمین کنفرانس بین المللی، CIAA 2009، سیدنی، استرالیا، 14-17 جولای، 2009. مجموعه مقالات
این کتاب شامل مقالات داوری کامل چهاردهمین کنفرانس بین المللی پیاده سازی و کاربرد اتوماتا، CIAA 2009، در سیدنی، اتریش، در ژوئیه 2009 است.
23 مقاله کامل اصلاح شده. در مجموع با 6 مقاله کوتاه از بین 42 مقاله ارسالی به دقت انتخاب شدند. این مقالات موضوعات مختلفی را در تئوری، پیاده سازی و کاربردهای خودکار و ساختارهای مرتبط پوشش می دهند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed papers of the 14th International Conference on Implementation and Application of Automata, CIAA 2009, held in Sydney, Austrialia, in July 2009.
The 23 revised full papers togehter with 6 short papers were carefully selected from 42 submissions. The papers cover various topics in the theory, implementation, and applications of automata and related structures.
فهرست مطالب
Front Matter....Pages -
Implementation and Application of Automata in String Processing....Pages 1-1
Applications of Automata in XML Processing....Pages 2-2
Program Analysis through Finite Tree Automata....Pages 3-3
An n log n Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton....Pages 4-13
On Extremal Cases of Hopcroft’s Algorithm....Pages 14-23
Compact Normal Form for Regular Languages as Xor Automata....Pages 24-33
Cellular Automata with Sparse Communication....Pages 34-43
A Cellular Automaton Model for Car Traffic with a Slow-to-Stop Rule....Pages 44-53
On Parallel Implementations of Deterministic Finite Automata....Pages 54-64
FAdo and GUItar....Pages 65-74
A Testing Framework for Finite-State Morphology....Pages 75-83
A Table Compression Method for Extended Aho-Corasick Automaton....Pages 84-93
Compact Representation for Answer Sets of n -ary Regular Queries....Pages 94-104
Recognition of a Spanning Tree of Directed Acyclic Graphs by Tree Automata....Pages 105-114
Random Generation of Deterministic Tree (Walking) Automata....Pages 115-124
Hedge Pattern Partial Derivative....Pages 125-134
TAGED Approximations for Temporal Properties Model-Checking....Pages 135-144
Verifying Parallel Programs with Dynamic Communication Structures....Pages 145-154
Fixpoint Guided Abstraction Refinement for Alternating Automata....Pages 155-164
Automata-Based Termination Proofs....Pages 165-177
Implementation of State Elimination Using Heuristics....Pages 178-187
Short Regular Expressions from Finite Automata: Empirical Results....Pages 188-197
Small Extended Expressions for Acyclic Automata....Pages 198-207
Quantum Queries on Permutations with a Promise....Pages 208-216
Time-Optimal Winning Strategies for Poset Games....Pages 217-226
Amount of Nonconstructivity in Finite Automata....Pages 227-236
Multiflex: A Multilingual Finite-State Tool for Multi-Word Units....Pages 237-240
Efficient Parsing Using Filtered-Popping Recursive Transition Networks....Pages 241-244
Forest FIRE: A Taxonomy-based Toolkit of Tree Automata and Regular Tree Algorithms....Pages 245-248
Formally Synthesising a Protocol Converter: A Case Study....Pages 249-252
Compiler Generator Based on Restarting Automata....Pages 253-257
Are Statecharts Finite Automata?....Pages 258-261
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Computer Chess
دانلود کتاب Professional Web Video: Plan, Produce, Distribute, Promote and Monetize Quality Video
دانلود کتاب Computer Aided and Integrated Manufacturing Systems: Volume 2 Intelligent Systems Technologies
دانلود کتاب 16th European Symposium on Computer Aided Process Engineering and 9th International Symposium on Process Systems Engineering
دانلود کتاب Dark mirror : Edward Snowden and the American Surveillance State
دانلود کتاب Two-Level Functional Languages
دانلود کتاب Frontiers in Computer Education
دانلود کتاب Software reliability. Principles and practices
دانلود کتاب Think Python: An Introduction to Software Design: How To Think Like A Computer Scientist
