Gesamtpreis (1 Artikel Artikel):
Versandziel:
Ergebnisse werden angezeigt für: Vain Juri (53 Ergebnisse)
Ursprünglichen Suchbegriff verwenden:
vain jri
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (53)
- 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 (48)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (5)
- Gut oder Befriedigend (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (53)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (27)
- Keine Print-on-Demand Angebote (40)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, ... (Lecture Notes in Computer Science, 4574)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science)
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Auflage: 2007. 392 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,1 x 16,5 x 2,0 cm, Taschenbuch.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, ... (Lecture Notes in Computer Science, 4574)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,23
EUR 13,74 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
System Assurances
Buch 21 von 24: Emerging Methodologies and Applications in Modelling, Identification and ControlAnbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 73,94
EUR 5,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
System Assurances : Modeling and Management
Buch 21 von 24: Emerging Methodologies and Applications in Modelling, Identification and ControlAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Advances in Model and Data Engineering in the Digitalization Era : Medi 2021 International Workshops: Detect, Sias, Csmml, Bioc, Heda, Tallinn, Estonia, June 21?23, 2021, Proceedings
Buch 364 von 437: Communications in Computer and Information ScienceAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
System Assurances : Modeling and Management
Buch 21 von 24: Emerging Methodologies and Applications in Modelling, Identification and ControlAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
System Assurances: Modeling and Management (Emerging Methodologies and Applications in Modelling, Identification and Control)
Buch 21 von 24: Emerging Methodologies and Applications in Modelling, Identification and ControlAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 71,88
EUR 13,74 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
System Assurances: Modeling and Management (Emerging Methodologies and Applications in Modelling, Identification and Control)
Buch 21 von 24: Emerging Methodologies and Applications in Modelling, Identification and ControlSprache: Englisch
Verlag: Academic Press 2022-03-15, 2022
ISBN 10: 0323902405 ISBN 13: 9780323902403
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 70,57
EUR 17,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New.
-
Advances in Model and Data Engineering in the Digitalization Era : Medi 2021 International Workshops: Detect, Sias, Csmml, Bioc, Heda, Tallinn, Estonia, June 21?23, 2021, Proceedings
Buch 364 von 437: Communications in Computer and Information ScienceAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, ... in Computer and Information Science)
Buch 364 von 437: Communications in Computer and Information ScienceAnbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
System Assurances : Modeling and Management
Buch 21 von 24: Emerging Methodologies and Applications in Modelling, Identification and ControlAnbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 73,03
EUR 17,20 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbZustand: New.
-
Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, . in Computer and Information Science, 1481)
Buch 364 von 437: Communications in Computer and Information ScienceAnbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 73,83
EUR 17,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New.
-
Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, ... in Computer and Information Science)
Buch 364 von 437: Communications in Computer and Information ScienceAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,43
EUR 13,74 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Advances in Model and Data Engineering in the Digitalization Era : Medi 2021 International Workshops: Detect, Sias, Csmml, Bioc, Heda, Tallinn, Estonia, June 21?23, 2021, Proceedings
Buch 364 von 437: Communications in Computer and Information ScienceAnbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 76,75
EUR 17,20 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Formal Techniques for Networked and Distributed Systems - Forte 2007: 27th Ifip Wg 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2007
ISBN 10: 3540731954 ISBN 13: 9783540731955
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,98
EUR 14,33 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 375 pages. 9.10x6.50x0.80 inches. In Stock.
-
System Assurances: Modeling and Management
Buch 21 von 24: Emerging Methodologies and Applications in Modelling, Identification and ControlSprache: Englisch
Verlag: Elsevier Science & Technology, 2022
ISBN 10: 0323902405 ISBN 13: 9780323902403
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 2022. Paperback. . . . . .
-
System Assurances : Modeling and Management
Buch 21 von 24: Emerging Methodologies and Applications in Modelling, Identification and ControlAnbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 80,74
EUR 17,20 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
System Assurances
Buch 21 von 24: Emerging Methodologies and Applications in Modelling, Identification and ControlSprache: Englisch
Verlag: Elsevier Science and Technology, GB, 2022
ISBN 10: 0323902405 ISBN 13: 9780323902403
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 99,50
Versand gratis
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New. System Assurances: Modeling and Management updates on system assurance and performance methods using advanced analytics and understanding of software reliability growth modeling from today's debugging team's point-of-view, along with information on preventive and predictive maintenance and the efficient use of testing resources. The book presents the rapidly growing application areas of systems and software modeling, including intelligent synthetic characters, human-machine interface, menu generators, user acceptance analysis, picture archiving and software systems. Students, research scholars, academicians, scientists and industry practitioners will benefit from the book as it provides better insights into modern related global trends, issues and practices.
-
Advances in Model and Data Engineering in the Digitalization Era : Medi 2021 International Workshops: Detect, Sias, Csmml, Bioc, Heda, Tallinn, Estonia, June 21?23, 2021, Proceedings
Buch 364 von 437: Communications in Computer and Information ScienceAnbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 81,56
EUR 17,20 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Advances in Model and Data Engineering in the Digitalization Era
Buch 364 von 437: Communications in Computer and Information ScienceSprache: Englisch
Verlag: Springer Nature Switzerland AG, CH, 2021
ISBN 10: 303087656X ISBN 13: 9783030876562
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 100,71
Versand gratis
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New. 1st ed. 2021.
-
Advances In Model And Data Engineering I
Buch 364 von 437: Communications in Computer and Information ScienceAnbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Advances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estoni
Buch 364 von 437: Communications in Computer and Information ScienceAnbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 87,35
EUR 17,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
System Assurances: Modelling and Management
Buch 21 von 24: Emerging Methodologies and Applications in Modelling, Identification and ControlSprache: Englisch
Verlag: Elsevier Science & Technology, 2022
ISBN 10: 0323902405 ISBN 13: 9780323902403
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 81,65
EUR 23,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback / softback. Zustand: New. New copy - Usually dispatched within 3 working days.
-
System Assurances: Modeling and Management
Buch 21 von 24: Emerging Methodologies and Applications in Modelling, Identification and ControlSprache: Englisch
Verlag: Elsevier Science & Technology, 2022
ISBN 10: 0323902405 ISBN 13: 9780323902403
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. 2022. Paperback. . . . . . Books ship from the US and Ireland.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2007
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 2007, 2007
ISBN 10: 3540731954 ISBN 13: 9783540731955
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci cation Testing and Veri cation) and former FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) conferences. The rst PSTV conference took place in 1981, and the rst FORTE took place in 1988. They were merged into one larger conference in 1996 and have run under the name of FORTE from 2001. The conference is a forum for presentation and d- cussion of the state of the art in theory, application, tools, and industrialization of formal methods. Over the years, FORTE has been held in numerous lo- tions, and this is re ected by its recent history, with meetings in Pisa (Italy), Cheju Island(Korea),Houston(USA), Berlin(Germany),Madrid(Spain), Paris (France), Taiwan and now Tallinn, Estonia. FORTE was sponsored by Working Group 6.1 of Technical Committee 6 (TC6) of the InternationalFederation for Information Processing (IFIP). Indeed FORTE is one of the agship conferences of Working Group 6.1 (Architectures and Protocols for Distributed Systems), and covers many aspects of the main themes of WG6.1, namely, formal description techniques, open distributed s- tems, and quality of service. WG6.1 provided a Best Paper Award as well as funds to help student participation, and we are particularly grateful for this. The 27th FORTE conference was held during June 26¿29, 2007, in Tallinn (Estonia), in the historical building of the Brotherhood of the Black Heads.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.
-
ADVANCES IN MODEL AND DATA ENGINEERING I
Buch 364 von 437: Communications in Computer and Information ScienceAnbieter: Speedyhen, Hertfordshire, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 65,56
EUR 47,02 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: NEW.
-
Advances In Model And Data Engineering I
Buch 364 von 437: Communications in Computer and Information ScienceAnbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2007
ISBN 10: 3540731954 ISBN 13: 9783540731955
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci cation Testing and Veri cation) and former FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) conferences. The rst PSTV conference took place in 1981, and the rst FORTE took place in 1988. They were merged into one larger conference in 1996 and have run under the name of FORTE from 2001. The conference is a forum for presentation and d- cussion of the state of the art in theory, application, tools, and industrialization of formal methods. Over the years, FORTE has been held in numerous lo- tions, and this is re ected by its recent history, with meetings in Pisa (Italy), Cheju Island(Korea),Houston(USA), Berlin(Germany),Madrid(Spain), Paris (France), Taiwan and now Tallinn, Estonia. FORTE was sponsored by Working Group 6.1 of Technical Committee 6 (TC6) of the InternationalFederation for Information Processing (IFIP). Indeed FORTE is one of the agship conferences of Working Group 6.1 (Architectures and Protocols for Distributed Systems), and covers many aspects of the main themes of WG6.1, namely, formal description techniques, open distributed s- tems, and quality of service. WG6.1 provided a Best Paper Award as well as funds to help student participation, and we are particularly grateful for this. The 27th FORTE conference was held during June 26-29, 2007, in Tallinn (Estonia), in the historical building of the Brotherhood of the Black Heads.
-
System Assurances: Modeling and Management (Emerging Methodologies and Applications in Modelling, Identification and Control)
Buch 21 von 24: Emerging Methodologies and Applications in Modelling, Identification and ControlAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 115,22
EUR 7,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
In den WarenkorbZustand: New.
