ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Algebraic Informatics: Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

دانلود کتاب انفورماتیک جبری: دومین کنفرانس بین المللی، CAI 2007، تسالونیکی، یونان، 21-25 می 2007، مقالات منتخب و دعوت شده اصلاح شده

Algebraic Informatics: Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

مشخصات کتاب

Algebraic Informatics: Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 4728 : Theoretical Computer Science and General Issues 
ISBN (شابک) : 354075413X, 9783540754138 
ناشر: Springer Berlin Heidelberg 
سال نشر: 2007 
تعداد صفحات: 298 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 15 مگابایت

قیمت کتاب (تومان) : 49,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 12


در صورت تبدیل فایل کتاب Algebraic Informatics: Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب انفورماتیک جبری: دومین کنفرانس بین المللی، CAI 2007، تسالونیکی، یونان، 21-25 می 2007، مقالات منتخب و دعوت شده اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب انفورماتیک جبری: دومین کنفرانس بین المللی، CAI 2007، تسالونیکی، یونان، 21-25 می 2007، مقالات منتخب و دعوت شده اصلاح شده



این کتاب مجموعه مقالات داوری دومین کنفرانس بین المللی انفورماتیک جبری، CAI 2007، در تسالونیکی، یونان، در ماه مه 2007 است.

10 مقاله کامل اصلاح شده ارائه شده همراه با نه مقاله دعوت شده ارائه شده است. به دقت بررسی و از بین 29 مورد ارسالی انتخاب شد. این مقالات موضوعاتی مانند معناشناسی جبری در نمودارها و درختان، سری‌های قدرت رسمی، اشیاء نحوی، پردازش تصویر جبری، محاسبات بی‌نهایت، گیرنده‌ها و مبدل‌ها برای رشته‌ها، درختان، نمودارها، آرایه‌ها و غیره و مسائل تصمیم‌گیری را پوشش می‌دهند.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the Second International Conference on Algebraic Informatics, CAI 2007, held in Thessaloniki, Greece, in May 2007.

The 10 revised full papers presented together with nine invited papers were carefully reviewed and selected from 29 submissions. The papers cover topics such as algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, infinite computation, acceptors and transducers for strings, trees, graphs, arrays, etc., and decision problems.



فهرست مطالب


Content: 
Front Matter....Pages -
On Generalizations of Weighted Finite Automata and Graphics Applications....Pages 1-22
Sturmian and Episturmian Words....Pages 23-47
From Tree-Based Generators to Delegation Networks....Pages 48-72
Bifinite Chu Spaces....Pages 73-74
Tiling Recognizable Two-Dimensional Languages....Pages 75-86
Algebraic Methods in Quantum Informatics....Pages 87-111
Recognizable vs. Regular Picture Languages....Pages 112-121
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems....Pages 122-146
Deterministic Two-Dimensional Languages over One-Letter Alphabet....Pages 147-159
Recognizable Picture Languages and Polyominoes....Pages 160-171
An Algebra for Tree-Based Music Generation....Pages 172-188
Aperiodicity in Tree Automata....Pages 189-207
The Syntactic Complexity of Eulerian Graphs....Pages 208-217
Learning Deterministically Recognizable Tree Series — Revisited....Pages 218-235
The Second Eigenvalue of Random Walks On Symmetric Random Intersection Graphs....Pages 236-246
Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques....Pages 247-259
Nonassociativity � la Kleene....Pages 260-274
Restarting Tree Automata and Linear Context-Free Tree Languages....Pages 275-289
Back Matter....Pages -




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی