• Produktbild: Software-Intensive Systems and New Computing Paradigms
  • Produktbild: Software-Intensive Systems and New Computing Paradigms
Band 5380

Software-Intensive Systems and New Computing Paradigms Challenges and Visions

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.11.2008

Abbildungen

X, 267 p.

Herausgeber

Martin Wirsing + weitere

Verlag

Springer Berlin

Seitenzahl

267

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

429 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-89436-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.11.2008

Abbildungen

X, 267 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

267

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

429 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-89436-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Software-Intensive Systems and New Computing Paradigms
  • Produktbild: Software-Intensive Systems and New Computing Paradigms
  • Engineering of Software-Intensive Systems: State of the Art and Research Challenges.- Engineering of Software-Intensive Systems: State of the Art and Research Challenges.- I Ensemble Engineering.- Software Engineering for Ensembles.- Change-Enabled Software Systems.- On the Challenge of Engineering Socio-technical Systems.- Design of Complex Cyber Physical Systems with Formalized Architectural Patterns.- Cyber-Physical Systems and Events.- Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts.- II Theory and Formal Methods.- Formal Ensemble Engineering.- Structured Interacting Computations.- Extending Formal Methods for Software-Intensive Systems.- Ensemble Engineering and Emergence.- Mathematical Support for Ensemble Engineering.- Behaviour Equivalences in Timed Distributed ?-Calculus.- III Novel Computing Paradigms.- The Chemical Reaction Model Recent Developments and Prospects.- Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems.- Emerging Models of Computation: Directions in Molecular Computing.