Kategorien
Bürobedarf
Hardware, Software, Telekommunikation
Werkzeugtechnik
Elektronik, Elektrotechnik
Betriebsausstattung, Lagerausstattung
Arbeitsschutz
Technischer Handel
Medizinbedarf, Therapie, Labor
Haustechnik, Gebäudetechnik
Verpackung, Versand
Hotel, Gastronomie, Essen, Trinken
Reinigung
Weitere Kategorien
Österreich
Deutsch
Deutschland
Deutsch
English
Österreich
Deutsch
English
Nederland
Nederlands
English
Italia
Italiano
English
France
Français
English
España
Español
English
United Kingdom
English
Ireland
English
Polska
Polski
English
Magyarország
Magyar
English
Schweiz
Deutsch
Français
Italiano
English
België
Nederlands
Français
Deutsch
English
Mein Mercateo
Anmelden / Registrieren
Anmelden
Neukunde?
Jetzt registrieren
>
Profil
Bestellarchiv
Einkaufslisten
Bedarfsanforderungen
Warenkorb
Startseite
>
Bücher
>
Bücher nach Sprache
>
englischsprachige Literatur
>
Bücher für Datenbanken - englischsprachig
>
Artikel
Global Computing
Menge:
Stück
Produktinformationen
Fenster schließen
Artikel-Nr.:
5667A-9783540241010
Hersteller:
Springer Verlag
Herst.-Nr.:
9783540241010
EAN/GTIN:
9783540241010
Suchbegriffe:
Bücher für Datenbanken - englischsp...
Datenbanken (Fachbücher)
Datenbankenbücher
datenbanken (fachbücher)
Symbolic Equivalences for Open Systems.- Specifying and Verifying UML Activity Diagrams Via Graph Transformation.- Mobile UML Statecharts with Localities.- Communities: Concept-Based Querying for Mobile Services.- Towards a Formal Treatment of Secrecy Against Computational Adversaries.- For-LySa: UML for Authentication Analysis.- Performance Analysis of a UML Micro-business Case Study.- Efficient Information Propagation Algorithms in Smart Dust and NanoPeer Networks.- The Kell Calculus: A Family of Higher-Order Distributed Process Calculi.- A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi.- A Generic Membrane Model (Note).- A Framework for Structured Peer-to-Peer Overlay Networks.- Verifying a Structured Peer-to-Peer Overlay Network: The Static Case.- A Physics-Style Approach to Scalability of Distributed systems.- BGP-Based Clustering for Scalable and Reliable Gossip Broadcast.- Trust Lifecycle Management in a Global Computing Environment.- The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies.- The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation.
Weitere Informationen:
Author:
Corrado Priami; Paola Quaglia
Verlag:
Springer Berlin
Sprache:
eng
... >
Naturwissenschaften, Medizin, Informatik, Technik
>
Informatik, EDV
>
Informatik, EDV
Weitere Suchbegriffe:
Internet
,
Surfen (Internet)
,
Cluster
,
UML
,
Unified Modeling Language (UML)
,
algorithm
,
algorithms
,
dependable computing
,
distributed computing
,
distributed systems
,
formal methods
Die Konditionen im Überblick
1
Lieferzeit
Lagerstand
Preis
€ 49,99*
Konditionen selbst auswählen
Artikel empfehlen
Artikel merken
* Preise mit Sternchen sind Nettopreise zzgl. gesetzlich gültiger MwSt.
UVP bedeutet „Unverbindliche Preisempfehlung“
Unser Angebot richtet sich ausschließlich an Unternehmen, Gewerbetreibende und Freiberufler.
Über uns
Support
Presse
Job & Karriere
AGB
Impressum
Datenschutz
Nachhaltigkeit
Datenschutzeinstellungen