Skip to main content
Search Button
Danmark Kobo butik Gavekort Hjælp

Kobo Rakuten

Ønskeliste

Indkøbskurv

Du får VIP-behandling!

Vare(r) ikke tilgængelig til køb
Gennemgå din indkøbskurv. Du kan fjerne de(n) tilgængelige vare(r) nu, ellers fjerner vi det automatisk ved kassen.
varervare
varervare

Anbefalet til dig

Loading...


Bøger fortalt af Barrett Clark

1 - 12 af 12 resultater
Skip side bar filters

  • Epistemologías andinas y amazónicas

    Conceptos indígenas de conocimiento, sabiduría y comprensión

    af Pablo Quintanilla, H. Clark Barrett, Michael L. Cepek, Emanuele Fabiano, Edouard Machery ...
    Este libro analiza tres conceptos filosóficos en lenguas andinas y amazónicas: conocimiento, comprensión y sabiduría. Es el producto de investigaciones interculturales e interdisciplinarias que abordan las distintas maneras como lo andino, lo amazónico y lo occidental se ven unos a otros y a sí mismos. Su propósito es aprender de esas diferencias para conocernos mejor mutuamente, pero también a ... Læs mere

    179,00 kr. eller Gratis med Kobo Plus

  • The Shape of Thought

    How Mental Adaptations Evolve

    af H. Clark Barrett ...
    Serier serie 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 ... Læs mere

    368,74 kr.

  • NASA Formal Methods

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

    Redigeret af Clark Barrett, Misty Davies, Temesghen Kahsai ...
    Serier serie 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, ... Læs mere

    466,97 kr.

  • Automated Deduction – CADE 30

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

    Redigeret af Clark Barrett, Uwe Waldmann ...
    Serier serie 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 ... Læs mere

    Gratis

Personer, der læser disse, syntes også om...

  • Reading in the Brain

    The New Science of How We Read

    af 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 ... Læs mere

    96,99 kr.

    Også tilgængelig som: Lydbog

    Også tilgængelig som: Lydbog

  • Principles of Abstract Interpretation

    af 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 ... Læs mere

    524,86 kr.

  • 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

    Redigeret af Christel Baier, Ugo Dal Lago ...
    Serier serie 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 ... Læs mere

    Gratis

  • How We Learn

    The New Science of Education and the Brain

    af Stanislas Dehaene ...
    Humanity's greatest feat is our incredible ability to learn. Even in their first year, infants acquire language, visual and social knowledge at a rate that surpasses the best supercomputers. But how, exactly, do our brains learn?In How We Learn, leading neuroscientist Stanislas Dehaene delves into the psychological, neuronal, synaptic and molecular mechanisms of learning. Drawing on case studies ... Læs mere

    215,17 kr.

    Også tilgængelig som: Lydbog

    Også tilgængelig som: Lydbog

  • 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

    Redigeret af Amal Ahmed ...
    Serier serie 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 ... Læs mere

    Gratis

  • Surfing Uncertainty

    Prediction, Action, and the Embodied Mind

    af 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 ... Læs mere

    136,22 kr.

  • 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

    Redigeret af Orna Kupferman, Pawel Sobocinski ...
    Serier serie 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 ... Læs mere

    Gratis

  • Human

    The Science Behind What Makes Your Brain Unique

    af Michael S. Gazzaniga ...
    "[A] shimmering new book . . . This is the place to look to learn about our best scientific understanding of what it means to be human." —Steven Pinker, New York Times bestselling author of The Language Instinct and How the Mind Works"A cognitive neuroscientist at the University of California, Santa Barbara (and one of the inventors of the field), takes us on a lively tour through the latest ... Læs mere

    94,11 kr. eller Gratis med Kobo Plus