Importe total (1 artículo artículos):
Destino del pedido:
vain juri (43 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (43)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (38)
- Como nuevo, Excelente o Muy bueno (5)
- Bueno o Aceptable (No hay ningún otro resultado que coincida con este filtro.)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (43)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (22)
- No impresión bajo demanda (30)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
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)
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 40,43
Envío por EUR 24,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,95
Envío por EUR 13,83
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondició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
Libro 423 de 578: Communications in Computer and Information ScienceLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 79,18
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondició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
Libro 423 de 578: Communications in Computer and Information ScienceLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 79,99
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
ADVANCES IN MODEL & DATENGINEERING I
Libro 423 de 578: Communications in Computer and Information ScienceLibrería: Speedyhen LLC, Hialeah, FL, Estados Unidos de America
Calificación del vendedor: 3 de 5 estrellas
EUR 83,29
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondició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)
Libro 423 de 578: Communications in Computer and Information ScienceLibrería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 74,30
Envío por EUR 17,88
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New.
-
Formal Techniques for Networked and Distributed Systems - Forte 2007: 27th Ifip Wg 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2007
ISBN 10: 3540731954 ISBN 13: 9783540731955
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 80,15
Envío por EUR 14,43
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 1st edition. 375 pages. 9.10x6.50x0.80 inches. In Stock.
-
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)
Libro 423 de 578: Communications in Computer and Information ScienceLibrería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 79,58
Envío por EUR 13,83
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondició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
Libro 423 de 578: Communications in Computer and Information ScienceLibrería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 77,25
Envío por EUR 17,31
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondició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
Libro 423 de 578: Communications in Computer and Information ScienceLibrería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 82,15
Envío por EUR 17,31
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Advances In Model And Data Engineering I
Libro 423 de 578: Communications in Computer and Information ScienceLibrería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
EUR 88,13
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
-
Advances in Model and Data Engineering in the Digitalization Era
Libro 423 de 578: Communications in Computer and Information ScienceIdioma: Inglés
Publicado por Springer Nature Switzerland AG, CH, 2021
ISBN 10: 303087656X ISBN 13: 9783030876562
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 101,33
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. 1st ed. 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)
Libro 423 de 578: Communications in Computer and Information ScienceLibrería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 87,91
Envío por EUR 17,88
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
ADVANCES IN MODEL AND DATA ENGINEERING I
Libro 423 de 578: Communications in Computer and Information ScienceLibrería: Speedyhen, Hertfordshire, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 65,91
Envío por EUR 47,32
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: NEW.
-
System Assurances : Modeling and Management
Libro 21 de 24: Emerging Methodologies and Applications in Modelling, Identification and ControlLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 114,90
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
-
System Assurances : Modeling and Management
Libro 21 de 24: Emerging Methodologies and Applications in Modelling, Identification and ControlLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 116,32
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Advances In Model And Data Engineering I
Libro 423 de 578: Communications in Computer and Information ScienceLibrería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 110,43
Envío por EUR 9,05
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 62,97
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. 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.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2007 | 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 50,35
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. 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 Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
System Assurances: Modeling and Management (Emerging Methodologies and Applications in Modelling, Identification and Control)
Libro 21 de 24: Emerging Methodologies and Applications in Modelling, Identification and ControlLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 118,01
Envío por EUR 7,50
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
-
System Assurances: Modeling and Management (Emerging Methodologies and Applications in Modelling, Identification and Control)
Libro 21 de 24: Emerging Methodologies and Applications in Modelling, Identification and ControlLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 116,15
Envío por EUR 14,43
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 450 pages. 9.00x6.00x1.14 inches. In Stock.
-
Advances in Model and Data Engineering in the Digitalization Era
Libro 423 de 578: Communications in Computer and Information ScienceIdioma: Inglés
Publicado por Springer, Berlin|Springer International Publishing|Springer, 2021
ISBN 10: 303087656X ISBN 13: 9783030876562
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 84,09
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondició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.
-
System Assurances: Modeling and Management (Emerging Methodologies and Applications in Modelling, Identification and Control)
Libro 21 de 24: Emerging Methodologies and Applications in Modelling, Identification and ControlLibrería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 138,17
Envío por EUR 3,44
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. 1st edition NO-PA16APR2015-KAP.
-
System Assurances: Modelling and Management
Libro 21 de 24: Emerging Methodologies and Applications in Modelling, Identification and ControlIdioma: Inglés
Publicado por Elsevier Science & Technology, 2022
ISBN 10: 0323902405 ISBN 13: 9780323902403
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 127,98
Envío por EUR 23,60
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback / softback. Condición: New. New copy - Usually dispatched within 4 working days.
-
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
Libro 423 de 578: Communications in Computer and Information ScienceIdioma: Inglés
Publicado por Springer, Palgrave Macmillan, 2021
ISBN 10: 303087656X ISBN 13: 9783030876562
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 85,59
Envío por EUR 62,64
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. 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 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 (Emerging Methodologies and Applications in Modelling, Identification and Control)
Libro 21 de 24: Emerging Methodologies and Applications in Modelling, Identification and ControlLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 138,65
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
-
System Assurances: Modeling and Management (Emerging Methodologies and Applications in Modelling, Identification and Control)
Libro 21 de 24: Emerging Methodologies and Applications in Modelling, Identification and ControlLibrería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 141,43
Envío por EUR 13,83
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
System Assurances : Modeling and Management
Libro 21 de 24: Emerging Methodologies and Applications in Modelling, Identification and ControlLibrería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 141,42
Envío por EUR 17,31
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
-
Advances in Model and Data Engineering in the Digitalization Era
Libro 423 de 578: Communications in Computer and Information ScienceIdioma: Inglés
Publicado por Springer Nature Switzerland AG, CH, 2021
ISBN 10: 303087656X ISBN 13: 9783030876562
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 95,09
Envío por EUR 75,02
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. 1st ed. 2021.
-
System Assurances : Modeling and Management
Libro 21 de 24: Emerging Methodologies and Applications in Modelling, Identification and ControlLibrería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 157,93
Envío por EUR 17,31
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
