دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Implementation and Application of Automata: 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings
دانلود کتاب پیاده سازی و کاربرد ماشین آلات: 19th International Conference، CIAA 2014، Giessen، Germany، 30 ژوئیه - 2 اوت 2014. مقالات
مشخصات کتاب
Implementation and Application of Automata: 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings
ویرایش: 1
نویسندگان: Markus Holzer. Martin Kutrib (eds.)
سری: Lecture Notes in Computer Science 8587 Theoretical Computer Science and General Issues
ISBN (شابک) : 9783319088457, 9783319088464
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 356
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 42,000
کلمات کلیدی مربوط به کتاب پیاده سازی و کاربرد ماشین آلات: 19th International Conference، CIAA 2014، Giessen، Germany، 30 ژوئیه - 2 اوت 2014. مقالات: محاسبات با دستگاه‌های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، منطق ریاضی و زبان‌های رسمی، زیست‌شناسی محاسباتی/بیوانفورماتیک، ساختارهای داده، ذخیره‌سازی و بازیابی اطلاعات
در صورت تبدیل فایل کتاب Implementation and Application of Automata: 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیاده سازی و کاربرد ماشین آلات: 19th International Conference، CIAA 2014، Giessen، Germany، 30 ژوئیه - 2 اوت 2014. مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیاده سازی و کاربرد ماشین آلات: 19th International Conference، CIAA 2014، Giessen، Germany، 30 ژوئیه - 2 اوت 2014. مقالات
این کتاب مجموعه مقالات داوری نوزدهمین
کنفرانس بین المللی پیاده سازی و کاربرد اتوماتا، CIAA 2014، در
گیسن، آلمان، در ژوئیه/آگوست 2014 برگزار شد.
21 مقاله کامل اصلاح شده ارائه شده همراه با 4 مقاله دعوت شده
از بین 36 مقاله ارسالی به دقت انتخاب شدند. این مقالات تمام
جنبه های پیاده سازی، کاربرد و تئوری اتومات ها و ساختارهای
مرتبط مانند الگوریتم های روی خودکار، خودکار و منطق،
بیوانفورماتیک، پیچیدگی عملیات اتوماتا، کامپایلرها،
تأیید به کمک رایانه، همزمانی، طراحی ساختار داده برای
اتوماتها، فشرده سازی داده ها و تصویر، طراحی و معماری
نرم افزارهای خودکار، کتابخانه های دیجیتال، محاسبات
DNA/مولکولی/غشایی، مهندسی اسناد، ویرایشگرها، محیط ها، مطالعات
تجربی و تجربیات عملی، پیاده سازی روش های تایید و بررسی مدل
کاربردهای صنعتی، زبان طبیعی و پردازش گفتار، شبکه،
الگوریتم‌های جدید برای دستکاری خودکار، مدل‌سازی شی گرا، تطبیق
الگو، خودکار فشاری و گرامرهای بدون متن، محاسبات کوانتومی،
اسناد ساختاریافته و نیمه‌ساختار یافته، محیط‌های دستکاری
نمادین برای خودکارها ، مبدل ها و خودکارهای چند نواری، تکنیک
هایی برای نمایش گرافیکی خودکارها، VLSI، ویروس ها و پدیده های
مرتبط، و وب سراسری.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the
19th
International Conference on Implementation and Application of
Automata, CIAA 2014, held in Giessen, Germany, in July/August
2014.
The 21 revised full papers presented together with 4 invited
papers were carefully selected from 36 submissions. The
papers cover all aspects of implementation, application, and
theory of automata and related structures such as algorithms
on automata, automata and logic, bioinformatics, complexity
of automata operations, compilers,
computer-aided verification, concurrency, data structure
design for
automata, data and image compression, design and architecture
of
automata software, digital libraries, DNA/molecular/membrane
computing, document engineering, editors, environments,
experimental studies and practical experience, implementation
of verification methods and model checking, industrial
applications, natural language and speech processing,
networking, new algorithms for manipulating automata,
object-oriented modeling, pattern-matching, pushdown automata
and context-free grammars, quantum computing, structured and
semi-structured documents, symbolic manipulation environments
for automata, transducers and multi-tape automata, techniques
for graphical display of automata, VLSI, viruses and related
phenomena, and world-wide Web.
فهرست مطالب
Front Matter....Pages -
FP solve : A Generic Solver for Fixpoint Equations over Semirings....Pages 1-15
Restarting Automata for Picture Languages: A Survey on Recent Developments....Pages 16-41
Investigations on Automata and Languages over a Unary Alphabet....Pages 42-57
Cellular Automata for Crowd Dynamics....Pages 58-69
Counting Equivalent Linear Finite Transducers Using a Canonical Form....Pages 70-83
On the Power of One-Way Automata with Quantum and Classical States....Pages 84-97
On Comparing Deterministic Finite Automata and the Shuffle of Words....Pages 98-109
Minimal Partial Languages and Automata....Pages 110-123
Large Aperiodic Semigroups....Pages 124-135
On the Square of Regular Languages....Pages 136-147
Unary Languages Recognized by Two-Way One-Counter Automata....Pages 148-161
A Type System for Weighted Automata and Rational Expressions....Pages 162-175
Bounded Prefix-Suffix Duplication....Pages 176-187
Recognition of Labeled Multidigraphs by Spanning Tree Automata....Pages 188-199
Reset Thresholds of Automata with Two Cycle Lengths....Pages 200-210
On the Ambiguity, Finite-Valuedness, and Lossiness Problems in Acceptors and Transducers....Pages 211-225
Kleene Closure on Regular and Prefix-Free Languages....Pages 226-237
Left is Better than Right for Reducing Nondeterminism of NFAs....Pages 238-251
Analytic Functions Computable by Finite State Transducers....Pages 252-263
Partial Derivative and Position Bisimilarity Automata....Pages 264-277
The Power of Regularity-Preserving Multi Bottom-up Tree Transducers....Pages 278-289
Pushdown Machines for Weighted Context-Free Tree Translation....Pages 290-303
Weighted Variable Automata over Infinite Alphabets....Pages 304-317
Implications of Quantum Automata for Contextuality....Pages 318-331
Pairwise Rational Kernels Obtained by Automaton Operations....Pages 332-345
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب A Study of The Federal Reserve and Its Secrets
