Importe total (1 artículo artículos):
Destino del pedido:
steffen bernhard editor (45 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (45)
- 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 (43)
- Como nuevo, Excelente o Muy bueno (No hay ningún otro resultado que coincida con este filtro.)
- Bueno o Aceptable (2)
- 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 (45)
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 (No hay ningún otro resultado que coincida con este filtro.)
- No impresión bajo demanda (38)
Idioma (2)
Gastos de envío gratis
- Envío gratis a Estados Unidos de America (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 28,09
Envío por EUR 6,15
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Verification, Model Checking, and Abstract Interpretation
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 50,08
Envío por EUR 6,15
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Computing and Software Science: State of the Art and Perspectives
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2019
ISBN 10: 3319919075 ISBN 13: 9783319919072
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 55,32
Envío por EUR 14,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 590 pages. 9.00x6.00x1.25 inches. In Stock.
-
Bridging the Gap Between Ai and Reality: Third International Conference on Bridging the Gap Between Ai and Reality, Aisola 2025, Rhodes, Greece, November 15, 2025, Selected Papers
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2025
ISBN 10: 3032071313 ISBN 13: 9783032071316
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 72,36
Envío por EUR 11,61
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 180 pages. 9.25x6.10x9.21 inches. In Stock.
-
Let's Talk AI: Interdisciplinarity Is a Must (Lecture Notes in Computer Science, 15000)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 74,33
Envío por EUR 11,61
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 260 pages. 9.25x6.10x9.21 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, . (Lecture Notes in Computer Science, 15223)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 79,37
Envío por EUR 11,61
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 222 pages. 6.14x0.47x9.21 inches. In Stock.
-
Bridging the Gap Between Ai and Reality: Second International Conference, Aisola 2024, Crete, Greece, October 30 November 3, 2024, Selected Papers
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2025
ISBN 10: 3032013763 ISBN 13: 9783032013767
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 73,83
Envío por EUR 17,41
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 450 pages. 9.25x6.10x9.25 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Pape
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 80,23
Envío por EUR 11,61
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. revised edition. 273 pages. 9.20x6.10x0.80 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation - Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, Isola 2020, Rhodes, Greece, October 20-30, 2020, Proceedings
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2021
ISBN 10: 303083722X ISBN 13: 9783030837228
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 80,29
Envío por EUR 11,61
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 277 pages. 9.25x6.10x0.59 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Reocas Colloquium: 12th International Symposium, Isola 2024, Crete, Greece, October 2731, 2024, Proceedings
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2024
ISBN 10: 3031737083 ISBN 13: 9783031737084
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 77,70
Envío por EUR 14,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 443 pages. 9.25x6.10x9.21 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 81,52
Envío por EUR 14,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2012 edition. 377 pages. 9.20x6.10x0.90 inches. In Stock.
-
Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2024
ISBN 10: 3031737504 ISBN 13: 9783031737503
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 85,56
Envío por EUR 11,61
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 160 pages. 9.25x6.10x9.21 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, Isola 2020, Rhodes, Greece, October 2030, 2020, Proceedings
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2020
ISBN 10: 3030614662 ISBN 13: 9783030614669
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 83,93
Envío por EUR 14,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 490 pages. 9.25x6.10x1.18 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation - Verification: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2018
ISBN 10: 3030034208 ISBN 13: 9783030034207
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 84,03
Envío por EUR 14,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 512 pages. 9.25x6.10x1.22 inches. In Stock.
-
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of Tacas: Toolympics, Held As Part of Etaps 2019, Prague, Czech Republic, April 611, 2019, Proceedings
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2019
ISBN 10: 3030175014 ISBN 13: 9783030175016
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 87,32
Envío por EUR 11,61
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 288 pages. 9.25x6.10x0.71 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2010
ISBN 10: 3642165605 ISBN 13: 9783642165603
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 84,35
Envío por EUR 14,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 500 pages. 9.00x6.00x0.75 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation - Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2018
ISBN 10: 3030034232 ISBN 13: 9783030034238
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 84,42
Envío por EUR 14,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 536 pages. 9.25x6.10x1.26 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation - Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2018
ISBN 10: 3030034267 ISBN 13: 9783030034269
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 84,57
Envío por EUR 14,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 544 pages. 9.25x6.10x1.50 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, Isola 2020, Rhodes, Greece, October 2030, 2020, Pro
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2020
ISBN 10: 3030614697 ISBN 13: 9783030614690
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 84,79
Envío por EUR 14,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 544 pages. 9.25x6.10x1.14 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 85,25
Envío por EUR 14,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2012 edition. 633 pages. 9.20x6.10x1.40 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation - Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2018
ISBN 10: 3030034178 ISBN 13: 9783030034177
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 85,49
Envío por EUR 14,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 606 pages. 9.25x6.10x1.50 inches. In Stock.
-
Formal Methods for Industrial Critical Systems: 30th International Conference, Fmics 2025, Aarhus, Denmark, August 2728, 2025, Proceedings
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2025
ISBN 10: 3032009413 ISBN 13: 9783032009418
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 94,52
Envío por EUR 11,61
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 307 pages. 9.26x6.11x9.21 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissimination, Applications; 7th International Symposium, Isola 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2016
ISBN 10: 3319471686 ISBN 13: 9783319471686
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 90,07
Envío por EUR 17,41
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 894 pages. 9.25x6.10x1.73 inches. In Stock.
-
Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science, 1710)
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 107,12
Envío por EUR 6,12
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: New. In shrink wrap. Looks like an interesting title!
-
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, . (Lecture Notes in Computer Science, 15221)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 98,09
Envío por EUR 14,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 419 pages. 6.14x0.86x9.21 inches. In Stock.
-
Transactions on Foundations for Mastering Change: Vol 1
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2016
ISBN 10: 3319465074 ISBN 13: 9783319465074
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 80,19
Envío por EUR 34,82
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 272 pages. 9.25x6.10x0.62 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, . (Lecture Notes in Computer Science, 15222)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 108,80
Envío por EUR 11,61
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 342 pages. 6.14x0.72x9.21 inches. In Stock.
-
Sofsem 2017: Theory and Practice of Computer Science, Proceedings
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2017
ISBN 10: 331951962X ISBN 13: 9783319519623
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 84,57
Envío por EUR 40,62
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 544 pages. 9.25x6.10x1.23 inches. In Stock.
-
Bridging the Gap Between Ai and Reality: First International Conference, Aisola 2023, Crete, Greece, October 23-28, 2023, Proceedings
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2024
ISBN 10: 3031460014 ISBN 13: 9783031460012
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 117,72
Envío por EUR 14,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 469 pages. 9.25x6.10x0.95 inches. In Stock.
-
Bridging the Gap Between AI and Reality: Second International Conference, AISoLA 2024, Crete, Greece, October 30 November 3, 2024, Proceedings: 15217 (Lecture Notes in Computer Science, 15217)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 117,99
Envío por EUR 14,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 483 pages. 9.25x6.10x9.21 inches. In Stock.
