Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “clark barrett”
Skip side bar filters

  • The Shape of Thought

    How Mental Adaptations Evolve

    by H. Clark Barrett ...
    Series series Evolution and Cognition
    This is an open access title. It is available to read and download as a free PDF version on Oxford Academic and is made available under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International licence. The Shape of Thought: How Mental Adaptations Evolve presents a road map for an evolutionary psychology of the twenty-first century. It brings together theory from biology and ... Read more

    $41.99 USD

  • NASA Formal Methods

    9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

    Edited by Clark Barrett, Misty Davies, Temesghen Kahsai ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, ... Read more

    $49.99 USD

  • Audiobook

    Make Way for Ducklings

    by Robert McCloskey ...
    Narrated by Barrett Clark ...

    Unabridged

    12 min

    The classic tale of the family of ducks that settled in the heart of Boston has been delighting successive generations of readers since its publication in 1941. ... Read more

    $12.99 USD

    Also available as: eBooks

    Also available as: eBooks

  • Automated Deduction – CADE 30

    30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings

    Edited by Clark Barrett, Uwe Waldmann ...
    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 30th International Conference on Automated Deduction, CADE 30, which took place in Stuttgart, Germany, during July 2025.CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.The 33 full papers and 4 short papers included ... Read more

    Free

People who read these also enjoyed

  • Audiobook

    Blueberries For Sal

    by Robert McCloskey ...
    Narrated by Owen Jordan ...

    Unabridged

    8 min

    The charming story of Blueberries for Sal has won audiences' hearts for generations.Kuplink, kuplank, kuplunk! Sal and her mother a picking blueberries to can for the winter. But when Sal wanders to the other side of Blueberry Hill, she discovers a mama bear preparing for her own long winter. Meanwhile Sal's mother is being followed by a small bear with a big appetite for berries! Will each mother ... Read more

    Was $9.99 USD Now $3.99 USD

    Also available as: eBooks

    Also available as: eBooks

  • Reading in the Brain

    The New Science of How We Read

    by Stanislas Dehaene ...
    A renowned cognitive neuroscientist?s fascinating and highly informative account of how the brain acquires readingHow can a few black marks on a white page evoke an entire universe of sounds and meanings? In this riveting investigation, Stanislas Dehaene provides an accessible account of the brain circuitry of reading and explores what he calls the ?reading paradox?: Our cortex is the product of ... Read more

    $11.99 USD

    Also available as: Audiobook

    Also available as: Audiobook

  • Principles of Abstract Interpretation

    by Patrick Cousot ...
    Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs.Formal methods are mathematically rigorous techniques for the specification, development, manipulation, and verification of safe, robust, and secure software and hardware systems. Abstract interpretation is a unifying theory of formal ... Read more

    $52.99 USD

  • How We Learn

    Why Brains Learn Better Than Any Machine . . . for Now

    by Stanislas Dehaene ...
    **“There are words that are so familiar they obscure rather than illuminate the thing they mean, and ‘learning’ is such a word. It seems so ordinary, everyone does it. Actually it’s more of a black box, which Dehaene cracks open to reveal the awesome secrets within.”—The New York Times Book ReviewAn illuminating dive into the latest science on our brain's remarkable learning abilities and the ... Read more

    Was $9.99 USD Now $5.99 USD

    Also available as: Audiobook

    Also available as: Audiobook

  • Foundations of Software Science and Computation Structures

    21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

    Edited by Christel Baier, Ugo Dal Lago ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions ... Read more

    Free

  • Programming Languages and Systems

    27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

    Edited by Amal Ahmed ...
    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections ... Read more

    Free

  • Surfing Uncertainty

    Prediction, Action, and the Embodied Mind

    by Andy Clark ...
    How is it that thoroughly physical material beings such as ourselves can think, dream, feel, create and understand ideas, theories and concepts? How does mere matter give rise to all these non-material mental states, including consciousness itself? An answer to this central question of our existence is emerging at the busy intersection of neuroscience, psychology, artificial intelligence, and ... Read more

    $16.19 USD

  • Foundations of Software Science and Computation Structures

    26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

    Edited by Orna Kupferman, Pawel Sobocinski ...
    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 26 regular papers presented in this volume were carefully reviewed and selected ... Read more

    Free