Schneider gerardo (43 risultati)
Altre immagini- Brossura
Da: Mullen Books, ABAA, Marietta, U.S.A.Mullen Books, ABAA
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 26,81
EUR 11,27 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Softcover. Condizione: 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,…California, 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
Lingua: Inglese
Editore: Springer 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 di 45. Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 37,88
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: 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
- Brossura
Da: California Books, Miami, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 44,69
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Rilegato
Da: ThriftBooks-Atlanta, AUSTELL, U.S.A.ThriftBooks-Atlanta
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 50,23
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less.
- Brossura
Da: Rarewaves USA, OSWEGO, U.S.A.Rarewaves USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,33
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: 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 compute…rs 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
Lingua: Inglese
Editore: Springer 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 di 45. Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 36,15
EUR 13,87 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Lingua: Inglese
Editore: Springer 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 di 45. Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 49,15
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Lingua: Inglese
Editore: Springer 2022
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 di 45. Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 50,30
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Rilegato
Da: Aspen Book Co., Denver, U.S.A.Aspen Book Co.
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 52,74
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Brossura
Da: Rarewaves.com USA, London, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 54,40
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: 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 compute…rs 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
Lingua: Inglese
Editore: Springer 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 di 45. Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 36,14
EUR 17,36 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Rilegato
Da: HPB-Red, Dallas, U.S.A.HPB-Red
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Discreto
EUR 51,42
EUR 3,25 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: 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.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Lingua: Inglese
Editore: Springer 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 di 45. Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 38,98
EUR 17,36 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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
Lingua: Inglese
Editore: Springer 2022
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 di 45. Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 45,92
EUR 13,87 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Lingua: Inglese
Editore: Springer 2022
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 di 45. Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 59,22
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Turing's Children: How His Ideas Have Shaped the Modern World (ACM Books)
Dubhashi, Devdatt; Panconesi, Alessandro; Schneider, Gerardo
- Rilegato
Da: California Books, Miami, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 63,46
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Lingua: Inglese
Editore: Springer 2022
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 di 45. Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 45,91
EUR 17,36 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Altre immaginiGerardo 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
- Brossura
- Prima edizione
Da: David Bunnett Books, London, Regno UnitoDavid Bunnett Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 41,73
EUR 24,31 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
SOFTCOVER. Condizione: 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) ] . __…To see more of our Photo books type DbbPHOTO in the Keywords search box . . We always ship in STRONG PROTECTIVE CARD PARCELS.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Lingua: Inglese
Editore: Springer 2022
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 di 45. Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 50,19
EUR 17,36 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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
Lingua: Inglese
Editore: Springer 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 di 45. Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Books Puddle, New York, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 66,77
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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
Lingua: Inglese
Editore: Springer 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 di 45. Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 64,01
EUR 7,52 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: New.
Editore: Association for Computing Machin 2026
- Rilegato
Da: Books From California, Simi Valley, U.S.A.Books From California
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 41,59
EUR 4,33 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: Very Good.
Lingua: Inglese
Editore: Springer 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 di 45. Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 59,61
EUR 14,47 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Lingua: Inglese
Editore: Springer 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 di 45. Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Biblios, frankfurt am main, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 62,56
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: New.
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
Lingua: Inglese
Editore: Springer 2023-07-07 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 di 45. Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 59,07
EUR 17,93 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: New.
- Brossura
Da: Rarewaves USA United, OSWEGO, U.S.A.Rarewaves USA United
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 52,04
EUR 43,39 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: 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 compute…rs 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.
Lingua: Inglese
Editore: Springer 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 di 45. Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 96,05
EUR 14,47 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: 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
Lingua: Inglese
Editore: Springer International Publishing 2023
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 45 di 45. Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 67,49
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: 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.
Altre immagini- Brossura
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,16
EUR 75,25 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: 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 compute…rs 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.
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 45,45
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
