دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Brigitte Pientka (auth.), Matthias Blume, Naoki Kobayashi, Germán Vidal (eds.) سری: Lecture Notes in Computer Science 6009 : Theoretical Computer Science and General Issues ISBN (شابک) : 3642122507, 9783642122507 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 355 [363] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
در صورت تبدیل فایل کتاب Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی کاربردی و منطقی: دهمین سمپوزیوم بین المللی ، FLOPS 2010 ، Sendai ، ژاپن ، 19-21 آوریل ، 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری دهمین سمپوزیوم بینالمللی برنامهنویسی عملکردی و منطقی، 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.