Skip to main content
Search Button
México Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

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 Desarrollo de software

Si te gustan los eBooks de Desarrollo de software, seguro que te encanta esta selección.
Mostrando 1417 - 1440 de 10511 resultados
Skip side bar filters

  • Exploring Services Science

    8th International Conference, IESS 2017, Rome, Italy, May 24-26, 2017, Proceedings

    Edición de Stefano Za, Monica Drăgoicea, Maurizio Cavallari ...
    Series Libro 279 - Lecture Notes in Business Information Processing
    This book constitutes the proceedings of the 8th International Conference on Exploring Services Science, IESS 2017, held in Rome, Italy, in May 2017.The 33 papers presented in this volume were carefully reviewed and selected from 48 submissions. IESS 2017 covered major research and development areas related to Service Science foundations, service engineering and management, service innovation, ... Leer más

    $968 MXN

  • Computer Vision – ACCV 2022

    16th Asian Conference on Computer Vision, Macao, China, December 4–8, 2022, Proceedings, Part III

    Edición de Lei Wang, Juergen Gall, Tat-Jun Chin, Imari Sato, Rama Chellappa ...
    Series Libro 3 - Springer Nature Proceedings Computer Science
    The 7-volume set of LNCS 13841-13847 constitutes the proceedings of the 16th Asian Conference on Computer Vision, ACCV 2022, held in Macao, China, December 2022.The total of 277 contributions included in the proceedings set was carefully reviewed and selected from 836 submissions during two rounds of reviewing and improvement. The papers focus on the following topics:Part I: 3D computer vision; ... Leer más

    $1,742 MXN

  • Information and Communication Technologies in Education, Research, and Industrial Applications

    20th International Conference, ICTERI 2025, Nice, France, September 1–4, 2025, Proceedings

    Edición de Vadim Ermolayev, Frédéric Mallet, Oleksii Ignatenko, Gollam Rabby, Taras Panchenko, Grygoriy Zholtkevych, Vitaliy Yakovyna, Oleksandr Spivakovsky, Philippe Lahire ...
    Series series Springer Nature Proceedings excluding Computer Science
    This book constitutes the proceedings of the 20th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2025, held in Nice, France, during September 2025. ... Leer más

    $1,645 MXN

  • Embedded Systems with .NET nanoFramework

    Practical, Hands-On C# for Microcontrollers: Building Resource-Constrained IoT Devices from Peripherals to CloudMaster

    de José Simões ...
    Series series Professional and Applied Computing (R0)
    Learn to build software that works on embedded devices using the .NET nanoFramework, a free and open-source framework for writing C# for microcontrollers. Whether you are working on an embedded electronic device or an Internet of Things (IoT) device, this book will help you develop software efficiently (and cheaper) when compared to traditional methods.By using C# along with the tools and features ... Leer más

    $1,031 MXN

  • Computer Aided Verification

    31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

    Edición de Isil Dillig, Serdar Tasiran ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical ... Leer más

    Gratis

  • Computer Aided Verification

    31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

    Edición de Isil Dillig, Serdar Tasiran ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical ... Leer más

    Gratis

  • Artificial General Intelligence

    17th International Conference, AGI 2024, Seattle, WA, USA, August 13–16, 2024, Proceedings

    Edición de Kristinn R. Thórisson, Peter Isaev, Arash Sheikhlar ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th International Conference on Artificial General Intelligence, AGI 2024, held in Seattle, Washington, USA in August 2024.The 25 papers presented in this book were carefully reviewed and selected from 55 submissions. The papers focus on the main theme of AGI 2024: 'Understanding Artificial General Intelligence', with discussions on various ... Leer más

    $2,129 MXN

  • Computational Science – ICCS 2024

    24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part IV

    Edición de Leonardo Franco, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot ...
    Series Libro 4 - Springer Nature Proceedings Computer Science
    The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024.The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions.They were organized in topical sections as follows:Part I: ICCS 2024 Main ... Leer más

    $2,710 MXN

  • Software Engineering Methods in Systems and Network Systems

    Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 2

    Edición de Radek Silhavy, Petr Silhavy ...
    Series series Springer Nature Proceedings excluding Computer Science
    This book presents cutting-edge research and methodologies in software engineering, specifically focusing on systems and network systems. It showcases novel development approaches and network system optimizations, highlighting the field's dynamic evolution. The book is designed for experts, scholars, and professionals, offering insights and tools crucial for advancing the software engineering ... Leer más

    $3,678 MXN

  • On the Pursuit of Insight and Elegance

    Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday

    Edición de Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Thomas Wies ...
    Series series Computer Science (R0)
    Andreas Podelski is one of the leading researchers in formal verification and software engineering, in particular automata and formal languages. After a Ph.D. from the University of Paris 7 in 1992 under the guidance of Maurice Nivat, he had research positions at DEC PRL and the Max Planck Institute for Computer Science. He was appointed to a professorship and Chair of Software Engineering at the ... Leer más

    $968 MXN

  • Tools and Algorithms for the Construction and Analysis of Systems

    22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

    Edición de Marsha Chechik, Jean-François Raskin ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 44 full papers presented in this volume were carefully reviewed and selected from ... Leer más

    $909 MXN

  • Design, User Experience, and Usability: Design Thinking and Methods

    5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part I

    Edición de Aaron Marcus ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    The three-volume set LNCS 9746, 9747, and 9748 constitutes the proceedings of the 5th International Conference on Design, User Experience, and Usability, DUXU 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, Canada, in July 2016, jointly with 13 other thematically similar conferences. The total of 1287 papers presented at the HCII 2016 ... Leer más

    $909 MXN

  • Graph Transformation

    9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

    Edición de Rachid Echahed, Mark Minas ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 9th International Conference on Graph Transformation, ICGT 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 14 papers presented in this were carefully reviewed and selected from 33 submissions. They were organized in topical sections named: foundations, tools and algorithms, queries, and applications.The book also contains ... Leer más

    $909 MXN

  • Modeling and Using Context

    10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017, Proceedings

    Edición de Patrick Brézillon, Roy Turner, Carlo Penco ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 10th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2017, held in Paris, France, in June 2017.The 26 full papers and 15 short papers presented were carefully reviewed and selected from 88 submissions. The papers feature research in a wide range of disciplines related to issues of context and contextual knowledge ... Leer más

    $909 MXN

  • Model-Based Safety and Assessment

    5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

    Edición de Marco Bozzano, Yiannis Papadopoulos ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento, Italy, in September 2017.The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers are organized in topical sections on safety process; safety models and languages; fault detection and propagation; safety ... Leer más

    $909 MXN

  • Green, Pervasive, and Cloud Computing

    12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings

    Edición de Man Ho Allen Au, Arcangelo Castiglione, Kim-Kwang Raymond Choo, Francesco Palmieri, Kuan-Ching Li ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 12th International Conference on Green, Pervasive, and Cloud Computing, GPC 2017, held in Cetara, Italy, in May 2017 and the following colocated workshops: First International Workshop on Digital Knowledge Ecosystems 2017; and First Workshop on Cloud Security Modeling, Monitoring and Management, CS3M 2017.The 58 full papers included in this volume were ... Leer más

    $1,636 MXN

  • Numerical Software Verification

    10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

    Edición de Alessandro Abate, Sylvie Boldo ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event.The 3 full papers presented together with 3 short papers, 2 keynote ... Leer más

    $909 MXN

  • Interoperability and Open-Source Solutions for the Internet of Things

    Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers

    Edición de Ivana Podnar Žarko, Arne Broering, Sergios Soursos, Martin Serrano ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the second International Workshop on Interoperability and Open-Source Solutions for the Internet of Things, InterOSS-IoT 2016, held in Stuttgart, Germany, November 7, 2016.The 11 revised full papers presented were carefully reviewed and selected from 17 submissions during two rounds of reviewing. They are organized in ... Leer más

    $909 MXN

  • Agent Environments for Multi-Agent Systems IV

    4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers

    Edición de Danny Weyns, Fabien Michel ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Environments for Multiagent Systems, E4MAS 2014 - 10 years later, held in Paris, France, in May 2014 as an associated event of AAMAS 2014, the 13th International Conference on Autonomous Agents and Multiagent Systems.The 6 revised full papers presented together with 1 roadmap paper and 7 ... Leer más

    $854 MXN

  • Transactions on Computational Collective Intelligence XX

    Edición de Ngoc Thanh Nguyen, Ryszard Kowalczyk, Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe ...
    Series series Computer Science (R0)
    These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition ... Leer más

    $909 MXN

  • Verified Software: Theories, Tools, and Experiments

    7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

    Edición de Arie Gurfinkel, Sanjit A. Seshia ...
    Series series Springer Nature Proceedings Computer Science
    This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.The 12 revised full papers presented were carefully revised and selected from 25 submissions.The goal of this conference is to advance the state of the art in the science and ... Leer más

    $909 MXN

  • Trust, Privacy and Security in Digital Business

    13th International Conference, TrustBus 2016, Porto, Portugal, September 7-8, 2016, Proceedings

    Edición de Sokratis Katsikas, Costas Lambrinoudakis, Steven Furnell ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2016, held in Porto, Portugal, in September 2016 in conjunction with DEXA 2016. The 8 revised full papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in the following topical sections: security, privacy and ... Leer más

    $727 MXN

  • Static Analysis

    23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

    Edición de Xavier Rival ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow ... Leer más

    $909 MXN

  • Transactions on Computational Collective Intelligence XVIII

    Edición de Ngoc Thanh Nguyen ...
    Series series Computer Science (R0)
    These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition ... Leer más

    $909 MXN