دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: الگوریتم ها و ساختارهای داده ویرایش: 1 نویسندگان: Frank Drewes (auth.), Werner Kuich, George Rahonis (eds.) سری: Lecture Notes in Computer Science 7020 ISBN (شابک) : 3642248969, 9783642248962 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 372 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
کلمات کلیدی مربوط به کتاب مبانی جبری در علوم رایانه: مقالاتی که به مناسبت بازنشستگی وی به سیمون بوزاپالدیس اختصاص داده شده است: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، زبان های برنامه نویسی، کامپایلرها، مترجمان، دستکاری نمادین و جبری، مهندسی نرم افزار
در صورت تبدیل فایل کتاب 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 -