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

Si te gustan los eBooks de Desarrollo de software, seguro que te encanta esta selección.
Mostrando 193 - 216 de 10504 resultados
Skip side bar filters
  • Parallel Computing Technologies

    14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

    Edición de Victor Malyshkin ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 14th International Conference on Parallel Computing Technologies, PaCT 2017, held in Nizhny Novgorod, Russia, in September 2017. The 25 full papers and 24 short papers presented were carefully reviewed and selected from 93 submissions. The papers are organized in topical sections on mainstream parallel computing, parallel models and algorithms in ... Leer más

    $909 MXN

  • Coordination Models and Languages

    19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers ... Leer más

    $909 MXN

  • Advances in Computer Games

    14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Advances in Computer Games, ACG 2015, held in Leiden, The Netherlands, in July 2015.The 22 revised full papers presented were carefully reviewed and selected from 34 submissions. The papers cover a wide range of topics such as Monte-Carlo Tree Search and its enhancements; theoretical ... Leer más

    $909 MXN

  • Multi-Agent Based Simulation XVI

    International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Multi-Agent-Based Simulation, MABS 2015, held in Istanbul, Turkey, in May 2015. The workshop was held in conjunction with the 14th International Conference on Autonomous Agents and Multi-agent Systems, AAMAS 2015.The 12 revised full papers included in this volume ware carefully selected ... Leer más

    $727 MXN

  • Engineering Secure Software and Systems

    8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 8th International Symposium on Engineering Secure Software and Systems, ESSoS 2016, held in London, UK, in April 2016. The 13 full papers presented together with 3 short papers and 1 invited talk were carefully reviewed and selected from 50 submissions.The goal of this symposium, is to bring together researchers and practitioners to advance the ... Leer más

    $909 MXN

  • Design, User Experience, and Usability: Novel User Experiences

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

    Edición de Aaron Marcus ...
    Series Libro 2 - 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

  • System Analysis and Modeling. Technology-Specific Aspects of Models

    9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

    Edición de Steffen Herbold, Jens Grabowski ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected from 31 submissions. The contributions are organized in topical theme named: Technology-Specific Aspects of Models.The volume reflects the five sessions of ... Leer más

    $909 MXN

  • Transactions on Petri Nets and Other Models of Concurrency XI

    Series series Computer Science (R0)
    The 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015, and the 15th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC.The 16 papers ... Leer más

    $909 MXN

  • Service-Oriented Computing

    14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 14th International Conference on Service-Oriented Computing, ICSOC 2016, held in Banff, AB, Canada, in October 2016.The 30 full papers presented together with 18 short papers and 8 industrial papers in this volume were carefully reviewed and selected from 137 submissions.The selected papers covered important topics in the area of service-oriented ... Leer más

    $1,636 MXN

  • Computer Aided Verification

    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

    Series Libro 1 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking ... Leer más

    $909 MXN

  • Parallel Computing Technologies

    13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

    Edición de Victor Malyshkin ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 13th International Conference on Parallel Computing Technologies, PaCT 2015, held in Petrozavodsk, Russia, during August / September 2015. The 37 full papers and 14 short papers presented were carefully reviewed and selected from 87 submissions. The papers are organized in topical sections on parallel models, algorithms and programming methods; ... Leer más

    $909 MXN

  • Model Checking Software

    22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

    Edición de Bernd Fischer, Jaco Geldenhuys ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are ... Leer más

    $909 MXN

  • Cryptographic Hardware and Embedded Systems -- CHES 2015

    17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings

    Edición de Tim Güneysu, Helena Handschuh ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th International Workshop on Cryptographic Hardware and Embedded Systems, CHES 2015, held in Saint Malo, France, in September 2015. The 34 full papers included in this volume were carefully reviewed and selected from 128 submissions. They are organized in the following topical sections: processing techniques in side-channel analysis; ... Leer más

    $909 MXN

  • Augmented Reality, Virtual Reality, and Computer Graphics

    4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part II

    Series Libro 2 - Springer Nature Proceedings Computer Science
    The 2-volume set LNCS 10324 and 10325 constitutes the refereed proceedings of the 4th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2017, held in Ugento, Italy, in June 2017.The 54 full papers and 24 short papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in the following topical sections: virtual ... Leer más

    $909 MXN

  • OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments

    Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the Third OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2016. The 14 full papers and 3 short papers presented were carefully reviewed and selected from 25 submissions. The papers discuss a variety of ideas of extending the OpenSHMEM specification and making it efficient for current and next generation systems. This included active messages, non ... Leer más

    $909 MXN

  • Computer Safety, Reliability, and Security

    36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewedand selected from 65 submissions.The papers are organized in topical sections on dynamic fault trees; safety case and ... Leer más

    $909 MXN

  • Selected Areas in Cryptography – SAC 2017

    24th International Conference, Ottawa, ON, Canada, August 16-18, 2017, Revised Selected Papers

    Edición de Carlisle Adams, Jan Camenisch ...
    Series series Springer Nature Proceedings Computer Science
    This book contains revised selected papers from the 24th International Conference on Selected Areas in Cryptography, SAC 2017, held in Ottawa, ON, Canada in August 2017.The 23 full papers presented in this volume were carefully reviewed and selected from 66 submissions. The focus of the conference was on specific themes in the area of cryptographic system design and analysis such as:Design and ... Leer más

    $909 MXN

  • Web Engineering

    18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 18th International Conference on Web Engineering, ICWE 2018, held in Cáceres, Spain, in June 2018.The 18 full research papers and 17 short papers presented together with 2 practice papers, 6 demonstration papers, and 5 tutorials were carefully reviewed and selected from 103 submissions. The papers cover research areas such as Web application ... Leer más

    $909 MXN

  • Static Analysis

    25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

    Edición de Andreas Podelski ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program ... Leer más

    $909 MXN

  • Formal Methods for Industrial Critical Systems

    23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

    Edición de Falk Howar, Jiří Barnat ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in ... Leer más

    $909 MXN

  • Multi-Agent Systems and Agreement Technologies

    15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the revised selected papers from the 15th European Conference on Multi-Agent Systems, EUMAS 2017, and the 5th International Conference on Agreement Technologies, AT 2017, held in Evry, France, in December 2017.The 28 full papers, 3 short papers, and 2 invited papers for EUMAS and the 14 full papers and 2 short papers for AT, presented in this volume were carefully reviewed ... Leer más

    $909 MXN

  • Requirements Engineering: Foundation for Software Quality

    25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

    Edición de Eric Knauss, Michael Goedicke ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019.The 13 full papers and 9 short papers in this volume were carefully reviewed and selected from 66 submissions. The papers were organized in topical sections named: Automated Analysis; Making Sense of ... Leer más

    $1,182 MXN

  • Engineering Multi-Agent Systems

    6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the revised and selected papers from the 6th International Workshop on Engineering Multi-Agent Systems held in Stockholm, Sweden, in July 2018, in conjunction with AAMAS 2018. The 17 full papers presented in this volume were carefully reviewed and selected from 32 submissions. The book also contains a state-of-the-art paper that reflects on the role and potential of MAS ... Leer más

    $1,182 MXN

  • Optical Network Design and Modeling

    23rd IFIP WG 6.10 International Conference, ONDM 2019, Athens, Greece, May 13–16, 2019, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 23rd International IFIP conference on Optical Network Design and Modeling, ONDM 2019, held in Athens, Greece, in May 2019. The 39 revised full papers were carefully reviewed and selected from 87 submissions. The papers focus on cutting-edge research in established areas of optical networking as well as their adoption in support of a wide ... Leer más

    $909 MXN