Skip to main content

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...

eBooks de Programación

Si te gustan los eBooks de Programación, seguro que te encanta esta selección.
Mostrando 73 - 96 de 7602 resultados
Skip side bar filters
  • NASA Formal Methods

    10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations ... Leer más

    $909 MXN

  • Software Engineering and Formal Methods

    17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware ... Leer más

    $909 MXN

  • Human Aspects of Information Security, Privacy, and Trust

    4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

    Edición de Theo Tryfonas ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 4th International Conference on Human Aspects of Information Security, Privacy, and Trust, HAS 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016 and received a total of 4354 submissions, of which 1287 papers were accepted for publication after a careful reviewing ... Leer más

    $909 MXN

  • Learning and Collaboration Technologies

    Third International Conference, LCT 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Third International Conference on Learning and Collaboration Technologies, LCT 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, Canada, in July 2016, in conjunction with 14 thematically similar conferences. The 1287 papers presented at the HCII 2016 conferences were carefully reviewed ... Leer más

    $909 MXN

  • Electronic Government and the Information Systems Perspective

    5th International Conference, EGOVIS 2016, Porto, Portugal, September 5-8, 2016, Proceedings

    Edición de Andrea Kő, Enrico Francesconi ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 5th International Conference on Electronic Government and the Information Systems Perspective, EGOVIS 2016, held in Porto, Portugal, in September 2016, in conjunction with DEXA 2015.The 22 revised full papers presented together with three invited talk were carefully reviewed and selected from 27 submissions. The papers are organized in the ... Leer más

    $909 MXN

  • Computer-Human Interaction. Cognitive Effects of Spatial Interaction, Learning, and Ability

    25th Australian Computer-Human Interaction Conference, OzCHI 2013, Adelaide, SA, Australia, November 25-29, 2013. Revised and Extended Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 25th Australian Conference on Computer-Human Interaction, OzCHI 2013, held in Adelaide, SA, Australia, in November 2013.The 11 revised extended papers were carefully reviewed and selected from 192 submissions and cover topics on multi-dimensional interaction; video gaming; spatial learning; and physical spatial ... Leer más

    $854 MXN

  • Engineering Psychology and Cognitive Ergonomics

    12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings

    Edición de Don Harris ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015.The total of 1462 papers and 246 poster papers presented at the HCII 2015 conferences was carefully reviewed and ... Leer más

    $909 MXN

  • Human Interface and the Management of Information. Information and Knowledge in Context

    17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II

    Edición de Sakae Yamamoto ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 9172 and 9173 constitutes the refereed proceedings of the Human Interface and the Management of Information thematic track, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015, jointly with 15 other thematically similar conferences. The total of 1462 papers and 246 posters presented at the ... Leer más

    $909 MXN

  • Formal Methods and Software Engineering

    17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of ... Leer más

    $909 MXN

  • Advances in Multimedia Information Processing -- PCM 2015

    16th Pacific-Rim Conference on Multimedia, Gwangju, South Korea, September 16-18, 2015, Proceedings, Part II

    Series Libro 2 - Springer Nature Proceedings Computer Science
    The two-volume proceedings LNCS 9314 and 9315, constitute the proceedings of the 16th Pacific-Rim Conference on Multimedia, PCM 2015, held in Gwangju, South Korea, in September 2015.The total of 138 full and 32 short papers presented in these proceedings was carefully reviewed and selected from 224 submissions. The papers were organized in topical sections named: image and audio processing; ... Leer más

    $909 MXN

  • Computer Vision – ACCV 2016

    13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part III

    Series Libro 3 - Springer Nature Proceedings Computer Science
    The five-volume set LNCS 10111-10115 constitutes the thoroughly refereed post-conference proceedings of the 13th Asian Conference on Computer Vision, ACCV 2016, held in Taipei, Taiwan, in November 2016.The total of 143 contributions presented in these volumes was carefully reviewed and selected from 479 submissions. The papers are organized in topical sections on Segmentation and Classification; ... Leer más

    $909 MXN

  • Emerging Technologies for Education

    First International Symposium, SETE 2016, Held in Conjunction with ICWL 2016, Rome, Italy, October 26-29, 2016, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-workshop proceedings of the First International Symposium, SETE 2016, held in conjunction with ICWL 2016, Rome, Italy, in October 2016.The 81 revised papers, 59 full and 22 short ones, were carefully reviewed and selected from 139 submission. They cover latest findings in various areas, such as emerging technologies for open access to education ... Leer más

    $909 MXN

  • Accountable Intelligence: Bridging Ethics and Algorithms.

    de Joshua Cox ...
    "Accountable Intelligence: Bridging Ethics and Algorithms"Unlock the future of artificial intelligence in Accountable Intelligence: Bridging Ethics and Algorithms, a groundbreaking exploration of designing AI systems with logic, reason, and an unwavering commitment to ethical accountability.This book takes readers on a journey through the intricate art of crafting AI that not only solves problems ... Leer más

    $171 MXN

  • AI Health Guide Smart Tech Tools for Fitness, Nutrition, Sleep, Longevity, and a Healthier Family

    de D.K. Hopkins ...
    Feeling tired, unfocused, or burned out by modern life? Balancing work, family, and health can drain your energy and impact your sleep, focus, and overall wellness. The good news, AI-powered health tools can help you take control of your wellbeing.From smartwatches and fitness trackers to smart scales and health apps, technology can now track your sleep, activity, heart rate, stress, and body ... Leer más

    $51 MXN o gratis con Kobo Plus

  • Rise of the Machines. AI: Doom or Dawn?

    The AI revolution has started, and the most unsafe place to be in any revolution is where we are—at the beginning.Rise of the machines—a new battle for middle earth has begun. Inboxes and social media full of AI-generated slop. Cognitive warfare creating misinformation. The line between real and fake blurred, eroding trust. AI has no responsibility. Do we want it to be unlike us? Without biases, ... Leer más

    $17 MXN o gratis con Kobo Plus

  • Google Bard: Navigating the Age of Information

    In "Google Bard: Navigating the Age of Information," readers are introduced to the revolutionary world of AI as embodied by Google's Bard. This comprehensive guide delves into the technological advancements and challenges of the information age, offering a detailed exploration of how artificial intelligence like Bard is reshaping our interaction with digital data and transforming societal norms ... Leer más

    $171 MXN

  • Virtual Networks Unlocked: Your Guide to Azure Connectivity

    Unlock the full potential of Microsoft Azure's networking capabilities with Virtual Networks Unlocked: Your Guide to Azure Connectivity. This comprehensive and practical guide walks you through every critical aspect of Azure Virtual Networking, making it an essential companion for IT professionals, cloud architects, and network engineers aiming to design, implement, and manage cloud-connected ... Leer más

    $171 MXN

  • Tailoring Prompts For Success - The Ultimate ChatGPT Prompt Engineering Guide

    "Get ready to unlock your full potential with ChatGPT! In this comprehensive guide, you'll discover the power of prompt engineering to boost your creativity, productivity, and effectiveness in various niches such as writing, music, business, health, and even fun. With well-researched content, practical strategies, real-world examples, and 100 carefully crafted prompts, you'll learn how to harness ... Leer más

    $103 MXN

  • Making Sense of AI in K12 Education: A Guide for Teachers, Administrators, and Parents

    AI in K-12 Education

    de Adam Smith ...
    Series series AI in K-12 Education
    As we find ourselves in an era where artificial intelligence is progressively transforming our lives, it becomes essential to understand its impact on the educational domain. In his insightful book, "Making Sense of AI in K12 Education," acclaimed author Adam Smith addresses the essential topic of integrating artificial intelligence in K12 learning environments.Smith carefully dissects the ... Leer más

    $86 MXN

  • AGI Architects: Building a Symbiotic Civilization with Superintelligent Systems

    As artificial general intelligence (AGI) emerges from the realm of science fiction to become a tangible reality, the world stands on the brink of a transformative era. "AI Architects: Building a Symbiotic Civilization with Superintelligent Systems" by Josh explores the potential of AGI-driven systems to revolutionize the way we live, work, and interact in harmony with these powerful technologies ... Leer más

    $171 MXN

  • Google Gemini for Advanced Users

    Google Gemini

    Series series Google Gemini
    Google Gemini for Advanced Users: Mastering AI-Powered Applications Unlock the full potential of Google Gemini, the cutting-edge AI platform thats transforming industries worldwide. In this comprehensive guide, advanced users will discover how to harness the power of AI to drive innovation, streamline operations, and solve complex problems across various sectors—from healthcare and finance to ... Leer más

    $154 MXN o gratis con Kobo Plus

  • Future Data and Security Engineering

    4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 – December 1, 2017, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Third International Conference on Future Data and Security Engineering, FDSE 2016, held in Can Tho City, Vietnam, in November 2016.The 28 revised full papers and 7 short papers presented were carefully reviewed and selected from 128 submissions.The accepted papers were grouped into the following sessions:Advances in query processing and ... Leer más

    $909 MXN

  • Topics in Cryptology – CT-RSA 2018

    The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

    Edición de Nigel P. Smart ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2018, CT-RSA 2018, held in San Francisco, CA, USA, in March 2018.The 26 papers presented in this volume were carefully reviewed and selected from 79 submissions.CT-RSA is the track devoted to scientific papers on cryptography, public-key to symmetric-key cryptography and from crypto- graphic protocols ... Leer más

    $909 MXN

  • Coordination Models and Languages

    20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide ... Leer más

    $909 MXN