Schneider gerardo (44 resultados)
- Tapa dura
Librería: Aspen Book Co., Denver, CO, Estados Unidos de AmericaAspen Book Co.
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 11,35
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: good. A well-loved companion. Corners and cover might show a little wear, and you could find some notes or highlights. The dust jacket might be MIA, it might have been a library book and extras aren't guaranteedâ"but the story's all there.
- Tapa dura
Librería: HPB-Red, Dallas, TX, Estados Unidos de AmericaHPB-Red
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Regular
EUR 9,73
Envío por EUR 3,22Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority.
- Tapa dura
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de AmericaThriftBooks-Atlanta
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 13,26
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less.
Más imágenes- Tapa blanda
Librería: Mullen Books, ABAA, Marietta, PA, Estados Unidos de AmericaMullen Books, ABAA
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Bueno
EUR 26,57
Envío por EUR 11,17Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Softcover. Condición: VG. Black and white illustrated wraps, 111 pp, profuse bw plates. Catalog of a traveling exhibition organized by the Americas Society, and held at: Americas Society Art Gallery, February 10-March 21, 1999; Sculpture Center, New York, New York, February 10-March 20, 1999; The Mexican Museum, San Francisco, C…alifornia, July 16-September 26, 1999; Lehigh University Art Galleries, Zoellner Art Center, Bethlehem, Pennsylvania, November 10, 1999-January 16, 2000; Austin Museum of Art, Austin, Texas, February 12-April 23, 2000; and, California Center for the Arts, Escondido, California, September 17, 2000-January 7, 2001. Includes bibliographical references (pages 110-111).
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer, 2023
Serie: Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 37,99
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer, 2022
Serie: Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 44,07
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Turing's Children: How His Ideas Have Shaped the Modern World (ACM Books)
Dubhashi, Devdatt; Panconesi, Alessandro; Schneider, Gerardo
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 47,83
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Rarewaves USA, HEBRON, KY, Estados Unidos de AmericaRarewaves USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 49,88
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New. This book explores the profound legacy of Alan Turing, and how his five great ideas have been developed by the winners of the Turing Prize to shape the digital world we live in today. These five groundbreaking concepts-universal computability and insolvability, cryptography, electronic digital computer…s and software, artificial intelligence (AI), and computational biology-serve as the pillars of the narrative. Turing's Children makes the complex ideas in the work of the Turing prize winners accessible to a broad audience. It traces the evolution of these ideas from abstract mathematical principles to their real-world applications, demonstrating their influence on everyday life. Readers will discover how Turing's legacy is woven into the fabric of modern technology: from the smartphones in our pockets and secure online banking, to the development of life-saving drugs and the conversational abilities of AI systems like ChatGPT.The book weaves together historical anecdotes, profiles of pioneering scientists, and vivid examples of current innovations. It offers a comprehensive view of how Turing's vision continues to inspire breakthroughs across science and technology. Turing's Children reveals the enduring relevance of Turing's ideas and the ongoing quest to push the boundaries of what machines-and humanity-can achieve.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer, 2023
Serie: Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 36,33
Envío por EUR 13,94Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer, 2023
Serie: Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 49,43
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer, 2023
Serie: Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 36,32
Envío por EUR 17,45Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Rarewaves.com USA, London, LONDO, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 55,70
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New. This book explores the profound legacy of Alan Turing, and how his five great ideas have been developed by the winners of the Turing Prize to shape the digital world we live in today. These five groundbreaking concepts-universal computability and insolvability, cryptography, electronic digital computer…s and software, artificial intelligence (AI), and computational biology-serve as the pillars of the narrative. Turing's Children makes the complex ideas in the work of the Turing prize winners accessible to a broad audience. It traces the evolution of these ideas from abstract mathematical principles to their real-world applications, demonstrating their influence on everyday life. Readers will discover how Turing's legacy is woven into the fabric of modern technology: from the smartphones in our pockets and secure online banking, to the development of life-saving drugs and the conversational abilities of AI systems like ChatGPT.The book weaves together historical anecdotes, profiles of pioneering scientists, and vivid examples of current innovations. It offers a comprehensive view of how Turing's vision continues to inspire breakthroughs across science and technology. Turing's Children reveals the enduring relevance of Turing's ideas and the ongoing quest to push the boundaries of what machines-and humanity-can achieve.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer, 2023
Serie: Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 39,17
Envío por EUR 17,45Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer, 2022
Serie: Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 46,15
Envío por EUR 13,94Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer, 2022
Serie: Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,55
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer, 2022
Serie: Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 46,14
Envío por EUR 17,45Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer, 2023
Serie: Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 62,91
Envío por EUR 3,43Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer, 2023
Serie: Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 59,05
Envío por EUR 7,56Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New.
Más imágenesGerardo Suter - Labyrinth of Memory (Americas Society Art Gallery, February 10 - March 21 1999 and touring)
SUTER, Gerardo ] Curated and text by Mary Schneider Enriquez, essay by Olivier Debroise
- Tapa blanda
- Primera edición
Librería: David Bunnett Books, London, Reino UnidoDavid Bunnett Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 41,94
Envío por EUR 24,43Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
SOFTCOVER. Condición: Fine. 1st Edition. Large square Quarto size (4to) in photo illustrated stiff glossy card covers, 111pp. Dual text in English and Spanish . [CONDITION: An extremely well preserved almost AS NEW copy (name on verso of front fly-leaf and otherwise unmarked, few spots of slight shelf rub to cover edges) ] . __T…o see more of our Photo books type DbbPHOTO in the Keywords search box . . We always ship in STRONG PROTECTIVE CARD PARCELS.
Turing's Children: How His Ideas Have Shaped the Modern World
Dubhashi, Devdatt; Panconesi, Alessandro; Schneider, Gerardo
- Tapa dura
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 67,32
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer, 2022
Serie: Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 50,41
Envío por EUR 17,45Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer, 2023
Serie: Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 59,16
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer, 2023
Serie: Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,90
Envío por EUR 14,54Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 552 pages. 9.25x6.10x1.30 inches. In Stock.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Antonio Cerone, Bernd-Holger Schlingloff, Markus Roggenbach, Gerardo Schneider, Siraj Ahmed Shaikh
Idioma: Inglés
Editorial: Springer 2023-07-07, 2023
Serie: Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,37
Envío por EUR 18,02Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: New.
- Tapa blanda
Librería: Ammareal, Morangis, FranciaAmmareal
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
OportunidadPrecio actual: EUR 76,49
Envío por EUR 16,50Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Softcover. Condición: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2008. Ammareal gives back up to 15% of this item's net price to ch…arity organizations.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Idioma: Inglés
Editorial: Springer, 2022
Serie: Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 95,66
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Rarewaves USA United, HEBRON, KY, Estados Unidos de AmericaRarewaves USA United
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 51,75
Envío por EUR 43,00Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New. This book explores the profound legacy of Alan Turing, and how his five great ideas have been developed by the winners of the Turing Prize to shape the digital world we live in today. These five groundbreaking concepts-universal computability and insolvability, cryptography, electronic digital computer…s and software, artificial intelligence (AI), and computational biology-serve as the pillars of the narrative. Turing's Children makes the complex ideas in the work of the Turing prize winners accessible to a broad audience. It traces the evolution of these ideas from abstract mathematical principles to their real-world applications, demonstrating their influence on everyday life. Readers will discover how Turing's legacy is woven into the fabric of modern technology: from the smartphones in our pockets and secure online banking, to the development of life-saving drugs and the conversational abilities of AI systems like ChatGPT.The book weaves together historical anecdotes, profiles of pioneering scientists, and vivid examples of current innovations. It offers a comprehensive view of how Turing's vision continues to inspire breakthroughs across science and technology. Turing's Children reveals the enduring relevance of Turing's ideas and the ongoing quest to push the boundaries of what machines-and humanity-can achieve.
Idioma: Inglés
Editorial: Springer, 2023
Serie: Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 96,01
Envío por EUR 14,54Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 552 pages. 9.25x6.10x1.30 inches. In Stock.
Formal Methods for Software Engineering
Markus Roggenbach|Antonio Cerone|Bernd-Holger Schlingloff|Gerardo Schneider|Siraj Ahmed Shaikh
Idioma: Inglés
Editorial: Springer International Publishing, 2023
Serie: Libro 45 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa blanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 67,49
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. Book suitable for graduate and undergraduate courses in Software EngineeringExplains foundations, introduces specification, verification, and testing methodsAuthors are all highly experienced educators and researchersAntonio C.
Más imágenes- Tapa blanda
Librería: Rarewaves.com UK, London, Reino UnidoRarewaves.com UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,41
Envío por EUR 75,62Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New. This book explores the profound legacy of Alan Turing, and how his five great ideas have been developed by the winners of the Turing Prize to shape the digital world we live in today. These five groundbreaking concepts-universal computability and insolvability, cryptography, electronic digital computer…s and software, artificial intelligence (AI), and computational biology-serve as the pillars of the narrative. Turing's Children makes the complex ideas in the work of the Turing prize winners accessible to a broad audience. It traces the evolution of these ideas from abstract mathematical principles to their real-world applications, demonstrating their influence on everyday life. Readers will discover how Turing's legacy is woven into the fabric of modern technology: from the smartphones in our pockets and secure online banking, to the development of life-saving drugs and the conversational abilities of AI systems like ChatGPT.The book weaves together historical anecdotes, profiles of pioneering scientists, and vivid examples of current innovations. It offers a comprehensive view of how Turing's vision continues to inspire breakthroughs across science and technology. Turing's Children reveals the enduring relevance of Turing's ideas and the ongoing quest to push the boundaries of what machines-and humanity-can achieve.
