دانلود کتاب Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
کتاب برنامه نویسی تابعی و منطقی: دهمین سمپوزیوم بین المللی، FLOPS 2010، سندای، ژاپن، 19-21 آوریل 2010. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب برنامه نویسی تابعی و منطقی: دهمین سمپوزیوم بین المللی، FLOPS 2010، سندای، ژاپن، 19-21 آوریل 2010. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
نام کتاب : Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : برنامه نویسی تابعی و منطقی: دهمین سمپوزیوم بین المللی، FLOPS 2010، سندای، ژاپن، 19-21 آوریل 2010. مجموعه مقالات
سری : Lecture Notes in Computer Science 6009 : Theoretical Computer Science and General Issues
نویسندگان : Brigitte Pientka (auth.), Matthias Blume, Naoki Kobayashi, Germán Vidal (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2010
تعداد صفحات : 364
ISBN (شابک) : 9783642122514 , 3642122515
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات داوری دهمین سمپوزیوم بینالمللی برنامهنویسی عملکردی و منطقی، FLOPS 2010 است که در سندای، ژاپن، در آوریل 2010 برگزار شد. مقالات در بخش های موضوعی در مورد انواع سازماندهی شده است. تحلیل و تحول برنامه؛ پایه ها؛ برنامه نویسی منطقی؛ ارزیابی و عادی سازی؛ بازنویسی اصطلاح؛ و موازی و کنترل.
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the refereed proceedings of the 10th International Symposium on Functional and Logic Programming, FLOPS 2010, held in Sendai, Japan, in April 2010. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on types; program analysis and transformation; foundations; logic programming; evaluation and normalization; term rewriting; and parallelism and control.