Skip to main content

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...

eBooks Programmation

Si vous aimez les titres Programmation, vous allez adorer cette sélection.
Affichage de 1873 à 1896 sur 7708 résultats
Skip side bar filters
  • Towards Autonomous Robotic Systems

    18th Annual Conference, TAROS 2017, Guildford, UK, July 19–21, 2017, Proceedings

    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 18th Annual Conference on Towards Autonomous Robotics, TAROS 2017, held in Guildford, UK, in July 2017.The 43 revised full papers presented together with 13 short papers were carefully reviewed and selected from 66 submissions. The papers discuss robotics research drawn from a wide and diverse range of topics, such as swarm and multi-robotic ... En savoir plus

    $58.04 CAD

  • Human-Computer Interaction. Interaction Technologies

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

    Modifié par Masaaki Kurosu ...
    Collections Livre 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; ... En savoir plus

    $58.04 CAD

  • Automated Reasoning

    9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the International Symposium on Frontiers of Combining Systems, and, for the fourth time, is part of the Federated Logic ... En savoir plus

    $58.04 CAD

  • RoboCup 2017: Robot World Cup XXI

    Collections series Springer Nature Proceedings Computer Science
    This book includes the post-conference proceedings of the 21st RoboCup International Symposium, held in Nagoya, Japan, in September 2017. The 33 full revised papers and 9 papers from the winning teams presented were carefully reviewed and selected from 58 submissions. The papers are orginazed on topical sections on Robotics, Artificial intelligence, Environment perception, State estimation and ... En savoir plus

    $58.04 CAD

  • OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity

    5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers

    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 5th OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2018.The 14 full papers presented in this book were carefully reviewed and selected for inclusion in this volume. The papers discuss a variety of ideas for extending the OpenSHMEM specification and discuss a variety of concepts, including interesting use of OpenSHMEM in HOOVER – a distributed ... En savoir plus

    $58.04 CAD

  • Serious Games

    4th Joint International Conference, JCSG 2018, Darmstadt, Germany, November 7-8, 2018, Proceedings

    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 4th International Conference on Serious Games, JCSG 2018, held in Darmstadt, Germany, in November 2018.The 15 full and 12 short papers presented in this volume were carefully reviewed and selected from 40 submissions. They were organized in topical sections named: serious games studies; game-based learning and teaching; game development - serious games ... En savoir plus

    $58.04 CAD

  • Algorithms and Architectures for Parallel Processing

    18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

    Modifié par Jaideep Vaidya, Jin Li ...
    Collections Livre 3 - Springer Nature Proceedings Computer Science
    The four-volume set LNCS 11334-11337 constitutes the proceedings of the 18th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2018, held in Guangzhou, China, in November 2018.The 141 full and 50 short papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Distributed and Parallel ... En savoir plus

    $58.04 CAD

  • Formal Techniques for Distributed Objects, Components, and Systems

    39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

    Modifié par Jorge A. Pérez, Nobuko Yoshida ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.The 15 full and 3 short papers presented were carefully reviewed and selected ... En savoir plus

    $73.16 CAD

  • Human Interface and the Management of Information. Visual Information and Knowledge Management

    Thematic Area, HIMI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

    Modifié par Sakae Yamamoto, Hirohiko Mori ...
    Collections Livre 1 - Springer Nature Proceedings Computer Science
    This two-volume set LNCS 11569 and 11570 constitutes the refereed proceedings of the Thematic Area on Human Interface and the Management of Information, HIMI 2019, held 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 91 papers presented in ... En savoir plus

    $104.48 CAD

  • Models, Languages, and Tools for Concurrent and Distributed Programming

    Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

    Collections series Computer Science (R0)
    This volume was published in honor of Rocco De Nicola’s 65th birthday. The Festschrift volume contains 27 papers written by close collaborators and friends of Rocco De Nicola and was presented to Rocco on the 1st of July 2019 during a two-day symposium held in Lucca, Italy.The papers present many research ideas that have been influenced by Rocco's work. They testify his intellectual curiosity, ... En savoir plus

    $58.04 CAD

  • Learning and Collaboration Technologies. Ubiquitous and Virtual Environments for Learning and Collaboration

    6th International Conference, LCT 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II

    Collections Livre 2 - Springer Nature Proceedings Computer Science
    This two-volume set LNCS 11590 and 11591 constitutes the refereed proceedings of the 6th International Conference on Learning and Collaboration Technologies, LCT 2019, held as part of the 21st International Conference on Human-Computer Interaction, HCII 2019, in Orlando, FL, USA in July 2019.The 1274 full papers 209 posters presented at the HCII 2019 conferences were carefully reviewed and ... En savoir plus

    $75.50 CAD

  • Human-Computer Interaction. Perspectives on Design

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

    Modifié par Masaaki Kurosu ...
    Collections Livre 1 - Springer Nature Proceedings Computer Science
    The 3 volume-set LNCS 11566, 11567 + 11568 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 21st International Conference on Human-Computer Interaction, HCII 2019, which took place in Orlando, Florida, USA, in July 2019.A total of 1274 papers and 209 posters have been accepted for publication in the HCII 2019 proceedings from a total of 5029 submissions ... En savoir plus

    $92.87 CAD

  • Multi-Agent Systems

    16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

    Modifié par Marija Slavkovik ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the revised post-conference proceedings of the 16th European Conference on Multi-Agent Systems, EUMAS 2018, held at Bergen, Norway, in December 2018.The 18 full papers presented in this volume were carefully reviewed and selected from a total of 34 submissions. The papers report on both early and mature research and cover a wide range of topics in the field of multi-agent ... En savoir plus

    $58.04 CAD

  • Graphical Models for Security

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

    Collections 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 ... En savoir plus

    $58.04 CAD

  • Social Computing and Social Media. Design, Human Behavior and Analytics

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

    Modifié par Gabriele Meiselwitz ...
    Collections Livre 1 - Springer Nature Proceedings Computer Science
    This two-volume set LNCS 11578 and 11579 constitutes the refereed proceedings of the 11th International Conference on Social Computing and Social Media, SCSM 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 81 papers ... En savoir plus

    $87.11 CAD

  • Computational Science – ICCS 2019

    19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III

    Collections Livre 3 - Springer Nature Proceedings Computer Science
    The five-volume set LNCS 11536, 11537, 11538, 11539 and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019.The total of 65 full papers and 168 workshop papers presented in this book set were carefully reviewed and selected from 573 submissions (228 submissions to the main track and 345 submissions to the ... En savoir plus

    $104.48 CAD

  • Logic, Rationality, and Interaction

    7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

    Collections series Springer Nature Proceedings excluding Computer Science
    This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019.The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and ... En savoir plus

    $58.04 CAD

  • Pattern Recognition and Image Analysis

    9th Iberian Conference, IbPRIA 2019, Madrid, Spain, July 1–4, 2019, Proceedings, Part II

    Collections Livre 2 - Springer Nature Proceedings Computer Science
    This 2-volume set constitutes the refereed proceedings of the 9th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2019, held in Madrid, Spain, in July 2019.The 99 papers in these volumes were carefully reviewed and selected from 137 submissions. They are organized in topical sections named:Part I: best ranked papers; machine learning; pattern recognition; image processing and ... En savoir plus

    $92.87 CAD

  • Entertainment Computing and Serious Games

    First IFIP TC 14 Joint International Conference, ICEC-JCSG 2019, Arequipa, Peru, November 11–15, 2019, Proceedings

    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the First IFIP TC 14 Joint International Conference on Entertainment Computing and Serious Games, ICEC-JCSG 2019, held in Arequipa, Peru, in November 2019.The 26 full papers, 5 short papers, and 16 poster, demonstration, and workshop papers presented were carefully reviewed and selected from 88 submissions. They cover a large range of topics at the ... En savoir plus

    $58.04 CAD

  • Programming Languages and Systems

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

    Modifié par Anthony Widjaja Lin ...
    Collections 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, ... En savoir plus

    $58.04 CAD

  • 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

    Collections Livre 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 ... En savoir plus

    $58.04 CAD

  • Verified Software. Theories, Tools, and Experiments

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

    Collections 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 ... En savoir plus

    $58.04 CAD

  • Tests and Proofs

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

    Modifié par Wolfgang Ahrendt, Heike Wehrheim ...
    Collections 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 ... En savoir plus

    $58.04 CAD

  • 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

    Modifié par Sakae Yamamoto, Hirohiko Mori ...
    Collections Livre 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 ... En savoir plus

    $58.04 CAD