ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Algebraic Foundations in Computer Science: Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

دانلود کتاب مبانی جبری در علوم رایانه: مقالاتی که به مناسبت بازنشستگی وی به سیمون بوزاپالدیس اختصاص داده شده است

Algebraic Foundations in Computer Science: Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

مشخصات کتاب

Algebraic Foundations in Computer Science: Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

دسته بندی: الگوریتم ها و ساختارهای داده
ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 7020 
ISBN (شابک) : 3642248969, 9783642248962 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2011 
تعداد صفحات: 372 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

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



کلمات کلیدی مربوط به کتاب مبانی جبری در علوم رایانه: مقالاتی که به مناسبت بازنشستگی وی به سیمون بوزاپالدیس اختصاص داده شده است: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، زبان های برنامه نویسی، کامپایلرها، مترجمان، دستکاری نمادین و جبری، مهندسی نرم افزار



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

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


در صورت تبدیل فایل کتاب Algebraic Foundations in Computer Science: Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مبانی جبری در علوم رایانه: مقالاتی که به مناسبت بازنشستگی وی به سیمون بوزاپالدیس اختصاص داده شده است نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مبانی جبری در علوم رایانه: مقالاتی که به مناسبت بازنشستگی وی به سیمون بوزاپالدیس اختصاص داده شده است



این جلد Festschrift به افتخار سیمئون بوزاپالیدیس به مناسبت بازنشستگی وی پس از بیش از 35 سال تدریس منتشر شده است. موضوعات تحت پوشش عبارتند از: اتوماتای ​​وزن دار بر روی کلمات و درختان، مبدل های درختی، اتوماتای ​​کوانتومی، نمودارها، تصاویر و انواع نیمه گروه ها.

از سال 1982 -- در دانشگاه ارسطو تسالونیکی -- علایق اصلی سیمئون ارتباط نزدیکی با مبانی جبری در علوم کامپیوتر داشته است. او به طور خاص به توسعه نظریه زبان‌ها و سری‌های درختی، بدیهی‌سازی نمودارها، نظریه تصویر و زبان‌های فازی کمک کرد.

این جلد که بر علایق پژوهشی سیمئون تمرکز دارد، شامل 15 مقاله است. مقالات دعوت شده توسط همکاران، دوستان و دانش آموزان خود را به طور کامل داوری کرد. بیشتر مقالات در کارگاه آموزشی مبانی جبری در علوم کامپیوتر، که در سالونیک، یونان، در 7-8 نوامبر 2011 برگزار شد، ارائه شد.


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

This Festschrift volume is published in honor of Symeon Bozapalidis on the occasion of his retirement after more than 35 years of teaching. The topics covered are: weighted automata over words and trees, tree transducers, quantum automata, graphs, pictures and varieties of semigroups.

Since 1982 -- at the Aristotle University of Thessaloniki -- Symeon's main interests have been closely connected with the algebraic foundations in computer science. In particular, he contributed to the development of the theory of tree languages and series, the axiomatization of graphs, picture theory, and fuzzy languages.

The volume, which focuses on the research interests of Symeon, contains 15 thoroughly refereed invited papers, written by his colleagues, friends, and students. Most of the papers were presented at the Workshop on Algebraic Foundations in Computer Science, held in Thessaloniki, Greece, during November 7--8, 2011.



فهرست مطالب

Front Matter....Pages -
Selected Decision Problems for Square-Refinement Collage Grammars....Pages 1-29
Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics....Pages 30-55
Partial Conway and Iteration Semiring-Semimodule Pairs....Pages 56-71
Kleene Theorem in Partial Conway Theories with Applications....Pages 72-93
Rational Transformations and a Kleene Theorem for Power Series over Rational Monoids....Pages 94-111
Equational Weighted Tree Transformations with Discounting....Pages 112-145
Quantum Automata Theory – A Review....Pages 146-167
Graph Automata: The Algebraic Properties of Abelian Relational Graphoids....Pages 168-182
A Survey on Picture-Walking Automata....Pages 183-213
Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups....Pages 214-227
Algebraic Systems and Pushdown Automata....Pages 228-256
Where Automatic Structures Benefit from Weighted Automata....Pages 257-271
Survey: Weighted Extended Top-Down Tree Transducers Part III — Composition....Pages 272-308
Valuations of Weighted Automata: Doing It in a Rational Way....Pages 309-346
Selected Combinatorial Properties of Random Intersection Graphs....Pages 347-362
Back Matter....Pages -




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