دانلود کتاب Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings (به فارسی: برنامه نویسی تابعی و منطقی: هفتمین سمپوزیوم بین المللی، FLOPS 2004، نارا، ژاپن، 7-9 آوریل 2004. مجموعه مقالات) نوشته شده توسط «Peter Selinger (auth.) – Yukiyoshi Kameyama – Peter J. Stuckey (eds.)»
اطلاعات کتاب برنامه نویسی تابعی و منطقی: هفتمین سمپوزیوم بین المللی، FLOPS 2004، نارا، ژاپن، 7-9 آوریل 2004. مجموعه مقالات
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Peter Selinger (auth.) – Yukiyoshi Kameyama – Peter J. Stuckey (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 307
حجم کتاب: 6 مگابایت
کد کتاب: 354021402X , 9783540214021 , 9783540247548
نوبت چاپ: 1
توضیحات کتاب برنامه نویسی تابعی و منطقی: هفتمین سمپوزیوم بین المللی، FLOPS 2004، نارا، ژاپن، 7-9 آوریل 2004. مجموعه مقالات
این کتاب مجموعه مقالات داوری هفتمین سمپوزیوم بین المللی برنامه نویسی عملکردی و منطقی، FLOPS 2004، در نارا، ژاپن، در آوریل 2004 برگزار شد.
18 مقاله کامل اصلاح شده همراه با 3 دعوت شده ارائه شده است. مشارکت ها به دقت بررسی و از بین 55 مورد ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی در برنامه‌نویسی منطقی و عملکردی-منطقی، برنامه‌های کاربردی، تحلیل برنامه، بازنویسی، انواع و ماژول‌ها، منطق و معناشناسی، و برنامه‌نویسی تابعی سازماندهی شده‌اند.
This book constitutes the refereed proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004, held in Nara, Japan, in April 2004.
The 18 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on logic and functional-logic programming, applications, program analysis, rewriting, types and modules, logic and semantics, and functional programming.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.