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 313 - 336 de 7600 resultados
Skip side bar filters
  • Critical Systems: Formal Methods and Automated Verification

    Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. ... Leer más

    $909 MXN

  • Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments

    First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the First International Conference on Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments, ISDDC 2017, held in Vancouver, BC, Canada, in October 2017.The 12 full papers presented together with 1 short paper were carefully reviewed and selected from 43 submissions. This book also contains 3 keynote talks and 2 tutorials ... Leer más

    $909 MXN

  • Computer Vision Systems

    11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers

    Edición de Markus Vincze, Ming Liu, Haoyao Chen ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th International Conference on Computer Vision Systems, ICVS 2017, held in Shenzhen, China, in July 2017.The 61 papers presented were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on visual control, visual navigation, visual inspection, image processing, human robot interaction, stereo ... Leer más

    $909 MXN

  • Programming Languages and Systems

    15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

    Edición de Bor-Yuh Evan Chang ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017.The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; ... Leer más

    $909 MXN

  • Logical Foundations of Computer Science

    International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

    Edición de Sergei Artemov, Anil Nerode ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... Leer más

    $909 MXN

  • Transforming Digital Worlds

    13th International Conference, iConference 2018, Sheffield, UK, March 25-28, 2018, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 13th International Conference on Transforming Digital Worlds, iConference 2018, held in Sheffield, UK, in March 2018.The 42 full papers and 40 short papers presented together with the abstracts of 3 invited talks in this volume were carefully reviewed and selected from 219 submissions. The papers address topics such as social media; communication ... Leer más

    $2,545 MXN

  • Human-Computer Interaction. Interaction in Context

    20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

    Edición de Masaaki Kurosu ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    The 3 volume-set LNCS 10901, 10902 + 10903 constitutes the refereed proceedings of the 20th International Conference on Human-Computer Interaction, HCI 2018, which took place in Las Vegas, Nevada, in July 2018.The total of 1171 papers and 160 posters included in the 30 HCII 2018 proceedings volumes was carefully reviewed and selected from 4346 submissions.HCI 2018 includes a total of 145 papers; ... Leer más

    $1,636 MXN

  • Human-Computer Interaction. Interaction Technologies

    20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

    Edición de Masaaki Kurosu ...
    Series Libro 3 - Springer Nature Proceedings Computer Science
    The 3 volume-set LNCS 10901, 10902 + 10903 constitutes the refereed proceedings of the 20th International Conference on Human-Computer Interaction, HCI 2018, which took place in Las Vegas, Nevada, in July 2018.The total of 1171 papers and 160 posters included in the 30 HCII 2018 proceedings volumes was carefully reviewed and selected from 4346 submissions.HCI 2018 includes a total of 145 papers; ... Leer más

    $909 MXN

  • Graphical Models for Security

    5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018.The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for ... Leer más

    $909 MXN

  • Programming Languages and Systems

    17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

    Edición de Anthony Widjaja Lin ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, ... Leer más

    $909 MXN

  • Design, User Experience, and Usability. Interaction Design

    9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I

    Series Libro 1 - Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 9th International Conference on Design, User Experience, and Usability, DUXU 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020, in Copenhagen, Denmark, in July 2020. The conference was held virtually due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 ... Leer más

    $909 MXN

  • Verified Software. Theories, Tools, and Experiments

    11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory ... Leer más

    $909 MXN

  • On the Move to Meaningful Internet Systems: OTM 2019 Workshops

    Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS and SIAnA 2019, Rhodes, Greece, October 21–25, 2019, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ), Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS) and, 1st ... Leer más

    $909 MXN

  • Persuasive Technology. Designing for Future Change

    15th International Conference on Persuasive Technology, PERSUASIVE 2020, Aalborg, Denmark, April 20–23, 2020, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 15th International Conference on Persuasive Technology, PERSUASIVE 2020, held in Aalborg, Denmark, in April 2020.The 18 full papers presented in this book were carefully reviewed and selected from 79 submissions. The papers are grouped in the following topical sections: methodological and theoretical perspectives on persuasive design; ... Leer más

    $1,036 MXN

  • Universal Access in Human-Computer Interaction. Design Approaches and Supporting Technologies

    14th International Conference, UAHCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I

    Series Libro 1 - Springer Nature Proceedings Computer Science
    This two-volume set of LNCS 12188 and 12189 constitutes the refereed proceedings of the 14th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2020, held as part of the 22nd International Conference, HCI International 2020, which took place in Copenhagen, Denmark, in July 2020. The conference was held virtually due to the COVID-19 pandemic. The total of 1439 papers ... Leer más

    $1,454 MXN

  • Human Interface and the Management of Information. Interacting with Information

    Thematic Area, HIMI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II

    Edición de Sakae Yamamoto, Hirohiko Mori ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    This two-volume set LNCS 12184 and 12185 constitutes the refereed proceedings of the Thematic Area on Human Interface and the Management of Information, HIMI 2020, held as part of HCI International 2020 in Copenhagen, Denmark.*HCII 2020 received a total of 6326 submissions, of which 1439 papers and 238 posters were accepted for publication after a careful reviewing process.The 72 papers presented ... Leer más

    $909 MXN

  • Artificial Intelligence in HCI

    First International Conference, AI-HCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the First International Conference on Artificial Intelligence in HCI, AI-HCI 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020, in July 2020. The conference was planned to be held in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.The conference presents ... Leer más

    $909 MXN

  • Human Interface and the Management of Information. Designing Information

    Thematic Area, HIMI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I

    Edición de Sakae Yamamoto, Hirohiko Mori ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    This two-volume set LNCS 12184 and 12185 constitutes the refereed proceedings of the Thematic Area on Human Interface and the Management of Information, HIMI 2020, held as part of HCI International 2020 in Copenhagen, Denmark.*HCII 2020 received a total of 6326 submissions, of which 1439 papers and 238 posters were accepted for publication after a careful reviewing process.The 72 papers presented ... Leer más

    $909 MXN

  • Tests and Proofs

    14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

    Edición de Wolfgang Ahrendt, Heike Wehrheim ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020.The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in ... Leer más

    $909 MXN

  • Human Interface and the Management of Information. Information-Rich and Intelligent Environments

    Thematic Area, HIMI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II

    Edición de Sakae Yamamoto, Hirohiko Mori ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 12765-12766 constitutes the refereed proceedings of the thematic area Human Interface and the Management of Information, HIMI 2021, which was held as part of HCI International 2021 and took place virtually during July 24-29, 2021.The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 ... Leer más

    $909 MXN

  • Monetización de ChatGPT: aproveche el poder de AI

    Spanish

    de Vaskolo ...
    Series series Spanish
    Este libro electrónico sobre la monetización de ChatGPT te enseñará cómo aprovechar la inteligencia artificial para crear contenido de alta calidad y hacer crecer tu negocio de freelancing. Descubre cómo ahorrar tiempo y aumentar tus ingresos utilizando el poder de la IA para escribir artículos, redactar textos publicitarios, promocionar productos y servicios, y mucho más. Este libro será tu guía ... Leer más

    $59 MXN

  • AGI and the Thin Blue Line: Unleashing the Power of AI in Modern Policing

    In an era of rapid technological advancements and unprecedented possibilities, Artificial General Intelligence (AGI) promises to redefine the world of law enforcement. From surveillance and monitoring to predictive policing and proactive crime prevention, AGI has the potential to revolutionize the way police agencies operate and address the complex challenges of public safety. "AGI and the Thin ... Leer más

    $171 MXN

  • AI MADE SIMPLE: A Beginner’s Guide to every AI tool

    de Kalabandi ...
    Artificial Intelligence (AI) is transforming the world by making routine tasks easier, smarter, and more efficient. This guide explains AI in simple terms, showcasing how smart software powers phones, search engines, entertainment, and daily services like navigation and banking. It introduces beginner-friendly AI tools such as ChatGPT, Gemini, and Claude, and offers practical tips for using AI in ... Leer más

    $51 MXN

  • SQL 101 Crash Course

    SQL 101 Crash Course is a comprehensive beginner's guide that takes you through the world of SQL, right from understanding databases to mastering complex queries. This book is designed to provide you with a solid foundation in SQL, along with practical examples and real-world scenarios to reinforce your learning. In this book, you'll explore the key concepts of databases and their structure while ... Leer más

    $429 MXN