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 841 - 864 de 7633 resultados
Skip side bar filters
  • Computer Safety, Reliability, and Security

    34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

    Edición de Floor Koornneef, Coen van Gulijk ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive ... Leer más

    $909 MXN

  • Towards Autonomous Robotic Systems

    17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th Annual Conference on Towards Autonomous Robotics, TAROS 2016, held in Sheffield UK, in June/July 2016.The 23 revised full papers presented together with 15 short papers were carefully reviewed and selected from 56 submissions. The overall program covers various aspects of robotics, including navigation, planning, sensing and perception, ... Leer más

    $909 MXN

  • Software Reuse: Bridging with Social-Awareness

    15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 15th International Conference on Software Reuse, ICSR 2016, held in Limassol, Cyprus, in June 2016.The 21 revised full papers presented together with 4 revised short papers were carefully reviewed and selected from 51 submissions. The papers cover different areas of software engineering, where software reuse plays an important role, such as ... Leer más

    $909 MXN

  • Practical Aspects of Declarative Languages

    19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

    Edición de Yuliya Lierler, Walid Taha ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages.The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions.They deal with novel applications and ... Leer más

    $909 MXN

  • Evaluation in the Crowd. Crowdsourcing and Human-Centered Experiments

    Dagstuhl Seminar 15481, Dagstuhl Castle, Germany, November 22 – 27, 2015, Revised Contributions

    Series series Springer Nature Proceedings Computer Science
    As the outcome of the Dagstuhl Seminar 15481 on Crowdsourcing and Human-Centered Experiments, this book is a primer for computer science researchers who intend to use crowdsourcing technology for human centered experiments.The focus of this Dagstuhl seminar, held in Dagstuhl Castle in November 2015, was to discuss experiences and methodological considerations when using crowdsourcing platforms to ... Leer más

    $909 MXN

  • Recent Trends in Algebraic Development Techniques

    23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

    Edición de Phillip James, Markus Roggenbach ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations ... Leer más

    $909 MXN

  • Model and Data Engineering

    8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018.The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model ... Leer más

    $909 MXN

  • Theoretical Aspects of Computing – ICTAC 2018

    15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

    Edición de Bernd Fischer, Tarmo Uustalu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018.The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions.The ICTAC conference aims at bringing together researchers and ... Leer más

    $1,454 MXN

  • Formal Methods: Foundations and Applications

    21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical ... Leer más

    $1,036 MXN

  • Interactive Storytelling

    11th International Conference on Interactive Digital Storytelling, ICIDS 2018, Dublin, Ireland, December 5–8, 2018, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th International Conference on Interactive Digital Storytelling, ICIDS 2018, held in Dublin, Ireland, in December 2018.The 20 revised full papers and 16 short papers presented together with 17 posters, 11 demos, and 4 workshops were carefully reviewed and selected from 56, respectively 29, submissions. The papers are organized in the ... Leer más

    $909 MXN

  • Internet Science

    INSCI 2018 International Workshops, St. Petersburg, Russia, October 24–26, 2018, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed post-conference proceedings of 4 workshops, held at the 5th International Conference on Internet Science, St. Petersburg, Russia, in October 2018: Workshop 1 : Detecting Social Problems in Online Content, Workshop 2: CONVERSATIONS, Workshop 3: The Future of Decentralized Governance: A Workshop on Encryption,Blockchains, and Personal Data, and Workshop 4: Internet ... Leer más

    $1,036 MXN

  • Computational Intelligence in Music, Sound, Art and Design

    8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Computation in Combinatorial Optimization, EvoMUSART 2019, held in Leipzig, Germany, in April 2019, co-located with the Evo*2019 events EuroGP, EvoCOP and EvoApplications.The 16 revised full papers presented were carefully reviewed and selected from 24 submissions. The papers cover a wide range of ... Leer más

    $1,036 MXN

  • Persuasive Technology: Development of Persuasive and Behavior Change Support Systems

    14th International Conference, PERSUASIVE 2019, Limassol, Cyprus, April 9–11, 2019, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 14th International Conference on Persuasive Technology, PERSUASIVE 2019, held in Limassol, Cyprus, in April 2019.The 29 full papers presented were carefully reviewed and selected from 79 submissions. The papers demonstrate how persuasive technologies can help solve societal issues. They were subsequently grouped in the following topical ... Leer más

    $1,182 MXN

  • Principles and Practice of Constraint Programming

    25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

    Edición de Thomas Schiex, Simon de Givry ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019.The 44 full papers presented in this volume were carefully reviewed and selected from 118 submissions. They deal with all aspects of computing with constraints including theory, algorithms, ... Leer más

    $909 MXN

  • Graph-Theoretic Concepts in Computer Science

    45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers

    Series series Springer Nature Proceedings excluding Computer Science
    This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2019, held in Vall de Núria, Spain, in June 2019.The 29 full papers presented in this volume were carefully reviewed and selected from 87 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic ... Leer más

    $1,182 MXN

  • Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Ergonomics and Design

    8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

    Edición de Vincent G. Duffy ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 10286 + 10287 constitutes the refereed proceedings of the 8th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management, DHM 2017, held as part of HCI International 2017 in Vancouver, BC, Canada.HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful ... Leer más

    $909 MXN

  • Unifying Theories of Programming

    6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

    Edición de Jonathan P. Bowen, Huibiao Zhu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of ... Leer más

    $909 MXN

  • Static Analysis

    24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

    Edición de Francesco Ranzato ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is ... Leer más

    $909 MXN

  • Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management

    9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

    Edición de Vincent G. Duffy ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 9th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management, DHM 2018, held as part of HCI International 2018 in Las Vegas, NV, USA.HCII 2018 received a total of 4346 submissions, of which 1171 papers and 160 posters were accepted for publication after a careful reviewing process ... Leer más

    $1,818 MXN

  • Persuasive Technology

    13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th International Conference on Persuasive Technology, PERSUASIVE 2018, held in Waterloo, ON, Canada, in April 2018.The 21 revised full papers and 4 short papers presented were carefully reviewed and selected from 59 submissions. The papers demonstrate how persuasive technologies can help solve societal issues. They explore new frontiers for ... Leer más

    $909 MXN

  • Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry

    10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

    Edición de Jessie Y.C. Chen, Gino Fragomeni ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    This two-volume set LNCS 10909 and 10910 constitutes the refereed proceedings of the 10th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2018, held as part of HCI International 2018 in Las Vegas, NV, USA.HCII 2018 received a total of 4346 submissions, of which 1171 papers and 160 posters were accepted for publication after a careful reviewing process.The 65 papers presented ... Leer más

    $909 MXN

  • Security Standardisation Research

    4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

    Edición de Cas Cremers, Anja Lehmann ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and ... Leer más

    $909 MXN

  • Virtual, Augmented and Mixed Reality. Multimodal Interaction

    11th International Conference, VAMR 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

    Edición de Jessie Y.C. Chen, Gino Fragomeni ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    This two-volume set LNCS 11574 and 11575 constitutes the refereed proceedings of the 11th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2019, held in July 2019 as part of HCI International 2019 in Orlando, FL, USA.HCII 2019 received a total of 5029 submissions, of which 1275 papers and 209 posters were accepted for publication after a careful reviewing process.The 80 ... Leer más

    $1,454 MXN

  • Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Body and Motion

    10th International Conference, DHM 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

    Edición de Vincent G. Duffy ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    This two-volume set LNCS 11581 and 11582 constitutes the thoroughly refereed proceedings of the 10th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, DHM 2019, which was held as part of the 21st HCI International Conference, HCII 2019, in Orlando, FL, USA, in July 2019.The total of 1275 papers and 209 posters included in the 35 ... Leer más

    $909 MXN