دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Approaches and Applications of Inductive Programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
دانلود کتاب رویکردها و کاربردهای برنامه نویسی استقرایی: سومین کارگاه بین المللی ، AAIP 2009 ، ادینبورگ ، انگلیس ، 4 سپتامبر 2009. مقالات اصلاح شده
مشخصات کتاب
Approaches and Applications of Inductive Programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: Neil Mitchell (auth.), Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (eds.) سری: Lecture Notes in Computer Science 5812 ISBN (شابک) : 9783642119309, 364211931X ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 203 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب رویکردها و کاربردهای برنامه نویسی استقرایی: سومین کارگاه بین المللی ، AAIP 2009 ، ادینبورگ ، انگلیس ، 4 سپتامبر 2009. مقالات اصلاح شده: مهندسی نرم افزار، هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Approaches and Applications of Inductive Programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رویکردها و کاربردهای برنامه نویسی استقرایی: سومین کارگاه بین المللی ، AAIP 2009 ، ادینبورگ ، انگلیس ، 4 سپتامبر 2009. مقالات اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب رویکردها و کاربردهای برنامه نویسی استقرایی: سومین کارگاه بین المللی ، AAIP 2009 ، ادینبورگ ، انگلیس ، 4 سپتامبر 2009. مقالات اصلاح شده
این کتاب شامل مقالات تجدید نظر شده سومین کارگاه بین المللی در مورد رویکردها و کاربردهای برنامه ریزی استقرایی، AAIP 2009، که در ادینبورگ، انگلستان، در سپتامبر 2009 برگزار شد. 7 مقاله کامل موجود در این جلد به دقت بررسی و انتخاب شدند. این کتاب همچنین شامل دو مقاله دعوت شده است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes revised papers of the Third International Workshop on approaches and Applications of Inductive Programming, AAIP 2009, held in Edinburgh, UK, in September 2009. The 7 full papers included in this volume were carefully reviewed and selected. The book also contains two invited papers.
فهرست مطالب
Front Matter....Pages -
Deriving a Relationship from a Single Example....Pages 1-24
Synthesis of Functions Using Generic Programming....Pages 25-49
Inductive Programming: A Survey of Program Synthesis Techniques....Pages 50-73
Incremental Learning in Inductive Programming....Pages 74-92
Enumerating Well-Typed Terms Generically....Pages 93-116
Generalisation Operators for Lists Embedded in a Metric Space....Pages 117-139
Porting IgorII from Maude to Haskell ....Pages 140-158
Automated Method Induction: Functional Goes Object Oriented....Pages 159-173
Recent Improvements of MagicHaskeller....Pages 174-193
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Reactive Programming with RxJS: Untangle Your Asynchronous JavaScript Code
دانلود کتاب New Modeling Concepts for Today’s Software Processes: International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
دانلود کتاب Object-Oriented Software in C++
دانلود کتاب Phoenix Simulation Software A319 / A320 / A321 System Manual
دانلود کتاب New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Fourth Sometw 05
دانلود کتاب Nonlinear programming
دانلود کتاب Debugging Applications for Microsoft .NET and Microsoft Windows
دانلود کتاب Approximate dynamic programming: Solving the curses of dimensionality
دانلود کتاب Object-Oriented Programming with ActionScript
