Gerardo Schneider (45 results)
- Hardcover
Seller: Aspen Book Co., Denver, CO, U.S.A.Aspen Book Co.
Contact seller5-star sellerCondition: Used - Good
US$ 16.71
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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.
- Hardcover
Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contact seller5-star sellerCondition: Used - Fair
US$ 14.88
US$ 3.75 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: 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.
- Hardcover
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contact seller5-star sellerCondition: Used - As new
US$ 18.86
Free ShippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less.
More imagesLanguage: English
Published by Americas Society Art Gallery, New York, 1999
- Softcover
Seller: Mullen Books, ABAA, Marietta, PA, U.S.A.Mullen Books, ABAA
Contact seller4-star sellerCondition: Used - Very good
US$ 30.00
US$ 12.99 shippingShips within U.S.A.Quantity: 1 available
Softcover. Condition: 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
Language: English
Published by Springer, 2023
Series: Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 42.80
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: 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
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 50.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2022
Series: Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 49.61
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Rarewaves USA, OSWEGO, IL, U.S.A.Rarewaves USA
Contact seller5-star sellerCondition: New
US$ 56.31
Free ShippingShips within U.S.A.Quantity: Over 20 available
Paperback. Condition: 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
Language: English
Published by Springer, 2023
Series: Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 42.13
US$ 16.16 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2023
Series: Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 55.64
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2023
Series: Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 42.11
US$ 20.23 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
US$ 63.03
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: 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
Language: English
Published by Springer, 2023
Series: Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 45.41
US$ 20.23 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: 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
Language: English
Published by Springer, 2022
Series: Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 53.51
US$ 16.16 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2022
Series: Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 67.02
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Turing's Children: How His Ideas Have Shaped the Modern World
Dubhashi, Devdatt; Panconesi, Alessandro; Schneider, Gerardo
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 71.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2022
Series: Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 53.50
US$ 20.23 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
More imagesGerardo 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
- Softcover
- First Edition
Seller: David Bunnett Books, London, United KingdomDavid Bunnett Books
Contact seller5-star sellerCondition: Used - Fine
US$ 48.63
US$ 28.33 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
SOFTCOVER. Condition: 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.
Formal Methods for Software Engineering
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2023
Series: Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 76.47
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2022
Series: Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 58.45
US$ 20.23 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: 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
Language: English
Published by Springer, 2023
Series: Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 75.25
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: 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
Language: English
Published by Springer, 2023
Series: Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 71.99
US$ 8.77 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New.
Language: English
Published by Springer, 2023
Series: Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 69.46
US$ 16.86 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: 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
Language: English
Published by Springer, 2023
Series: Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 76.40
US$ 11.50 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: 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
Language: English
Published by Springer 2023-07-07, 2023
Series: Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 68.84
US$ 20.90 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New.
Formal Methods for Software Engineering
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2022
Series: Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 93.48
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
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
Language: English
Published by Springer, 2022
Series: Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 108.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Rarewaves USA United, OSWEGO, IL, U.S.A.Rarewaves USA United
Contact seller5-star sellerCondition: New
US$ 60.24
US$ 50.00 shippingShips within U.S.A.Quantity: Over 20 available
Paperback. Condition: 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.
- Softcover
Seller: Ammareal, Morangis, FranceAmmareal
Contact seller5-star sellerCondition: Used - Fine
US$ 101.16
US$ 19.07 shippingShips from France to U.S.A.Quantity: 1 available
Softcover. Condition: 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.
Language: English
Published by Springer, 2023
Series: Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 111.56
US$ 16.86 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 552 pages. 9.25x6.10x1.30 inches. In Stock.
