Vain jüri (48 resultados)
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,99
Envío por EUR 13,96Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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)
Idioma: Inglés
Editorial: Springer, 2021
Serie: Libro 423 de 578 - Communications in Computer and Information Science
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 74,35
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer Nature Switzerland AG, 2021
Serie: Libro 423 de 578 - Communications in Computer and Information Science
- Tapa blanda
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de AmericaPBShop.store US
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 76,73
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Idioma: Inglés
Editorial: Springer Nature Switzerland AG, 2021
Serie: Libro 423 de 578 - Communications in Computer and Information Science
- Tapa blanda
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 73,86
Envío por EUR 5,85Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
PAP. Condición: 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)
Idioma: Inglés
Editorial: Springer, 2021
Serie: Libro 423 de 578 - Communications in Computer and Information Science
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 80,87
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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)
Idioma: Inglés
Editorial: Springer, 2021
Serie: Libro 423 de 578 - Communications in Computer and Information Science
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 73,85
Envío por EUR 17,49Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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
Idioma: Inglés
Editorial: Springer 2021-10-07, 2021
Serie: Libro 423 de 578 - Communications in Computer and Information Science
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 75,05
Envío por EUR 18,06Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: New.
Idioma: Inglés
Editorial: Springer, 2021
Serie: Libro 423 de 578 - Communications in Computer and Information Science
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 80,97
Envío por EUR 13,96Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 81,61
Envío por EUR 14,57Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 1st edition. 375 pages. 9.10x6.50x0.80 inches. In Stock.
Idioma: Inglés
Editorial: Springer, 2021
Serie: Libro 423 de 578 - Communications in Computer and Information Science
- Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 88,13
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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)
Idioma: Inglés
Editorial: Springer, 2021
Serie: Libro 423 de 578 - Communications in Computer and Information Science
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 82,97
Envío por EUR 17,49Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: As New. Unread book in perfect condition.
- Más imágenes
Idioma: Inglés
Editorial: Springer Nature Switzerland AG, CH, 2021
Serie: Libro 423 de 578 - Communications in Computer and Information Science
- Tapa blanda
Librería: Rarewaves.com USA, London, LONDO, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 102,32
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: 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, DE…TECT 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.
System Assurances : Modeling and Management
Johri, Prashant (EDT); Anand, Adarsh (EDT); Vain, Juri (EDT); Singh, Jagvinder (EDT); Quasim, Mohammad Tabrez (EDT)
Idioma: Inglés
Editorial: Academic Press, 2022
Serie: Libro 21 de 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 100,33
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: 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,J�ri Vain
Idioma: Inglés
Editorial: Springer 2021-10-07, 2021
Serie: Libro 423 de 578 - Communications in Computer and Information Science
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 88,79
Envío por EUR 18,06Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New.
Idioma: Inglés
Editorial: Springer, 2021
Serie: Libro 423 de 578 - Communications in Computer and Information Science
- Tapa blanda
Librería: Speedyhen, Hertfordshire, Reino UnidoSpeedyhen
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 66,57
Envío por EUR 47,79Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: NEW.
- Más imágenes
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 62,97Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: 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.
- Más imágenes
System Assurances : Modeling and Management
Johri, Prashant (EDT); Anand, Adarsh (EDT); Vain, Juri (EDT); Singh, Jagvinder (EDT); Quasim, Mohammad Tabrez (EDT)
Idioma: Inglés
Editorial: Academic Press, 2022
Serie: Libro 21 de 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 117,98
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Springer, 2021
Serie: Libro 423 de 578 - Communications in Computer and Information Science
- Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 111,78
Envío por EUR 9,16Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New.
- Más imágenes
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,40
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: 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 Ve…rlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Idioma: Inglés
Editorial: Elsevier, 2022
Serie: Libro 21 de 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Tapa blanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 119,45
Envío por EUR 7,58Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: 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)
Idioma: Inglés
Editorial: Academic Press, 2022
Serie: Libro 21 de 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 117,31
Envío por EUR 14,57Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 450 pages. 9.00x6.00x1.14 inches. In Stock.
- Más imágenes
Idioma: Inglés
Editorial: Springer, Berlin|Springer International Publishing|Springer, 2021
Serie: Libro 423 de 578 - Communications in Computer and Information Science
- Tapa blanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 84,09
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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.
Idioma: Inglés
Editorial: Elsevier, 2022
Serie: Libro 21 de 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 139,86
Envío por EUR 3,48Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New. 1st edition NO-PA16APR2015-KAP.
System Assurances : Modeling and Management
Johri, Prashant (EDT); Anand, Adarsh (EDT); Vain, Juri (EDT); Singh, Jagvinder (EDT); Quasim, Mohammad Tabrez (EDT)
Idioma: Inglés
Editorial: Academic Press, 2022
Serie: Libro 21 de 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 133,91
Envío por EUR 17,49Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: New.
Idioma: Inglés
Editorial: Elsevier, 2022
Serie: Libro 21 de 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Tapa blanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 138,65
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New.
Idioma: Inglés
Editorial: Elsevier Science & Technology, 2022
Serie: Libro 21 de 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Tapa blanda
Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 129,04
Envío por EUR 23,84Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback / softback. Condición: New. New copy - Usually dispatched within 4 working days.
Idioma: Inglés
Editorial: Academic Press, 2022
Serie: Libro 21 de 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 143,94
Envío por EUR 13,96Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Más imágenes
Idioma: Inglés
Editorial: Springer, 2021
Serie: Libro 423 de 578 - Communications in Computer and Information Science
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 92,61
Envío por EUR 62,64Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: 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 T…esting 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.
- Más imágenes
Advances in Model and Data Engineering in the Digitalization Era
Ladjel Bellatreche, Samir Ouchani, Antonio Corral, George Chernishev, Janduuml;ri Vain
Idioma: Inglés
Editorial: Springer Nature Switzerland AG, CH, 2021
Serie: Libro 423 de 578 - Communications in Computer and Information Science
- Tapa blanda
Librería: Rarewaves.com UK, London, Reino UnidoRarewaves.com UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 96,04
Envío por EUR 75,77Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: New. 1st ed. 2021.
System Assurances : Modeling and Management
Johri, Prashant (EDT); Anand, Adarsh (EDT); Vain, Juri (EDT); Singh, Jagvinder (EDT); Quasim, Mohammad Tabrez (EDT)
Idioma: Inglés
Editorial: Academic Press, 2022
Serie: Libro 21 de 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 159,55
Envío por EUR 17,49Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: As New. Unread book in perfect condition.
