دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Algebraic Informatics: Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
دانلود کتاب انفورماتیک جبری: سومین کنفرانس بین المللی ، CAI 2009 ، تسالونیکی ، یونان ، 19 تا 22 مه 2009 ، مجموعه مقالات
مشخصات کتاب
Algebraic Informatics: Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Stephen L. Bloom, Zoltan Ésik, Werner Kuich (auth.), Symeon Bozapalidis, George Rahonis (eds.) سری: Lecture Notes in Computer Science 5725 : Theoretical Computer Science and General Issues ISBN (شابک) : 3642035639, 9783642035630 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 369 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب انفورماتیک جبری: سومین کنفرانس بین المللی ، CAI 2009 ، تسالونیکی ، یونان ، 19 تا 22 مه 2009 ، مجموعه مقالات: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، دستکاری نمادین و جبری، مهندسی نرم افزار، ریاضیات گسسته در علوم کامپیوتر، ریاضیات محاسبات
در صورت تبدیل فایل کتاب Algebraic Informatics: Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب انفورماتیک جبری: سومین کنفرانس بین المللی ، CAI 2009 ، تسالونیکی ، یونان ، 19 تا 22 مه 2009 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب انفورماتیک جبری: سومین کنفرانس بین المللی ، CAI 2009 ، تسالونیکی ، یونان ، 19 تا 22 مه 2009 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری سومین کنفرانس بین المللی انفورماتیک جبری، CAI 2009، برگزار شده در تسالونیکی، یونان، در می 2009 است.
16 مقاله کامل با دقت بررسی و از 25 مقاله ارسالی انتخاب شدند. . این مقالات موضوعاتی مانند معناشناسی جبری در گراف و درختان، سری‌های قدرت رسمی، اشیاء نحوی، پردازش تصویر جبری، محاسبات متناهی و نامتناهی، گیرنده‌ها و مبدل‌های رشته‌ها، درختان، آرایه‌های نمودارها، و غیره مسائل تصمیم‌گیری، خصوصیات جبری تئوری‌های منطقی را پوشش می‌دهند. ، جبر فرآیند، الگوریتم های جبری، نظریه کدگذاری جبری، جنبه های جبری رمزنگاری.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Third International Conference on Algebraic Informatics, CAI 2009, held in Thessaloniki, Greece, in May 2009.
The 16 full papers were carefully reviewed and selected from 25 submissions. The papers cover topics such as algebraic semantics on graph and trees, formal power series, syntactic objects, algebraic picture processing, finite and infinite computations, acceptors and transducers for strings, trees, graphs arrays, etc. decision problems, algebraic characterization of logical theories, process algebra, algebraic algorithms, algebraic coding theory, algebraic aspects of cryptography.
فهرست مطالب
Front Matter....Pages -
Cycle-Free Finite Automata in Partial Iterative Semirings....Pages 1-12
Picture Languages: From Wang Tiles to 2D Grammars....Pages 13-46
Process Algebra: An Algebraic Theory of Concurrency....Pages 47-77
On Several Proofs of the Recognizability Theorem....Pages 78-80
Theories of Automatic Structures and Their Complexity....Pages 81-98
The Graph Programming Language GP....Pages 99-122
Canonical Reduction Systems in Symbolic Mathematics....Pages 123-135
Solving Norm Form Equations over Number Fields....Pages 136-146
A Note on Unambiguity, Finite Ambiguity and Complementation in Recognizable Two-Dimensional Languages....Pages 147-159
Context-Free Categorical Grammars....Pages 160-171
An Eilenberg Theorem for Pictures....Pages 172-188
On the Complexity of the Syntax of Tree Languages....Pages 189-203
On the Reversibility of Parallel Insertion, and Its Relation to Comma Codes....Pages 204-219
Computation of Pell Numbers of the Form pX 2 ....Pages 220-226
Iteration Grove Theories with Applications....Pages 227-249
Combinatorics of Finite Words and Suffix Automata....Pages 250-259
Polynomial Operators on Classes of Regular Languages....Pages 260-277
Self-dual Codes over Small Prime Fields from Combinatorial Designs....Pages 278-287
A Backward and a Forward Simulation for Weighted Tree Automata....Pages 288-304
Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms — Revisited....Pages 305-317
Polynomial Interpolation of the k-th Root of the Discrete Logarithm....Pages 318-323
Single-Path Restarting Tree Automata....Pages 324-341
Parallel Communicating Grammar Systems with Regular Control....Pages 342-360
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Neues mechatronisches System fur die Wiederherstellung der Akkommodationsfahigkeit des menschlichen Auges - Schriftenreihe des Instituts fur angewandte Informatik Automatisierungstechnik an der Uni Karlsruhe Band 17
دانلود کتاب Replication: Theory and Practice
دانلود کتاب Datenkompression 003
دانلود کتاب A Vast Machine: Computer Models, Climate Data, and the Politics of Global Warming
دانلود کتاب The iPad Annual
دانلود کتاب Bevezetés a geogebrába
دانلود کتاب Calculus for Computer Graphics
دانلود کتاب Moj Mikro januar 1993
دانلود کتاب Computer Security - ESORICS 2000: 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000. Proceedings
