Skip to main content
Search Button
Librairie Kobo Suisse Cartes cadeau Aide

Kobo Rakuten

Liste d'envies

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 des résultats 2113 - 2136 sur 7668
Skip side bar filters

  • Runtime Verification

    20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

    Modifié par Jyotirmoy Deshmukh, Dejan Ničković ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic.The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial ... En savoir plus

    CHF 53.14

  • Formal Methods and Software Engineering

    22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

    Modifié par Shang-Wei Lin, Zhe Hou, Brendan Mahony ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together ... En savoir plus

    CHF 53.14

  • Reuse in Emerging Software Engineering Practices

    19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings

    Modifié par Sihem Ben Sassi, Stéphane Ducasse, Hafedh Mili ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 19th International Conference on Software and Systems Reuse, ICSR 2020, held in Hammamet, Tunesia in December 2020. Due to COVID-19 pandemic the Conference was held virtually.The 16 full papers and 2 short papers included in this book were carefully reviewed and selected from 60 submissions. The papers were organized in topical sections named: modelling ... En savoir plus

    CHF 53.14

  • HCI International 2021 - Late Breaking Papers: Multimodality, eXtended Reality, and Artificial Intelligence

    23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings

    Modifié par Constantine Stephanidis, Masaaki Kurosu, Jessie Y. C. Chen, Gino Fragomeni, Norbert Streitz, Shin'ichi Konomi, Helmut Degen, Stavroula Ntoa ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes late breaking papers from the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held in July 2021. The conference was planned to take place in Washington DC, USA but had to change to a virtual conference mode due to the COVID-19 pandemic.A total of 5222 individuals from academia, research institutes, industry, and governmental agencies from 81 ... En savoir plus

    CHF 106.28

  • Culture and Computing

    10th International Conference, C&C 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings

    Modifié par Matthias Rauterberg ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Conference on Culture and Computing, C&C 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022.The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions.The C&C 2022 proceedings ... En savoir plus

    CHF 85.05

  • Human-Computer Interaction. Technological Innovation

    Thematic Area, HCI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part II

    Modifié par Masaaki Kurosu ...
    Collection Livre 2 - Springer Nature Proceedings Computer Science
    The three-volume set LNCS 13302, 13303 and 13304 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 24th International Conference on Human-Computer Interaction, HCII 2022, which took place virtually in June-July 2022.The 132 papers included in this HCI 2022 proceedings were organized in topical sections as follows:Part I: Theoretical and Multidisciplinary ... En savoir plus

    CHF 106.28

  • Practical Aspects of Declarative Languages

    24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings

    Modifié par James Cheney, Simona Perri ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 24th International Conference on Practical Aspects of Declarative Languages, PADL 2022, held in Philadelphia, PA, USA, during January 17-18, 2022.The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: answer set programming; ... En savoir plus

    CHF 69.35

  • Learning and Collaboration Technologies. Designing the Learner and Teacher Experience

    9th International Conference, LCT 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part I

    Modifié par Panayiotis Zaphiris, Andri Ioannou ...
    Collection Livre 1 - Springer Nature Proceedings Computer Science
    This proceedings, LCT 2022, constitutes the refereed proceedings of the 9th International Conference on Learning and Collaboration Technologies, LCT 2022, held as Part of the 24th International Conference, HCI International 2022, which took place in June/July 2022. Due to COVID-19 pandemic the conference was held virtually.The total of 1271 papers and 275 poster papers included in the 39 HCII 2022 ... En savoir plus

    CHF 95.92

  • Human Aspects of IT for the Aged Population. Design, Interaction and Technology Acceptance

    8th International Conference, ITAP 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part I

    Modifié par Qin Gao, Jia Zhou ...
    Collection Livre 1 - Springer Nature Proceedings Computer Science
    This two-volume set constitutes the refereed proceedings of the 8th International Conference on Human Aspects of IT for the Aged Population, ITAP 2022, held as part of the 24th International Conference, HCI International 2022, held as a virtual event, during June-July 2022.ITAP 2022 includes a total of 75 papers, which focus on topics related to designing for and with older users, technology ... En savoir plus

    CHF 117.06

  • Explainable and Transparent AI and Multi-Agent Systems

    4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9–10, 2022, Revised Selected Papers

    Modifié par Davide Calvaresi, Amro Najjar, Michael Winikoff, Kary Främling ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 4th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2022, held virtually during May 9–10, 2022.The 14 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: explainable machine learning; explainable neuro-symbolic ... En savoir plus

    CHF 53.14

  • Artificial Intelligence

    Second CAAI International Conference, CICAI 2022, Beijing, China, August 27–28, 2022, Revised Selected Papers, Part II

    Modifié par Lu Fang, Daniel Povey, Guangtao Zhai, Tao Mei, Ruiping Wang ...
    Collection Livre 2 - Springer Nature Proceedings Computer Science
    This three-volume set LNCS 13604-13606 constitutes revised selected papers presented at the Second CAAI International Conference on Artificial Intelligence, held in Beijing, China, in August 2022. CICAI is a summit forum in the field of artificial intelligence and the 2022 forum was hosted by Chinese Association for Artificial Intelligence (CAAI).The 164 papers were thoroughly reviewed and ... En savoir plus

    CHF 106.28

  • Network and Parallel Computing

    19th IFIP WG 10.3 International Conference, NPC 2022, Jinan, China, September 24–25, 2022, Proceedings

    Modifié par Shaoshan Liu, Xiaohui Wei ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 19th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2022, which was held in Jinan, China, during September 24-25, 2022.The 23 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 89 submissions. They were organized in topical sections as follows: computer architecture; cloud ... En savoir plus

    CHF 90.48

  • Rules and Reasoning

    6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings

    Modifié par Guido Governatori, Anni-Yasmin Turhan ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2022, held in Berlin, Germany, during September 26–28, 2022. This is the 6th conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 18 full research papers presented ... En savoir plus

    CHF 69.35

  • HCI International 2022 – Late Breaking Papers: Interacting with eXtended Reality and Artificial Intelligence

    24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings

    Modifié par Jessie Y. C. Chen, Gino Fragomeni, Helmut Degen, Stavroula Ntoa ...
    Collection series Springer Nature Proceedings Computer Science
    This proceedings LNCS 13518 constitutes the refereed proceedings of the 24th International Conference on Human-Computer Interaction, HCII 2022, which was held virtually as part of the 24th International Conference, HCII 2022, in June/July 2022.HCII 2022 received a total of 5583 submissions from academia, research institutes, industry, and governmental agencies from 88 countries submitted ... En savoir plus

    CHF 90.48

  • Advances in Cryptology – ASIACRYPT 2022

    28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5–9, 2022, Proceedings, Part II

    Modifié par Shweta Agrawal, Dongdai Lin ...
    Collection Livre 2 - Springer Nature Proceedings Computer Science
    The four-volume proceedings LNCS 13791, 13792, 13793, and 13794 constitute the proceedings of the 28th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2022, held in Taipei, Taiwan, during December 5-9, 2022.The total of 98 full papers presented in these proceedings was carefully reviewed and selected from 364 submissions. The papers were ... En savoir plus

    CHF 106.28

  • Learning and Collaboration Technologies

    10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part II

    Modifié par Panayiotis Zaphiris, Andri Ioannou ...
    Collection Livre 2 - Springer Nature Proceedings Computer Science
    This two-volume set of LCT 2023, constitutes the refereed proceedings of the 10th International Conference on Learning and Collaboration Technologies, LCT 2023, held as Part of the 24th International Conference, HCI International 2023, which took place in July 2023 in Copenhagen, Denmark.The total of 1578 papers and 396 posters included in the HCII 2023 proceedings volumes was carefully reviewed ... En savoir plus

    CHF 106.28

  • Design, User Experience, and Usability

    12th International Conference, DUXU 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part III

    Modifié par Aaron Marcus, Elizabeth Rosenzweig, Marcelo M. Soares ...
    Collection Livre 3 - Springer Nature Proceedings Computer Science
    This 5-volume HCII-DUXU 2023 book set constitutes the refereed proceedings of the 12th International Conference on Design, User Experience, and Usability, DUXU 2023, held as part of the 24th International Conference, HCI International 2023, which took place in Copenhagen, Denmark, in July 2023.A total of 1578 papers and 396 posters have been accepted for publication in the HCII 2023 proceedings ... En savoir plus

    CHF 148.96

  • Universal Access in Human-Computer Interaction

    17th International Conference, UAHCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part II

    Modifié par Margherita Antona, Constantine Stephanidis ...
    Collection Livre 2 - Springer Nature Proceedings Computer Science
    This two-volume set constitutes the refereed proceedings of the 17th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2023, held as part of the 25th International Conference, HCI International 2023, in Copenhagen, Denmark, during July 23-28, 2023.The total of 1578 papers and 396 posters included in the HCII 2022 proceedings was carefully reviewed and selected from ... En savoir plus

    CHF 106.28

  • HCI International 2023 – Late Breaking Papers

    25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part V

    Modifié par Jessie Y. C. Chen, Gino Fragomeni, Xiaowen Fang ...
    Collection Livre 5 - Springer Nature Proceedings Computer Science
    This seven-volume set LNCS 14054-14060 constitutes the proceedings of the 25th International Conference, HCI International 2023, in Copenhagen, Denmark, in July 2023.For the HCCII 2023 proceedings, a total of 1578 papers and 396 posters was carefully reviewed and selected from 7472 submissions. Additionally, 267 papers and 133 posters are included in the volumes of the proceedings published after ... En savoir plus

    CHF 85.05

  • Games and Learning Alliance

    12th International Conference, GALA 2023, Dublin, Ireland, November 29 – December 1, 2023, Proceedings

    Modifié par Pierpaolo Dondio, Mariana Rocha, Attracta Brennan, Avo Schönbohm, Francesca de Rosa, Antti Koskinen, Francesco Bellotti ...
    Collection series Springer Nature Proceedings Computer Science
    This LNCS volume constitutes the proceedings of 12th International Conference, GALA 2023, in Dublin, Ireland, held during November/December 2023.The 36 full papers and 13 short papers were carefully reviewed and selected from 88 submissions. The papers contained in this book have been organized into six categories, reflecting the variety of theoretical approaches and application domains of ... En savoir plus

    CHF 127.83

  • Human-Computer Interaction - INTERACT 2017

    16th IFIP TC 13 International Conference, Mumbai, India, September 25–29, 2017, Proceedings, Part I

    Modifié par Regina Bernhaupt, Girish Dalvi, Anirudha Joshi, Devanuj K. Balkrishan, Jacki O'Neill, Marco Winckler ...
    Collection Livre 1 - Springer Nature Proceedings Computer Science
    The four-volume set LNCS 10513—10516 constitutes the proceedings of the 16th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2017, held in Mumbai, India, in September 2017.The total of 68 papers presented in these books was carefully reviewed and selected from 221 submissions. The contributions are organized in topical sections named:Part I: adaptive design and mobile ... En savoir plus

    CHF 53.14

  • Trends in Functional Programming

    21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers

    Modifié par Aleksander Byrski, John Hughes ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020.The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing; ... En savoir plus

    CHF 53.14

  • Learning and Collaboration Technologies. Human and Technology Ecosystems

    7th International Conference, LCT 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II

    Modifié par Panayiotis Zaphiris, Andri Ioannou ...
    Collection Livre 2 - Springer Nature Proceedings Computer Science
    This two-volume set LNCS 12205 and LNCS 12206 constitutes the proceedings of the 7th International Conference on Learning and Collaboration Technologies, LCT 2020, held as part of the 22nd International Conference, HCI International 2020, which took place in Copenhagen, Denmark, in July 2020.The total of 1439 papers and 238 posters included in the 37 HCII 2020 proceedings volumes was carefully ... En savoir plus

    CHF 53.14

  • HCI International 2020 - Late Breaking Papers: Multimodality and Intelligence

    22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings

    Modifié par Constantine Stephanidis, Masaaki Kurosu, Helmut Degen, Lauren Reinerman-Jones ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes late breaking papers from the 22nd International Conference on Human-Computer Interaction, HCII 2020, which was held in July 2020. The conference was planned to take place in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 posters have been accepted for ... En savoir plus

    CHF 106.28