ISBN: 9783540241010 - global computing: ist/fet international workshop, gc 2004, rovereto, italy, march 9-12, 2004, revised selected papers (lecture notes in computer science, 3267, band 3267) (6 Ergebnisse)

ISBN: 
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (6)

bis

Benutzerdefinierte Preisspanne (EUR)

bis

  • Sprache: Englisch

    Verlag: Springer- Verlag, New York, 2005

    3540241019 / 9783540241010

    • Hardcover

    Anbieter: Doss-Haus Books, Redondo Beach, CA, USADoss-Haus Books

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Gebraucht - Gut

    EUR 31,10

    EUR 5,37 Versand 
    Versand innerhalb von USA

    Anzahl: 1 verfügbar

    Hardcover. Zustand: Very Good. No Jacket. Hardcover 2005 library bound edition. Ex-library book with minimal stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good to near fine condition. Series: Lecture Notes in Computer Science ;3267. [viii, 367 p. : ill. ; 24 cm].…

  • Sprache: Englisch

    Verlag: Springer, 2005

    3540241019 / 9783540241010

    • Softcover

    Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 53,01

     Versand gratis 
    Versand innerhalb von USA

    Anzahl: 1 verfügbar

    Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

  • Sprache: Englisch

    Verlag: Springer, 2005

    3540241019 / 9783540241010

    • Softcover

    Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

    Verkäufer/-in mit 4 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Gebraucht

    EUR 54,66

    EUR 7,76 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: 1 verfügbar

    Zustand: Used. pp. 384 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

  • Sprache: Englisch

    Verlag: Springer, 2005

    3540241019 / 9783540241010

    • Softcover

    Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios

    Verkäufer/-in mit 4 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Gebraucht

    EUR 54,73

    EUR 9,95 Versand 
    Versand von Deutschland nach USA

    Anzahl: 1 verfügbar

    Zustand: Used. pp. 384.

  • Sprache: Englisch

    Verlag: Springer, 2005

    3540241019 / 9783540241010

    • Softcover

    Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 68,83

    EUR 13,48 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: New. In English.

  • Sprache: Englisch

    Verlag: Springer, 2005

    3540241019 / 9783540241010

    • Softcover

    Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 66,40

    EUR 35,00 Versand 
    Versand von Deutschland nach USA

    Anzahl: 1 verfügbar

    Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. …