Vain juri (49 Ergebnisse)
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,02
EUR 13,97 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: 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
Bellatreche, Ladjel (EDT); Chernishev, George (EDT); Corral, Antonio (EDT); Ouchani, Samir (EDT); Vain, Juri (EDT)
Sprache: Englisch
Verlag: Springer, 2021
Serie: Buch 423 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 73,93
EUR 2,29 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer Nature Switzerland AG, 2021
Serie: Buch 423 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: PBShop.store US, Wood Dale, IL, USAPBShop.store US
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 76,30
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Sprache: Englisch
Verlag: Springer Nature Switzerland AG, 2021
Serie: Buch 423 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 73,90
EUR 5,86 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
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
Bellatreche, Ladjel (EDT); Chernishev, George (EDT); Corral, Antonio (EDT); Ouchani, Samir (EDT); Vain, Juri (EDT)
Sprache: Englisch
Verlag: Springer, 2021
Serie: Buch 423 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 81,29
EUR 2,29 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: As New. Unread book in perfect condition.
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
Bellatreche, Ladjel (EDT); Chernishev, George (EDT); Corral, Antonio (EDT); Ouchani, Samir (EDT); Vain, Juri (EDT)
Sprache: Englisch
Verlag: Springer, 2021
Serie: Buch 423 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 73,89
EUR 17,50 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
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, 1481)
Ladjel Bellatreche,George Chernishev,Antonio Corral,Samir Ouchani,Juri Vain
Sprache: Englisch
Verlag: Springer 2021-10-07, 2021
Serie: Buch 423 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 75,09
EUR 18,07 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: New.
Sprache: Englisch
Verlag: Springer, 2021
Serie: Buch 423 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 81,01
EUR 13,97 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 80,68
EUR 14,58 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 1st edition. 375 pages. 9.10x6.50x0.80 inches. In Stock.
Sprache: Englisch
Verlag: Springer, 2021
Serie: Buch 423 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 88,13
EUR 9,50 VersandVersand von Irland nach USAAnzahl: 1 verfügbar
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
Bellatreche, Ladjel (EDT); Chernishev, George (EDT); Corral, Antonio (EDT); Ouchani, Samir (EDT); Vain, Juri (EDT)
Sprache: Englisch
Verlag: Springer, 2021
Serie: Buch 423 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 82,99
EUR 17,50 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: As New. Unread book in perfect condition.
System Assurances : Modeling and Management
Johri, Prashant (EDT); Anand, Adarsh (EDT); Vain, Juri (EDT); Singh, Jagvinder (EDT); Quasim, Mohammad Tabrez (EDT)
Sprache: Englisch
Verlag: Academic Press, 2022
Serie: Buch 21 von 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 99,76
EUR 2,29 VersandVersand innerhalb von USAAnzahl: 2 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer Nature Switzerland AG, CH, 2021
Serie: Buch 423 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes KönigreichRarewaves.com USA
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 102,67
Versand gratisVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: New. 1st ed. 2021. This book constitutes the thoroughly refereed papers of the workshops held at the 10th International Conference on New Trends in Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETE…CT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021.The 20 full and the 4 short workshop papers presented were carefully reviewed and selected from 61 submissions. The papers are organized according to the workshops: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021.
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)
Ladjel Bellatreche,George Chernishev,Antonio Corral,Samir Ouchani,J�ri Vain
Sprache: Englisch
Verlag: Springer 2021-10-07, 2021
Serie: Buch 423 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 88,84
EUR 18,07 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Paperback. Zustand: New.
Sprache: Englisch
Verlag: Springer, 2021
Serie: Buch 423 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: Speedyhen, Hertfordshire, Vereinigtes KönigreichSpeedyhen
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 66,61
EUR 47,82 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: NEW.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,97 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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) an…d 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
Johri, Prashant (EDT); Anand, Adarsh (EDT); Vain, Juri (EDT); Singh, Jagvinder (EDT); Quasim, Mohammad Tabrez (EDT)
Sprache: Englisch
Verlag: Academic Press, 2022
Serie: Buch 21 von 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 117,31
EUR 2,29 VersandVersand innerhalb von USAAnzahl: 2 verfügbar
Zustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer, 2021
Serie: Buch 423 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 111,15
EUR 9,10 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Formal Techniques for Networked and Distributed Systems - FORTE 2007 | 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings | John Derrick (u. a.) | Taschenbuch | xi | Englisch | 2007 | Springer | EAN 9783540731955 | Verantwortliche Person für die EU: Springer Verl…ag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Elsevier, 2022
Serie: Buch 21 von 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 118,78
EUR 7,58 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
Zustand: New.
System Assurances: Modeling and Management (Emerging Methodologies and Applications in Modelling, Identification and Control)
Johri, Prashant (Editor) / Anand, Adarsh (Editor) / Vain, Juri (Editor) / Singh, Jagvinder (Editor) / Quasim, Mohammad Tabrez (Editor)
Sprache: Englisch
Verlag: Academic Press, 2022
Serie: Buch 21 von 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 117,38
EUR 14,58 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 450 pages. 9.00x6.00x1.14 inches. In Stock.
Sprache: Englisch
Verlag: Springer, Berlin|Springer International Publishing|Springer, 2021
Serie: Buch 423 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 84,09
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: New. This book constitutes the thoroughly refereed papers of the workshops held at the 10th International Conference on New Trends in Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021: Workshop on moDeling, vErification and Testing of.
Sprache: Englisch
Verlag: Elsevier, 2022
Serie: Buch 21 von 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 139,07
EUR 3,46 VersandVersand innerhalb von USAAnzahl: 3 verfügbar
Zustand: New. 1st edition NO-PA16APR2015-KAP.
Sprache: Englisch
Verlag: Elsevier, 2022
Serie: Buch 21 von 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 138,65
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 3 verfügbar
Zustand: New.
Weitere BilderSprache: Englisch
Verlag: Springer, 2021
Serie: Buch 423 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 77,30
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. 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 | Ladjel Bellatreche (u. a.) | Taschenbuch | Communications in Computer and Information Science | xix | Englisch | 2021…| Springer | EAN 9783030876562 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
System Assurances : Modeling and Management
Johri, Prashant (EDT); Anand, Adarsh (EDT); Vain, Juri (EDT); Singh, Jagvinder (EDT); Quasim, Mohammad Tabrez (EDT)
Sprache: Englisch
Verlag: Academic Press, 2022
Serie: Buch 21 von 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 134,27
EUR 17,50 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Elsevier Science & Technology, 2022
Serie: Buch 21 von 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes KönigreichTHE SAINT BOOKSTORE
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 129,11
EUR 23,85 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Paperback / softback. Zustand: New. New copy - Usually dispatched within 4 working days.
Sprache: Englisch
Verlag: Academic Press, 2022
Serie: Buch 21 von 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 144,02
EUR 13,97 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer, 2021
Serie: Buch 423 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 92,61
EUR 62,64 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed papers of the workshops held at the 10th International Conference on New Trends in Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021: Workshop on moDeling, vErification and Tes…ting of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021.The 20 full and the 4 short workshop papers presented were carefully reviewed and selected from 61 submissions. The papers are organized according to the workshops: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021.
Advances in Model and Data Engineering in the Digitalization Era
Ladjel Bellatreche, Samir Ouchani, Antonio Corral, George Chernishev, Janduuml;ri Vain
Sprache: Englisch
Verlag: Springer Nature Switzerland AG, CH, 2021
Serie: Buch 423 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: Rarewaves.com UK, London, Vereinigtes KönigreichRarewaves.com UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 96,10
EUR 75,81 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: New. 1st ed. 2021.
