دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings
دانلود کتاب ECOOP 2003 - برنامه ریزی شی گرا: هفدهمین کنفرانس اروپایی، دمرستات، آلمان، 21-25 ژوئیه 2003. پرونده ها
مشخصات کتاب
ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Martín Abadi (auth.), Luca Cardelli (eds.) سری: Lecture Notes in Computer Science 2743 ISBN (شابک) : 3540405313, 9783540405313 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 541 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 36,000
کلمات کلیدی مربوط به کتاب ECOOP 2003 - برنامه ریزی شی گرا: هفدهمین کنفرانس اروپایی، دمرستات، آلمان، 21-25 ژوئیه 2003. پرونده ها: مهندسی نرم افزار/برنامه نویسی و سیستم عامل، شبکه های ارتباطی کامپیوتری، منطق و معانی برنامه ها، مدیریت پایگاه داده، برنامه کامپیوتری. در پردازش داده های اداری، کامپیوتر و جامعه
در صورت تبدیل فایل کتاب ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ECOOP 2003 - برنامه ریزی شی گرا: هفدهمین کنفرانس اروپایی، دمرستات، آلمان، 21-25 ژوئیه 2003. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ECOOP 2003 - برنامه ریزی شی گرا: هفدهمین کنفرانس اروپایی، دمرستات، آلمان، 21-25 ژوئیه 2003. پرونده ها
این کتاب مجموعه مقالات داوری هفدهمین کنفرانس اروپایی برنامه نویسی شی گرا، ECOOP 2003، در دارمشتات، آلمان در ژوئیه 2003 است.
18 مقاله کامل اصلاح شده همراه با 2 مقاله دعوت شده ارائه شده است. از بین 88 مورد ارسالی به دقت بررسی و انتخاب شدند. مقالات در بخش های موضوعی در مورد جنبه ها و مؤلفه ها سازماندهی شده اند. الگوها، معماری و همکاری؛ انواع؛ مدل سازی؛ الگوریتم ها، بهینه سازی و زمان اجرا؛ و تکنیک ها و روش های رسمی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 17th European Conference on Object-Oriented Programming, ECOOP 2003, held in Darmstadt, Germany in July 2003.
The 18 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 88 submissions. The papers are organized in topical sections on aspects and components; patterns, architecture, and collaboration; types; modeling; algorithms, optimization, and runtimes; and formal techniques and methodology.
فهرست مطالب
Front Matter....Pages -
Built-in Object Security....Pages 1-1
Modeling Crosscutting in Aspect-Oriented Mechanisms....Pages 2-28
Spontaneous Container Services....Pages 29-53
A Calculus of Untyped Aspect-Oriented Programs....Pages 54-73
Language Support for Connector Abstractions....Pages 74-102
Walkabout Revisited: The Runabout....Pages 103-125
MX: Mobile Object Exchange for Collaborative Applications....Pages 126-150
Regular Object Types....Pages 151-175
External Uniqueness Is Unique Enough....Pages 176-200
A Nominal Theory of Objects with Dependent Types....Pages 201-224
Open APIs for Embedded Security....Pages 225-247
Traits: Composable Units of Behaviour....Pages 248-274
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information....Pages 275-302
Higher-Order Hierarchies....Pages 303-328
Two-Dimensional Bi-directional Object Layout....Pages 329-350
LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications....Pages 351-377
Java Subtype Tests in Real-Time....Pages 378-404
Growing XQuery....Pages 405-430
Discovering Algebraic Specifications from Java Classes....Pages 431-456
A Refinement Algebra for Object-Oriented Programming....Pages 457-482
Object-Oriented Reading Techniques for Inspection of UML Models – An Industrial Experiment....Pages 483-500
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Mazda 626 Workshop Manual
دانلود کتاب Quantum Probability and Applications V: Proceedings of the Fourth Workshop, held in Heidelberg, FRG, Sept. 26–30, 1988
دانلود کتاب Geometric group theory. Geneva and Barcelona conferences
دانلود کتاب Artificial Intelligence in Theory and Practice II: IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy (IFIP ... and Communication Technology) (No. II)
دانلود کتاب Scalable Uncertainty Management: First International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007, Proceedings
دانلود کتاب Advances in Fuzzy Logic, Neural Networks and Genetic Algorithms: IEEE/Nagoya-University World Wisepersons Workshop Nagoya, Japan, August 9–10, 1994 Selected Papers
دانلود کتاب Artificial Intelligence in Theory and Practice: IFIP 19th World Computer Congress, TC-12 IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile
