Skip to main content

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...
  • Epistemologías andinas y amazónicas

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

    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

    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

    361,50 kr.

  • NASA Formal Methods

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

    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,89 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