ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings

دانلود کتاب نتایج و روند در علوم کامپیوتر نظری: کلوكویم به افتخار آرتو سالومه گراك، اتریش، 10-11 ژوئن، 1994 مقالات

Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings

مشخصات کتاب

Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings

ویرایش: 1 
نویسندگان: , , , ,   
سری: Lecture Notes in Computer Science 812 
ISBN (شابک) : 9783540581314, 9783540484455 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1994 
تعداد صفحات: 454 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

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



کلمات کلیدی مربوط به کتاب نتایج و روند در علوم کامپیوتر نظری: کلوكویم به افتخار آرتو سالومه گراك، اتریش، 10-11 ژوئن، 1994 مقالات: محاسبات با دستگاه های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، رمزگذاری داده ها، ترکیبیات



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

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


در صورت تبدیل فایل کتاب Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نتایج و روند در علوم کامپیوتر نظری: کلوكویم به افتخار آرتو سالومه گراك، اتریش، 10-11 ژوئن، 1994 مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب نتایج و روند در علوم کامپیوتر نظری: کلوكویم به افتخار آرتو سالومه گراك، اتریش، 10-11 ژوئن، 1994 مقالات



این جلد به مناسبت تولد 60 سالگی پروفسور آرتو سالوما تقدیم شده است. 32 مقاله دعوت شده موجود در این جلد در کنفرانس جشنی که توسط Hermann Maurer در گراتس، اتریش، در ژوئن 1994 برگزار شد، ارائه شد. نویسندگان مشارکت‌کننده، دانشمندان مشهوری هستند که روابط ویژه‌ای با پروفسور Salomaa به عنوان دوستان، Ph.D. دانش آموزان یا نویسندگان مشترک این جلد طیف وسیعی از علایق تحقیقاتی پروفسور سالوما در علوم کامپیوتر نظری و ریاضیات را با مشارکت به‌ویژه در تئوری خودکار، نظریه زبان رسمی، منطق ریاضی، قابلیت محاسبه و رمزنگاری منعکس می‌کند. ضمیمه رزومه پروفسور سالوما را ارائه می دهد و بیش از 300 مقاله و 9 کتاب منتشر شده او را فهرست می کند.


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

This volume is dedicated to Professor Arto Salomaa on the occasion of his 60th birthday. The 32 invited papers contained in the volume were presented at the festive colloquium, organized by Hermann Maurer at Graz, Austria, in June 1994; the contributing authors are well-known scientists with special relations to Professor Salomaa as friends, Ph.D. students, or co-authors. The volume reflects the broad spectrum of Professor Salomaa's research interests in theoretical computer science and mathematics with contributions particularly to automata theory, formal language theory, mathematical logic, computability, and cryptography. The appendix presents Professor Salomaa's curriculum vitae and lists the more than 300 papers and 9 books he published.



فهرست مطالب

Generalizing Cook\'s transformation to imperative stack programs....Pages 1-18
A rewriting of Fife\'s theorem about overlap-free words....Pages 19-29
Reconsidering the jeep problem or how to transport a birthday present to Salosauna....Pages 30-33
Learning picture sets from examples....Pages 34-43
Randomness as an invariant for number representations....Pages 44-66
Cooperating grammars\' systems: Power and parameters....Pages 67-84
Parallel pattern generation with one-way communications....Pages 85-96
Dynamic labeled 2-structures with variable domains....Pages 97-123
Deciding the NTS property of context-free grammars....Pages 124-130
Homomorphic representations by products of tree automata....Pages 131-139
Identities and transductions....Pages 140-144
Decomposition of infinite labeled 2-structures....Pages 145-158
An iteration property of Lindenmayerian power series....Pages 159-168
Comparing descriptional and computational complexity of infinite words....Pages 169-182
On some open problems concerning the complexity of cellular arrays....Pages 183-196
Power of controlled insertion and deletion....Pages 197-212
From colonies to eco(grammar)systems....Pages 213-231
On the multiplicity equivalence problem for context-free grammars....Pages 232-250
On general solution of word equations....Pages 251-263
On (left) partial shuffle....Pages 264-278
Learning theoretical aspects is important but (Sometimes) dangerous....Pages 279-288
Bisimulation, games, and logic....Pages 289-306
Cryptographic protocols and voting....Pages 307-316
Cryptographic protocols for auctions and bargaining....Pages 317-324
On the size of components of cooperating grammar systems....Pages 325-343
An elementary algorithmic problem from an advanced standpoint....Pages 344-357
Event detection for ODES and nonrecursive hierarchies....Pages 358-371
Rediscovering pushdown machines....Pages 372-385
String matching algorithms and automata....Pages 386-395
Classifying regular languages by their syntactic algebras....Pages 396-409
On polynomial matrix equations X T =p(X) and X=p(X) Where all parameters are nonnegative....Pages 410-421
Gram\'s equation — A probabilistic proof....Pages 422-424




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