Gesamtpreis (1 Artikel Artikel):
Versandziel:
roberto segala (24 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (24)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (15)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (3)
- Gut oder Befriedigend (5)
- Ausreichend oder Schlecht (1)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (1)
- Angebotsfoto (11)
- Keine Print-on-Demand Angebote (19)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
The Theory of Timed I/O Automata
Sprache: Englisch
Verlag: Morgan & Claypool Publishers, 2006
ISBN 10: 159829010X ISBN 13: 9781598290103
Anbieter: The Book Bin, Salem, OR, USA
Verbandsmitglied: ABAA CBA ILAB
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Binding firm, cover shiny, interior clean and unmarked.
-
The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science)
Sprache: Englisch
Verlag: Morgan & Claypool Publishers, 2006
ISBN 10: 159829010X ISBN 13: 9781598290103
Soft Cover. Zustand: Good. Ex-library with the usual features. The interior is clean and tight. Binding is good. Cover shows light wear. Ex-Library.
-
The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science)
Anbieter: suffolkbooks, Center moriches, NY, USA
Verkäuferbewertung 4 von 5 Sternen
paperback. Zustand: Very Good. Fast Shipping - Safe and Secure 7 days a week!
-
Soft Cover. Zustand: Fair. Ex-library with the usual features. Library label on front cover. Binding is good. Upper page edges have coffee stain and light wrinkling. Cover shows light wear. Ex-Library.
-
The Theory of Timed I/O Automata, Second Edition (Synthesis Lectures on Distributed Computing Theory, 5)
Sprache: Englisch
Verlag: Morgan & Claypool Publishers, 2010
ISBN 10: 1608450023 ISBN 13: 9781608450022
Anbieter: suffolkbooks, Center moriches, NY, USA
Verkäuferbewertung 4 von 5 Sternen
paperback. Zustand: Very Good. Fast Shipping - Safe and Secure 7 days a week!
-
The Theory of Timed I/O Automata, Second Edition (Synthesis Lectures on Distributed Computing Theory)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 39,55
EUR 13,87 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
-
Zustand: New. 2nd ed. edition NO-PA16APR2015-KAP.
-
Process Algebra and Probabilistic Methods : Performance Modeling and Verification : Second Joint International Workshop Papm-Probmiv 2002, Copenhagen, Denmark, July 25-26, 2002 : Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, ... (Lecture Notes in Computer Science, 2399)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
Con Vittorio Emanuele III
Verlag: Mondadori, 1954
Anbieter: Libreria Tara, Roma, RM, Italien
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Zustand: buono. Savoia Historical and Political studies Savoy Il libro del giorno 20 cartone edit. con sovrac. ill., piccole rotture e tracce d'uso alla sovrac., residuo di etichetta al retro della sovrac. - prima edizione - 12 illustrazioni in b.n. fuori testo BUONE CONDIZIONI.
-
Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, ... (Lecture Notes in Computer Science, 2399)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,16
EUR 13,87 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Process Algebra and Probabilistic Methods Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, . (Lecture Notes in Computer Science)
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 56,87
EUR 17,94 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
-
Process Algebra and Probabilistic Methods : Performance Modeling and Verification : Second Joint International Workshop Papm-Probmiv 2002, Copenhagen, Denmark, July 25-26, 2002 : Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,82
EUR 17,37 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Process Algebra and Probabilistic Methods. Performance Modeling and Verification
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2002
ISBN 10: 3540439137 ISBN 13: 9783540439134
EUR 48,37
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25-26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and Performance Modeling) and PROBMIV (Probabilistic Methods in Veri cation). The aim of the joint workshop is to bring together the researchers working across the whole spectrum of techniques for the modeling, speci cation, analysis, and veri cation of probabilistic systems. Probability is widely used in the design and analysis of software and hardware systems, as a means to derive e cient algorithms (e.g. randomization), as a model for unreliable or unpredictable behavior (as in the study of fault-tolerant systems and computer networks), and as a tool to study performance and - pendability properties. The topics of the workshop include speci cation, m- els, and semantics of probabilistic systems, analysis and veri cation techniques, probabilistic methods for the veri cation of non-probabilistic systems, and tools and case studies. The rst PAPM workshop was held in Edinburgh in 1993; the following ones were held in Regensberg (1994), Edinburgh (1995), Turin (1996), Enschede (1997), Nice (1998), Zaragoza (1999), and Geneva (2000). The rst PROBMIV workshop was held in Indianapolis, Indiana (1998); the next one took place in Eindhoven (1999). In 2000, PROBMIV was replaced by a Dagstuhl seminar on Probabilistic Methods in Veri cation.
-
Taschenbuch. Zustand: Neu. Process Algebra and Probabilistic Methods: Performance Modeling and Verification | Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings | Holger Hermanns (u. a.) | Taschenbuch | x | Englisch | 2002 | Springer | EAN 9783540439134 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Process Algebra and Probabilistic Methods : Performance Modeling and Verification : Second Joint International Workshop Papm-Probmiv 2002, Copenhagen, Denmark, July 25-26, 2002 : Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 130,02
EUR 17,37 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, . (Lecture Notes in Computer Science (2399))
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 120,48
EUR 28,95 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Process Algebra and Probabilistic Methods : Performance Modeling and Verification : Second Joint International Workshop Papm-Probmiv 2002, Copenhagen, Denmark, July 25-26, 2002 : Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 151,18
EUR 2,25 Versand
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
The Theory of Timed I/O Automata, Second Edition (Synthesis Lectures on Distributed Computing Theory)
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 48,42
EUR 7,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand.
-
The Theory of Timed I/O Automata, Second Edition (Synthesis Lectures on Distributed Computing Theory)
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND.
-
The Theory of Timed I/O Automata, Second Edition
Sprache: Englisch
Verlag: Springer, Berlin|Springer International Publishing|Morgan & Claypool|Springer, 2010
ISBN 10: 3031008758 ISBN 13: 9783031008757
EUR 32,69
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performance prop.
-
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Sprache: Englisch
Verlag: Springer Berlin Heidelberg Jul 2002, 2002
ISBN 10: 3540439137 ISBN 13: 9783540439134
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25-26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and Performance Modeling) and PROBMIV (Probabilistic Methods in Veri cation). The aim of the joint workshop is to bring together the researchers working across the whole spectrum of techniques for the modeling, speci cation, analysis, and veri cation of probabilistic systems. Probability is widely used in the design and analysis of software and hardware systems, as a means to derive e cient algorithms (e.g. randomization), as a model for unreliable or unpredictable behavior (as in the study of fault-tolerant systems and computer networks), and as a tool to study performance and - pendability properties. The topics of the workshop include speci cation, m- els, and semantics of probabilistic systems, analysis and veri cation techniques, probabilistic methods for the veri cation of non-probabilistic systems, and tools and case studies. The rst PAPM workshop was held in Edinburgh in 1993; the following ones were held in Regensberg (1994), Edinburgh (1995), Turin (1996), Enschede (1997), Nice (1998), Zaragoza (1999), and Geneva (2000). The rst PROBMIV workshop was held in Indianapolis, Indiana (1998); the next one took place in Eindhoven (1999). In 2000, PROBMIV was replaced by a Dagstuhl seminar on Probabilistic Methods in Veri cation. 232 pp. Englisch.
-
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Sprache: Englisch
Verlag: Springer, Springer Jul 2002, 2002
ISBN 10: 3540439137 ISBN 13: 9783540439134
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25¿26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and Performance Modeling) and PROBMIV (Probabilistic Methods in Veri cation). The aim of the joint workshop is to bring together the researchers working across the whole spectrum of techniques for the modeling, speci cation, analysis, and veri cation of probabilistic systems. Probability is widely used in the design and analysis of software and hardware systems, as a means to derive e cient algorithms (e.g. randomization), as a model for unreliable or unpredictable behavior (as in the study of fault-tolerant systems and computer networks), and as a tool to study performance and - pendability properties. The topics of the workshop include speci cation, m- els, and semantics of probabilistic systems, analysis and veri cation techniques, probabilistic methods for the veri cation of non-probabilistic systems, and tools and case studies. The rst PAPM workshop was held in Edinburgh in 1993; the following ones were held in Regensberg (1994), Edinburgh (1995), Turin (1996), Enschede (1997), Nice (1998), Zaragoza (1999), and Geneva (2000). The rst PROBMIV workshop was held in Indianapolis, Indiana (1998); the next one took place in Eindhoven (1999). In 2000, PROBMIV was replaced by a Dagstuhl seminar on Probabilistic Methods in Veri cation.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 232 pp. Englisch.
