Vain jüri (47 risultati)
- Brossura
Da: NEPO UG, Rüsselsheim am Main, GermaniaNEPO UG
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 40,43
EUR 24,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,55
EUR 13,86 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer Nature Switzerland AG 2021
Serie: Communications in Computer and Information Science, Libro 423 di 578. Libro 423 di 578 - Communications in Computer and Information Science
- Brossura
Da: PBShop.store UK, Fairford, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 73,33
EUR 5,81 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
PAP. Condizione: 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)
Lingua: Inglese
Editore: Springer 2021
Serie: Communications in Computer and Information Science, Libro 423 di 578. Libro 423 di 578 - Communications in Computer and Information Science
- Brossura
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,18
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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)
Lingua: Inglese
Editore: Springer 2021
Serie: Communications in Computer and Information Science, Libro 423 di 578. Libro 423 di 578 - Communications in Computer and Information Science
- Brossura
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 80,49
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer 2021
Serie: Communications in Computer and Information Science, Libro 423 di 578. Libro 423 di 578 - Communications in Computer and Information Science
- Brossura
Da: Speedyhen LLC, Hialeah, U.S.A.Speedyhen LLC
Contatta il venditoreVenditore con 2 stelleCondizione: Nuovo
EUR 83,90
Spedizione gratuitaSpedito in U.S.A.Quantità: 2 disponibili
Condizione: 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)
Lingua: Inglese
Editore: Springer 2021
Serie: Communications in Computer and Information Science, Libro 423 di 578. Libro 423 di 578 - Communications in Computer and Information Science
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 73,32
EUR 17,36 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: 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
Lingua: Inglese
Editore: Springer 2021-10-07 2021
Serie: Communications in Computer and Information Science, Libro 423 di 578. Libro 423 di 578 - Communications in Computer and Information Science
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,51
EUR 17,93 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: New.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 80,41
EUR 14,47 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 1st edition. 375 pages. 9.10x6.50x0.80 inches. In Stock.
Lingua: Inglese
Editore: Springer 2021
Serie: Communications in Computer and Information Science, Libro 423 di 578. Libro 423 di 578 - Communications in Computer and Information Science
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 80,39
EUR 13,86 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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)
Lingua: Inglese
Editore: Springer 2021
Serie: Communications in Computer and Information Science, Libro 423 di 578. Libro 423 di 578 - Communications in Computer and Information Science
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 82,37
EUR 17,36 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer Nature Switzerland AG, CH 2021
Serie: Communications in Computer and Information Science, Libro 423 di 578. Libro 423 di 578 - Communications in Computer and Information Science
- Brossura
Da: Rarewaves.com USA, London, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 102,07
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: New. 1st ed. 2021.
Lingua: Inglese
Editore: Springer 2021
Serie: Communications in Computer and Information Science, Libro 423 di 578. Libro 423 di 578 - Communications in Computer and Information Science
- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 88,13
EUR 10,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 1 disponibili
Condizione: 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
Lingua: Inglese
Editore: Springer 2021-10-07 2021
Serie: Communications in Computer and Information Science, Libro 423 di 578. Libro 423 di 578 - Communications in Computer and Information Science
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 88,15
EUR 17,93 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New.
Lingua: Inglese
Editore: Springer 2021
Serie: Communications in Computer and Information Science, Libro 423 di 578. Libro 423 di 578 - Communications in Computer and Information Science
- Brossura
Da: Speedyhen, Hertfordshire, Regno UnitoSpeedyhen
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,09
EUR 47,45 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: NEW.
System Assurances : Modeling and Management
Johri, Prashant (EDT); Anand, Adarsh (EDT); Vain, Juri (EDT); Singh, Jagvinder (EDT); Quasim, Mohammad Tabrez (EDT)
Lingua: Inglese
Editore: Academic Press 2022
Serie: Emerging Methodologies and Applications in Modelling, Identification and Control, Libro 21 di 24. Libro 21 di 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Brossura
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 114,81
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: New.
System Assurances : Modeling and Management
Johri, Prashant (EDT); Anand, Adarsh (EDT); Vain, Juri (EDT); Singh, Jagvinder (EDT); Quasim, Mohammad Tabrez (EDT)
Lingua: Inglese
Editore: Academic Press 2022
Serie: Emerging Methodologies and Applications in Modelling, Identification and Control, Libro 21 di 24. Libro 21 di 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Brossura
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 117,17
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer 2021
Serie: Communications in Computer and Information Science, Libro 423 di 578. Libro 423 di 578 - Communications in Computer and Information Science
- Brossura
Da: Kennys Bookstore, Olney, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 111,24
EUR 9,11 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 62,97 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,35
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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 V…erlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Lingua: Inglese
Editore: Elsevier 2022
Serie: Emerging Methodologies and Applications in Modelling, Identification and Control, Libro 21 di 24. Libro 21 di 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Brossura
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 118,88
EUR 7,52 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Condizione: 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)
Lingua: Inglese
Editore: Academic Press 2022
Serie: Emerging Methodologies and Applications in Modelling, Identification and Control, Libro 21 di 24. Libro 21 di 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 116,47
EUR 14,47 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 450 pages. 9.00x6.00x1.14 inches. In Stock.
Lingua: Inglese
Editore: Springer, Berlin|Springer International Publishing|Springer 2021
Serie: Communications in Computer and Information Science, Libro 423 di 578. Libro 423 di 578 - Communications in Computer and Information Science
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 84,09
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: 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.
Lingua: Inglese
Editore: Elsevier 2022
Serie: Emerging Methodologies and Applications in Modelling, Identification and Control, Libro 21 di 24. Libro 21 di 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Brossura
Da: Books Puddle, New York, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 139,19
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: New. 1st edition NO-PA16APR2015-KAP.
Altre immaginiLingua: Inglese
Editore: Springer 2021
Serie: Communications in Computer and Information Science, Libro 423 di 578. Libro 423 di 578 - Communications in Computer and Information Science
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 77,25
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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 | xix | Englisch | 2021 | Springer | EAN 9783030876562 | Verantwortliche P…erson für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Lingua: Inglese
Editore: Elsevier Science & Technology 2022
Serie: Emerging Methodologies and Applications in Modelling, Identification and Control, Libro 21 di 24. Libro 21 di 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Brossura
Da: THE SAINT BOOKSTORE, Southport, Regno UnitoTHE SAINT BOOKSTORE
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 128,12
EUR 23,67 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days.
Lingua: Inglese
Editore: Elsevier 2022
Serie: Emerging Methodologies and Applications in Modelling, Identification and Control, Libro 21 di 24. Libro 21 di 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Brossura
Da: Biblios, frankfurt am main, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 138,65
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 3 disponibili
Condizione: New.
Lingua: Inglese
Editore: Academic Press 2022
Serie: Emerging Methodologies and Applications in Modelling, Identification and Control, Libro 21 di 24. Libro 21 di 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 142,91
EUR 13,86 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer 2021
Serie: Communications in Computer and Information Science, Libro 423 di 578. Libro 423 di 578 - Communications in Computer and Information Science
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 92,61
EUR 62,64 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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…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.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)
Lingua: Inglese
Editore: Academic Press 2022
Serie: Emerging Methodologies and Applications in Modelling, Identification and Control, Libro 21 di 24. Libro 21 di 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 142,89
EUR 17,36 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Condizione: New.
