دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Implementation and Application of Automata: 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers
دانلود کتاب پیاده سازی و کاربرد Automata: دوازدهمین کنفرانس بین المللی، CIAA 2007، پراک، جمهوری چک، 16-18 جولای، 2007، مقالات منتخب اصلاح شده
مشخصات کتاب
Implementation and Application of Automata: 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers
ویرایش: [1 ed.] نویسندگان: Gheorghe Păun (auth.), Jan Holub, Jan Žďárek (eds.) سری: Lecture Notes in Computer Science 4783 : Theoretical Computer Science and General Issues ISBN (شابک) : 354076335X, 9783540763352 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2007 تعداد صفحات: 326 [333] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 30,000
در صورت تبدیل فایل کتاب Implementation and Application of Automata: 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیاده سازی و کاربرد Automata: دوازدهمین کنفرانس بین المللی، CIAA 2007، پراک، جمهوری چک، 16-18 جولای، 2007، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیاده سازی و کاربرد Automata: دوازدهمین کنفرانس بین المللی، CIAA 2007، پراک، جمهوری چک، 16-18 جولای، 2007، مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از داوری کامل دوازدهمین کنفرانس بین المللی پیاده سازی و کاربرد اتوماتا، CIAA 2007 است. 23 مقاله کامل اصلاح شده و هفت مقاله پوستر اصلاح شده ارائه شده همراه با چکیده های توسعه یافته از چهار سخنرانی دعوت شده با دقت بررسی شده و رفته اند از طریق دو دور بررسی این مقالات موضوعات مختلفی در تئوری، پیاده سازی و کاربردهای اتومات و ساختارهای مرتبط را پوشش می دهد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings of the 12th International Conference on Implementation and Application of Automata, CIAA 2007. The 23 revised full papers and seven revised poster papers presented together with the extended abstracts of four invited lectures were carefully reviewed and have gone through two rounds of reviewing. The papers cover various topics in the theory, implementation, and applications of automata and related structures.
فهرست مطالب
Front Matter....Pages -
Spiking Neural P Systems Used as Acceptors and Transducers....Pages 1-4
Linear-Time Model Checking: Automata Theory in Practice....Pages 5-10
OpenFst: A General and Efficient Weighted Finite-State Transducer Library....Pages 11-23
Automata Applications in Chip-Design Software....Pages 24-26
Synchronizing Automata Preserving a Chain of Partial Orders....Pages 27-37
Reducing Acyclic Cover Transducers....Pages 38-50
On-the-Fly Stuttering in the Construction of Deterministic ω -Automata....Pages 51-61
Average Value and Variance of Pattern Statistics in Rational Models....Pages 62-72
Weighted Automata and Weighted Logics with Discounting....Pages 73-84
Regulated Nondeterminism in Pushdown Automata....Pages 85-96
Deterministic Caterpillar Expressions....Pages 97-108
Backward and Forward Bisimulation Minimisation of Tree Automata....Pages 109-121
An Implementation of Deterministic Tree Automata Minimization....Pages 122-129
Accelerating Boyer Moore Searches on Binary Texts....Pages 130-143
On the Suffix Automaton with Mismatches....Pages 144-156
On String Matching in Chunked Texts....Pages 157-167
Factor Automata of Automata and Applications....Pages 168-179
Subset Seed Automaton....Pages 180-191
A Measure for the Degree of Nondeterminism of Context-Free Languages....Pages 192-202
Efficient Computation of Throughput Values of Context-Free Languages....Pages 203-213
Analyzing Ambiguity of Context-Free Grammars....Pages 214-225
Efficient Enumeration of Regular Languages....Pages 226-242
Multi-grain Relations....Pages 243-252
Memory Reduction for Strategies in Infinite Games....Pages 253-264
Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms....Pages 265-276
Finite State Automata Representing Two-Dimensional Subshifts....Pages 277-289
Tiling Automaton: A Computational Model for Recognizable Two-Dimensional Languages....Pages 290-302
REGAL : A Library to Randomly and Exhaustively Generate Automata....Pages 303-305
A Finite-State Super-Chunker....Pages 306-308
The Constrained Longest Common Subsequence Problem for Degenerate Strings....Pages 309-311
Finite Automata Accepting Star-Connected Languages....Pages 312-313
Efficiently Matching with Local Grammars Using Prefix Overlay Transducers....Pages 314-316
Significant Subpatterns Matching....Pages 317-319
A New Method for Compiling Parallel Replacement Rules....Pages 320-321
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Physics of Precipitation: Proceedings of the Cloud Physics Conference, Woods Hole, Massachusetts, June 3-5, 1959
دانلود کتاب Vrednosti samoizražavanja u Srbiji: u potrazi za demokratskom političkom kulturom
دانلود کتاب Diseases of the Aorta
