دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
دانلود کتاب زبانها و سیستمهای برنامه نویسی: بیست و یکمین سمپوزیوم اروپایی در مورد برنامه نویسی ، ESOP 2012 ، به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2012 ، تالین ، استونی ، 24 مارس - 1 آوریل 2012 برگزار می شود. مجموعه مقالات
مشخصات کتاب
Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
ویرایش: [1 ed.] نویسندگان: Bjarne Stroustrup (auth.), Helmut Seidl (eds.) سری: Lecture Notes in Computer Science 7211 ISBN (شابک) : 9783642288685, 3642288685 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 602 [614] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبانها و سیستمهای برنامه نویسی: بیست و یکمین سمپوزیوم اروپایی در مورد برنامه نویسی ، ESOP 2012 ، به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2012 ، تالین ، استونی ، 24 مارس - 1 آوریل 2012 برگزار می شود. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبانها و سیستمهای برنامه نویسی: بیست و یکمین سمپوزیوم اروپایی در مورد برنامه نویسی ، ESOP 2012 ، به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2012 ، تالین ، استونی ، 24 مارس - 1 آوریل 2012 برگزار می شود. مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و یکمین سمپوزیوم اروپایی در برنامه نویسی، ESOP 2012، در تالین، استونی، به عنوان بخشی از ETAPS 2012، در مارس/آوریل 2012 برگزار شد. گفتگو، به دقت بررسی و از بین 92 مورد ارسالی انتخاب شد. مقالات در مورد تمام جنبه های تحقیق زبان برنامه نویسی از جمله: پارادایم ها و سبک های برنامه نویسی، روش ها و ابزارهایی برای نوشتن و تعیین برنامه ها و زبان ها، روش ها و ابزارهایی برای استدلال در مورد برنامه ها، روش ها و ابزارهای پیاده سازی و همزمانی و توزیع دعوت شد. p>
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012. The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Papers were invited on all aspects of programming language research, including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Queueing Theory for Telecommunications: Discrete Time Modelling of a Single Node System
دانلود کتاب ASHRAE Applications excerpt - Vibration Isolation
