دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
دانلود کتاب زبان ها: از رسمی به طبیعی: مقالات اختصاص داده شده به نیسی فرانسهز در مورد او 65 سالگی
مشخصات کتاب
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
ویرایش: [1 ed.] نویسندگان: Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (eds.) سری: Lecture Notes in Computer Science 5533 : Programming and Software Engineering ISBN (شابک) : 3642017479, 9783642017476 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 245 [253] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان ها: از رسمی به طبیعی: مقالات اختصاص داده شده به نیسی فرانسهز در مورد او 65 سالگی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان ها: از رسمی به طبیعی: مقالات اختصاص داده شده به نیسی فرانسهز در مورد او 65 سالگی
این مجلد Festschrift که به افتخار نیسیم فرانسیس به مناسبت تولد 65 سالگی او منتشر شد، حاوی 15 مقاله است که توسط دوستان و همکارانی نوشته شده است، که بسیاری از آنها در یک سمپوزیوم جشنی که در 24 تا 25 می 2009 برگزار شد، گرد هم آمدند. ، در حیفا، اسرائیل.
موضوع سمپوزیوم زبان‌ها: از رسمی تا طبیعی بود که نشان‌دهنده تمرکز فعالیت تحقیقاتی نیسیم فرانسیس بود که در راستی‌آزمایی برنامه و معناشناسی زبان‌های برنامه‌نویسی شروع شد و بعداً بر زبان‌های طبیعی و زبان‌شناسی محاسباتی متمرکز شد. . مقالات موجود در این مجلد کل طیف این حوزه تحقیقاتی را در بر می گیرد.
توضیحاتی درمورد کتاب به خارجی
This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthday, contains 15 papers, written by friends and colleagues, many of whom congregated at a celebratory symposium held on May 24-25, 2009, in Haifa, Israel.
The theme of the symposium was Languages: From Formal to Natural, reflecting the focus of Nissim Francez' research career, which started in program verification and the semantics of programming languages and later concentrated on natural languages and computational linguistics. The papers included in this volume cover the entire spectrum of this field of research.
فهرست مطالب
Front Matter....Pages -
Modular Verification of Recursive Programs....Pages 1-21
Semi-formal Evaluation of Conversational Characters....Pages 22-35
Scope Dominance with Generalized Quantifiers....Pages 36-44
Nonassociative Lambek Calculus with Additives and Context-Free Languages....Pages 45-58
On Lazy Commutation....Pages 59-82
Aspect Oriented Approach for Capturing and Verifying Distributed Properties....Pages 83-96
No i -Sums for Nissim (and Shalom)....Pages 97-106
The Power of Non-deterministic Reassignment in Infinite-Alphabet Pushdown Automata....Pages 107-127
Modular Verification of Strongly Invasive Aspects....Pages 128-147
Classes of Service under Perfect Competition and Technological Change....Pages 148-169
On the Ontological Nature of Syntactic Categories in Categorial Grammar....Pages 170-176
Masking Gateway for Enterprises....Pages 177-191
No Syllogisms for the Numerical Syllogistic....Pages 192-203
Formal Grammars of Early Language....Pages 204-227
Hybrid BDD and All-SAT Method for Model Checking....Pages 228-244
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Safety and Ethics in Healthcare: A Guide to Getting It Right
دانلود کتاب Rehabilitationspsychologie
دانلود کتاب A History of Religious Ideas, Volume 2: From Gautama Buddha to the Triumph of Christianity
دانلود کتاب Regionale Integration in Ostasien: Eine Untersuchung der historischen und gegenwärtigen Interaktionsweisen einer Weltregion
