ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings

دانلود کتاب برنامه نویسی کاربردی و منطقی: ششمین سمپوزیوم بین المللی ، FLOPS 2002 Aizu ، ژاپن ، مجموعه مقالات

Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings

مشخصات کتاب

Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings

دسته بندی: برنامه نويسي
ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 2441 
ISBN (شابک) : 3540442332, 9783540442332 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2002 
تعداد صفحات: 314 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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



کلمات کلیدی مربوط به کتاب برنامه نویسی کاربردی و منطقی: ششمین سمپوزیوم بین المللی ، FLOPS 2002 Aizu ، ژاپن ، مجموعه مقالات: تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها، هوش مصنوعی (شامل رباتیک)



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

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


در صورت تبدیل فایل کتاب Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب برنامه نویسی کاربردی و منطقی: ششمین سمپوزیوم بین المللی ، FLOPS 2002 Aizu ، ژاپن ، مجموعه مقالات

این کتاب مجموعه مقالات داوری ششمین سمپوزیوم بین‌المللی برنامه‌نویسی عملکردی و منطقی، FLOPS 2002 است که در شهر آیزو، ژاپن، در سپتامبر 2002 برگزار شد. از 27 ارسالی مقالات در بخش‌های موضوعی در برنامه‌نویسی محدودیت، تبدیل و تحلیل برنامه، معناشناسی، بازنویسی، تکنیک‌های کامپایل و روش‌شناسی برنامه‌نویسی سازماندهی شده‌اند.


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

This book constitutes the refereed proceedings of the 6th International Symposium on Functional and Logic Programming, FLOPS 2002, held in Aizu, Japan, in September 2002.
The 15 revised full papers presented together with 3 full invited papers were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on constraint programming, program transformation and analysis, semantics, rewriting, compilation techniques, and programming methodology.



فهرست مطالب

Formal Methods in CafeOBJ....Pages 1-20
The Essence of XML (Preliminary Version)....Pages 21-46
To the Gates of HAL: A HAL Tutorial....Pages 47-66
Functional Logic Design Patterns....Pages 67-87
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints....Pages 88-102
Solving Mixed Quantified Constraints over a Domain Based on $$ \\mathcal{R} $$ eal Numbers and $$ \\mathcal{H} $$ erbrand Terms....Pages 103-118
On the Correctness of the Factoring Transformation....Pages 119-133
Lambda-Lifting in Quadratic Time....Pages 134-151
The Well-Founded Semantics in Normal Logic Programs with Uncertainty....Pages 152-166
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus....Pages 167-182
Coinductive Interpreters for Process Calculi....Pages 183-197
Descendants and Head Normalization of Higher-Order Rewrite Systems....Pages 198-211
Narrowing Failure in Functional Logic Programming....Pages 212-227
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation....Pages 228-244
Dynamic-Cut with Definitional Trees....Pages 245-258
The Head Condition and Polymorphic Recursion....Pages 259-274
Structural Abstraction and Application in Logic Programming....Pages 275-289
VMλ: A Functional Calculus for Scientific Discovery....Pages 290-304




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی