Theoretical Aspects of Computing - ICTAC 2004 (eBook, PDF)
-4%
80,95 €
Statt 83,99 €**
80,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei*
40 °P sammeln
-4%
80,95 €
Statt 83,99 €**
80,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei*

Alle Infos zum eBook verschenken
40 °P sammeln
Als Download kaufen
Statt 83,99 €**
-4%
80,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
40 °P sammeln
Jetzt verschenken
Statt 83,99 €**
-4%
80,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar

Alle Infos zum eBook verschenken
40 °P sammeln
  • Format: PDF


Produktdetails
  • Verlag: Springer-Verlag GmbH
  • Seitenzahl: 566
  • Erscheinungstermin: 22. Februar 2005
  • Englisch
  • ISBN-13: 9783540318620
  • Artikelnr.: 44132819

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Autorenporträt
Zhiming Liu, The United Nations University, Macao SAR, China / Keijiro Araki, Kyushu University, Fuoka, Japan
Inhaltsangabe
Invited Speakers.- Software Services: Scientific Challenge or Industrial Hype?.- Integrating Variants of DC.- Challenges in Increasing Tool Support for Programming.- A Predicate Spatial Logic and Model Checking for Mobile Processes.- Concurrent and Distributed Systems.- Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes.- Specifying Software Connectors.- Replicative - Distribution Rules in P Systems with Active Membranes.- A Generalisation of a Relational Structures Model of Concurrency.- A Logical Characterization of Efficiency Preorders.- Inherent Causal Orderings of Partial Order Scenarios.- Atomic Components.- Towards an Optimization-Based Method for Consolidating Domain Variabilities in Domain-Specific Web Services Composition.- Model Integration and Theory Unification.- A Formal Framework for Ontology Integration Based on a Default Extension to DDL.- A Predicative Semantic Model for Integrating UML Models.- An Automatic Mapping from Statecharts to