دانلود کتاب انفورماتیک جبری: سومین کنفرانس بین المللی، CAI 2009، تسالونیکی، یونان، 19-22 مه، 2009، مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
نام کتاب : Algebraic Informatics: Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : انفورماتیک جبری: سومین کنفرانس بین المللی، CAI 2009، تسالونیکی، یونان، 19-22 مه، 2009، مجموعه مقالات
سری : Lecture Notes in Computer Science 5725 : Theoretical Computer Science and General Issues
نویسندگان : Stephen L. Bloom, Zoltan Ésik, Werner Kuich (auth.), Symeon Bozapalidis, George Rahonis (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2009
تعداد صفحات : 370
ISBN (شابک) : 9783642035647 , 3642035647
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
این کتاب مجموعه مقالات داوری سومین کنفرانس بین المللی انفورماتیک جبری، 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.