دانلود کتاب Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

عنوان فارسی :

دانلود کتاب سیستم های نرم افزاری فشرده و پارادایم های جدید محاسباتی: چالش ها و چشم اندازها

عنوان انگلیسی :

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

زبان : English

موضوع : Computers->Organization and Data Processing

نویسندگان : Matthias Hölzl Axel Rauschmayer Martin Wirsing (auth.) Martin Wirsing Jean-Pierre Banâtre Matthias Hölzl Axel Rauschmayer (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

ISBN (شابک) : 3540894365, 9783540894360

تعداد صفحات : 267\274

سال نشر : 2008     ویرایش : 1

حجم : 4 MB       فرمت : pdf

قیمت : 50000 تومان

فهرست :



Table of contents :
Front Matter....Pages -
Engineering of Software-Intensive Systems: State of the Art and Research Challenges....Pages 1-44
Software Engineering for Ensembles....Pages 45-63
Change-Enabled Software Systems....Pages 64-79
On the Challenge of Engineering Socio-technical Systems....Pages 80-91
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns....Pages 92-100
Cyber-Physical Systems and Events....Pages 101-115
Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts....Pages 116-131
Formal Ensemble Engineering....Pages 132-138
Structured Interacting Computations....Pages 139-145
Extending Formal Methods for Software-Intensive Systems....Pages 146-161
Ensemble Engineering and Emergence....Pages 162-178
Mathematical Support for Ensemble Engineering....Pages 179-189
Behaviour Equivalences in Timed Distributed π -Calculus....Pages 190-208
The Chemical Reaction Model Recent Developments and Prospects....Pages 209-234
Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems....Pages 235-254
Emerging Models of Computation: Directions in Molecular Computing....Pages 255-265
Back Matter....Pages -





کتاب های پزشکی

دانلود کتاب The Conditions in Ocational Therapy: Effect on Ocational Performance

دانلود کتاب Primary Care Pediatrics

دانلود کتاب Halbseitenlähmung: Alltag ist Therapie - Therapie ist Alltag

دانلود کتاب Acute aortic disease

دانلود کتاب Men's Health - Total Body Workbook

کتاب های کامپیوتر

دانلود کتاب Inside the SQL Server Query Optimizer

دانلود کتاب Word 2010: Advanced (Student Manual)

دانلود کتاب J2EE (TM) Connector Architecture and Enterprise Application Integration

دانلود کتاب HTML, XHTML and CSS All-In-One For Dummies, 2nd Edition

دانلود کتاب Curves and surfaces for CAGD: A practical guide

کتاب های ریاضی

دانلود کتاب Differential Games: Theory and Methods for Solving Game Problems with Singular Surfaces

دانلود کتاب Multirate systems and filter banks

دانلود کتاب Digital Signal Processing Techniques and Applications in Radar Image Processing

دانلود کتاب Profinite Groups, Arithmetic, and Geometry

دانلود کتاب Optimization on metric and normed spaces

کتاب های تکنولوژی

دانلود کتاب Nanomaterials: Research Towards Applications

دانلود کتاب Molecular and Nano Electronics:Analysis, Design and Simulation

دانلود کتاب Nanotechnology for Nucleic Acid Delivery: Methods and Protocols

دانلود کتاب Nanotechnology for Chemical and Biological Defense

دانلود کتاب Encyclopedia of Nanoscience and Nanotechnology

کتاب های مذهبی

دانلود کتاب The Numerical Discourses of the Buddha: A Complete Translation of the Anguttara Nikaya

دانلود کتاب Hebrews: Contemporary Methods - New Insights (Biblical Interpretation)

دانلود کتاب The Prayer of Jabez Gift Edition: Breaking Through to the Blessed Life (Breakthrough Series)

دانلود کتاب Abhisamayalankara

دانلود کتاب Celtic Magic

کتاب های فیزیولوژی

دانلود کتاب The Discovery of the Unconscious: History and Evolution of Dynamic Psychiatry

دانلود کتاب Sexual Partnering, Sexual Practices, and Health

دانلود کتاب decision theory - a brief introduction

دانلود کتاب The concept of being in Hegel and Heidegger (Abhandlungen zur Philosophie, Psychologie, und Padagogik ; Bd. 116)

دانلود کتاب Bilingual Youth: Spanish in English-speaking societies

کتاب های تاریخی

دانلود کتاب Vicksburg: The Campaign That Opened the Mississippi

دانلود کتاب Vietnam Chronicles : The Abrams Tapes, 1968-1972

دانلود کتاب The War in Laos 1960–75

دانلود کتاب The Royal Navy: A History From The Earliest Times To 1900 Vol.VI

دانلود کتاب The Grand Scuttle: The Sinking of the German Fleet at Scapa Flow in 1919

کتاب های زیست شناسی

دانلود کتاب Atomic Force Microscopy: Biomedical Methods and Applications

دانلود کتاب Protein-Protein Interactions: A Molecular Cloning Manual, Second Edition

دانلود کتاب Form and Transformation: Generative and Relational Principles in Biology

دانلود کتاب Immunochemical Protocols

دانلود کتاب Cell Migration in Inflammation and Immunity: Methods and Protocols

کتاب های اقتصاد

دانلود کتاب Slide:ology

دانلود کتاب Mastering Fundamental Analysis

دانلود کتاب Technical Analysis Plain and Simple Charting the Markets in Your Language

دانلود کتاب Statistics for Six Sigma Green Belts: with Minitab and JMP

دانلود کتاب Business and Personal Finance, Student Edition

کتاب های آموزشی

دانلود کتاب Oxford Latin Dictionary

دانلود کتاب The Innovation Handbook: How to Develop, Manage and Protect Your Most Profitable Ideas

دانلود کتاب Aptitude for Destruction, Volume 2: Case Studies of Organizational Learning in Five Terrorist Groups

دانلود کتاب Artificial Intelligence Applications and Innovations II: Second IFIP TC12 and WG12.5 Conference on Artificial Intelligence Applications and Innovations ... and Communication Technology) (v. 2)

دانلود کتاب Society for General Microbiology. Symposium 60th. New challenges to health: the threat of virus infection

کتاب های حقوق

دانلود کتاب The UN International Criminal Tribunals: The Former Yugoslavia, Rwanda and Sierra Leone

دانلود کتاب Public Interest Rules of International Law (The Ashgate International Law Series)

دانلود کتاب Conquest by Law: How the Discovery of America Dispossessed Indigenous Peoples of Their Lands

دانلود کتاب An introduction to rights

دانلود کتاب Great American Lawyers: An Encyclopedia (2 Volumes)

کتاب های علوم انسانی

دانلود کتاب Manufacturing Consent: The Political Economy of the Mass Media

دانلود کتاب The Doppelgänger: Literature's Philosophy (Modern Language Initiative)

دانلود کتاب Routledge History of Philosophy, Volume 10: Philosophy of Meaning, Knowledge and Value in the 20th Century

دانلود کتاب Roman Philosophers

دانلود کتاب Criminal Justice: An Introduction to Philosophies, Theories and Practice