Importe total (1 artículo artículos):
Destino del pedido:
methods applications technologies proceedings (58 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (58)
- 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 (51)
- Como nuevo, Excelente o Muy bueno (6)
- 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 (1)
Encuadernación
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 (16)
- No impresión bajo demanda (44)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Proceedings of the World Conference on Intelligent and 3-D Technologies (WCI3DT 2022): Methods, Algorithms and Applications
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 54,58
Envío por EUR 13,90
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Leveraging Applications of Formal Methods, Verification and Validation : Technologies for Mastering Change, 6th International Symposium Isola 2014 Imperial, Corfu, Greece October 8-11 2014 Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 74,42
Envío por EUR 2,32
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Leveraging Applications of Formal Methods, Verification and Validation : Technologies for Mastering Change, 6th International Symposium Isola 2014 Imperial, Corfu, Greece October 8-11 2014 Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,68
Envío por EUR 17,40
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2014
ISBN 10: 3662452332 ISBN 13: 9783662452332
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 64,25
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 - The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line engineering; model-based code generators and compilers; engineering virtualized systems; statistical model checking; risk-based testing; medical cyber-physical systems; scientific workflows; evaluation and reproducibility of program analysis; processes and data integration in the networked healthcare; semantic heterogeneity in the formal development of complex systems. In addition, part I contains a tutorial on automata learning in practice; as well as the preliminary manifesto to the LNCS Transactions on the Foundations for Mastering Change with several position papers. Part II contains information on the industrial track and the doctoral symposium and poster session.
-
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change | 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
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. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change | 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I | Tiziana Margaria (u. a.) | Taschenbuch | xviii | Englisch | 2014 | Springer | EAN 9783662452332 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Combinations of Intelligent Methods and Applications: Proceedings of the 4th International Workshop, CIMA 2014, Limassol, Cyprus, November 2014 (at ... Innovation, Systems and Technologies, 46)
Libro 47 de 235: Smart Innovation, Systems and TechnologiesLibrería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 115,75
Envío por EUR 13,90
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Combinations of Intelligent Methods and Applications: Proceedings of the 4th International Workshop, CIMA 2014, Limassol, Cyprus, November 2014 (at ... Innovation, Systems and Technologies, 46)
Libro 47 de 235: Smart Innovation, Systems and TechnologiesLibrería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 115,75
Envío por EUR 13,90
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Combinations of Intelligent Methods and Applications: Proceedings of the 4th International Workshop, CIMA 2014, Limassol, Cyprus, November 2014 (at . (Smart Innovation, Systems and Technologies)
Libro 47 de 235: Smart Innovation, Systems and TechnologiesLibrería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 138,83
Envío por EUR 3,51
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 151.
-
Advances in Wireless Communications and Applications: Smart Communications: Interactive Methods and Intelligent Algorithms, Proceedings of 3rd ICWCA ... Innovation, Systems and Technologies, 190)
Libro 168 de 235: Smart Innovation, Systems and TechnologiesLibrería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 164,69
Envío por EUR 13,90
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Combinations of Intelligent Methods and Applications: Proceedings of the 2nd International Workshop, CIMA 2010, France, October 2010 (Smart Innovation, Systems and Technologies, 8)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 164,69
Envío por EUR 13,90
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 Wireless Communications and Applications: Smart Communications: Interactive Methods and Intelligent Algorithms, Proceedings of 3rd ICWCA 2019 (Smart Innovation, Systems and Technologies)
Libro 168 de 235: Smart Innovation, Systems and TechnologiesLibrería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 164,69
Envío por EUR 13,90
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Combinations of Intelligent Methods and Applications: Proceedings of the 2nd International Workshop, CIMA 2010, France, October 2010 (Smart Innovation, Systems and Technologies, 8)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 182,83
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Leveraging Applications of Formal Methods, Verification and Validation : Technologies for Mastering Change, 6th International Symposium Isola 2014 Imperial, Corfu, Greece October 8-11 2014 Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 164,86
Envío por EUR 17,40
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Proceedings of the World Conference on Intelligent and 3-D Technologies (WCI3DT 2022) : Methods, Algorithms and Applications
Idioma: Inglés
Publicado por Springer Nature Singapore, 2023
ISBN 10: 9811971838 ISBN 13: 9789811971839
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 76,18
Envío por EUR 105,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: Hervorragend. Zustand: Hervorragend | Seiten: 752 | Sprache: Englisch | Produktart: Bücher | This book features a collection of high-quality, peer-reviewed research papers presented at first ¿World Conference on Intelligent and 3-D Technologies¿ (WCI3DT 2022), held in China during May 24¿26, 2022. The book provides an opportunity for the researchers and academia as well as practitioners from industry to publish their ideas and recent research development work on all aspects of 3D imaging technologies and artificial intelligence, their applications, and other related areas. The book presents ideas and the works of scientists, engineers, educators, and students from all over the world from institutions and industries.
-
Leveraging Applications of Formal Methods, Verification and Validation : Technologies for Mastering Change, 6th International Symposium Isola 2014 Imperial, Corfu, Greece October 8-11 2014 Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 187,44
Envío por EUR 2,32
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Combinations of Intelligent Methods and Applications: Proceedings of the 4th International Workshop, CIMA 2014, Limassol, Cyprus, November 2014 (at . Innovation, Systems and Technologies, 46)
Libro 47 de 235: Smart Innovation, Systems and TechnologiesLibrería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 164,87
Envío por EUR 29,00
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Advances in Wireless Communications and Applications: Smart Communications: Interactive Methods and Intelligent Algorithms, Proceedings of 3rd Icwca . (Smart Innovation, Systems and Technologies)
Libro 168 de 235: Smart Innovation, Systems and TechnologiesLibrería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 215,14
Envío por EUR 3,51
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. 2021st edition NO-PA16APR2015-KAP.
-
Advances in Wireless Communications and Applications: Smart Communications: Interactive Methods and Intelligent Algorithms, Proceedings of 3rd ICWCA . Innovation, Systems and Technologies (190))
Libro 168 de 235: Smart Innovation, Systems and TechnologiesLibrería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 219,05
Envío por EUR 3,51
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
-
Combinations of Intelligent Methods and Applications: Proceedings of the 3rd International Workshop, CIMA 2012, Montpellier, France, August 2012 (Smart Innovation, Systems and Technologies)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 248,82
Envío por EUR 3,51
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 156.
-
Combinations of Intelligent Methods and Applications: Proceedings of the 3rd International Workshop, CIMA 2012, Montpellier, France, August 2012 (Smart Innovation, Systems and Technologies (23))
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 227,00
Envío por EUR 29,00
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. Like New. book.
-
Proceedings of the World Conference on Intelligent and 3-D Technologies (WCI3DT 2022): Methods, Algorithms and Applications
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 238,94
Envío por EUR 17,40
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 748 pages. 9.25x6.10x1.57 inches. In Stock.
-
Combinations of Intelligent Methods and Applications: Proceedings of the 2nd International Workshop, CIMA 2010, France, October 2010 (Smart Innovation, Systems and Technologies)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 248,85
Envío por EUR 11,60
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2011 edition. 180 pages. 9.26x6.11x0.55 inches. In Stock.
-
Proceedings of the World Conference on Intelligent and 3-d Technologies Wci3dt 2022 : Methods, Algorithms and Applications
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 244,69
Envío por EUR 17,40
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Combinations of Intelligent Methods and Applications: Proceedings of the 2nd International Workshop, CIMA 2010, France, October 2010 (Smart Innovation, Systems and Technologies, 8)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 229,39
Envío por EUR 29,00
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Proceedings of the World Conference on Intelligent and 3-D Technologies (WCI3DT 2022): Methods, Algorithms and Applications (Smart Innovation, Systems and Technologies, 323)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 250,33
Envío por EUR 13,90
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Combinations of Intelligent Methods and Applications: Proceedings of the 2nd International Workshop, CIMA 2010, France, October 2010: 8 (Smart Innovation, Systems and Technologies, 8)
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 193,40
Envío por EUR 75,40
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New. 2012th.
-
Proceedings of the World Conference on Intelligent and 3-d Technologies Wci3dt 2022 : Methods, Algorithms and Applications
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 268,97
Envío por EUR 2,32
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Proceedings of the World Conference on Intelligent and 3-d Technologies Wci3dt 2022 : Methods, Algorithms and Applications
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 273,09
Envío por EUR 2,32
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
AI Methods and Applications in 3D Technologies: Proceedings of 3DWCAI 2023
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 287,85
Envío por EUR 3,51
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
-
Proceedings of the World Conference on Intelligent and 3-D Technologies (WCI3DT 2022) | Methods, Algorithms and Applications
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 211,75
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. Proceedings of the World Conference on Intelligent and 3-D Technologies (WCI3DT 2022) | Methods, Algorithms and Applications | Roumen Kountchev (u. a.) | Taschenbuch | xvii | Englisch | 2024 | Springer | EAN 9789811971860 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
