دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Coordination Models and Languages: 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
دانلود کتاب مدل ها و زبان های هماهنگی: نهمین کنفرانس بین المللی ، هماهنگی 2007 ، پافوس ، قبرس ، 6-8 ژوئن 2007. مجموعه مقالات
مشخصات کتاب
Coordination Models and Languages: 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Elena Simperl, Reto Krummenacher, Lyndon Nixon (auth.), Amy L. Murphy, Jan Vitek (eds.) سری: Lecture Notes in Computer Science 4467 ISBN (شابک) : 3540727930, 9783540727941 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2007 تعداد صفحات: 333 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 48,000
کلمات کلیدی مربوط به کتاب مدل ها و زبان های هماهنگی: نهمین کنفرانس بین المللی ، هماهنگی 2007 ، پافوس ، قبرس ، 6-8 ژوئن 2007. مجموعه مقالات: مهندسی نرم افزار، سیستم های مبتنی بر هدف و کاربرد ویژه، تکنیک های برنامه نویسی، محاسبات توسط دستگاه های انتزاعی، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Coordination Models and Languages: 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل ها و زبان های هماهنگی: نهمین کنفرانس بین المللی ، هماهنگی 2007 ، پافوس ، قبرس ، 6-8 ژوئن 2007. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter....Pages -
A Coordination Model for Triplespace Computing....Pages 1-18
Requirements for Routing in the Application Layer....Pages 19-36
Context-Aware Publish Subscribe in Mobile Ad Hoc Networks....Pages 37-55
A Prolog-Based Language for Workflow Programming....Pages 56-75
Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications....Pages 76-95
A Theory for Strong Service Compliance....Pages 96-112
Towards a Theory of Refinement in Timed Coordination Languages....Pages 113-131
A Calculus for Mobile Ad Hoc Networks....Pages 132-150
A Theory of Nested Speculative Execution....Pages 151-170
Actors That Unify Threads and Events....Pages 171-190
Generalized Committed Choice....Pages 191-210
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants....Pages 211-230
Object-Oriented Coordination in Mobile Ad Hoc Networks....Pages 231-248
Coordinating Workflow Allocation and Execution in Mobile Environments....Pages 249-267
Fact Spaces: Coordination in the Face of Disconnection....Pages 268-285
Component Connectors with QoS Guarantees....Pages 286-304
Context-Based Adaptation of Component Behavioural Interfaces....Pages 305-323
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Quantum Computer Science: An Introduction
دانلود کتاب Message Queuing with RabbitMQ Succinctly
دانلود کتاب Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
دانلود کتاب Progress in Cryptology -- AFRICACRYPT 2009: Second International Conference on Cryptology in Africa, Gammarth, Tunisia, June 21-25, 2009, Proceedings (Lecture ... Computer Science Security and Cryptology)
دانلود کتاب Foundations of coding: theory and applications of error-correcting codes
دانلود کتاب Computer Graphics and Multimedia. Applications, Problems and Solutions
دانلود کتاب Computer Arts (April 2005)
دانلود کتاب The Little Black Book of Computer Viruses: The Basic Technology
دانلود کتاب Computers and Data Processing Made Simple
