Rakuten Kobo

Intelligent Human Computer Interaction

13th International Conference, IHCI 2021, Kent, OH, USA, December 20–22, 2021, Revised Selected Papers

Edición de Jong-Hoon Kim, Madhusudan Singh, Javed Khan, Uma Shanker Tiwary, Marigankar Sur, Dhananjay Singh ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the 13th International Conference on Intelligent Human Computer Interaction, IHCI 2021, which took place in Kent, OH, USA, in December 2021.The 59 full and 9 short papers included in these proceedings were carefully reviewed and selected from a total of 142 submissions. The papers were organized in topical sections named human centered AI; and ... Leer más

$88.28 USD

This volume constitutes the refereed proceedings of the 13th International Conference on Intelligent Human Computer Interaction, IHCI 2021, which took place in Kent, OH, USA, in December 2021.The 59 full and 9 short papers included in these proceedings were carefully reviewed and selected from a total of 142 submissions. The papers were organized in topical sections named human centered AI; and
... Leer más
HCI in Mobility, Transport, and Automotive Systems

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

Edición de Heidi Krömker ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 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 ... Leer más

$80.18 USD

This book constitutes the refereed proceedings of the 4th International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 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
... Leer más
HCI in Mobility, Transport, and Automotive Systems

5th International Conference, MobiTAS 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part I

Edición de Heidi Krömker ...

Series Libro 1 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2023, held as part of the 25th International Conference, HCI International 2023, held in Copenhagen, Denmark, in July 2023.The total of 1578 papers and 396 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 7472 ... Leer más

$72.89 USD

This book constitutes the refereed proceedings of the 5th International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2023, held as part of the 25th International Conference, HCI International 2023, held in Copenhagen, Denmark, in July 2023.The total of 1578 papers and 396 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 7472
... Leer más
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 I

Edición de Aaron Marcus, Elizabeth Rosenzweig, Marcelo M. Soares ...

Series Libro 1 - 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 ... Leer más

$88.28 USD

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
... Leer más
Human Interface and the Management of Information

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

Edición de Hirohiko Mori, Yumi Asahi ...

Series Libro 2 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 14015 - 14016 constitutes the thoroughly refereed proceedings of the thematic area Human Interface and the Management of Information, HIMI 2023, which was held as part of HCI International 2023 which took place in Copenhagen, Denmark, during July 23-28, 2023.A total of 1578 papers and 396 posters have been accepted for publication in the HCII 2023 proceedings from a total ... Leer más

$80.18 USD

This two-volume set LNCS 14015 - 14016 constitutes the thoroughly refereed proceedings of the thematic area Human Interface and the Management of Information, HIMI 2023, which was held as part of HCI International 2023 which took place in Copenhagen, Denmark, during July 23-28, 2023.A total of 1578 papers and 396 posters have been accepted for publication in the HCII 2023 proceedings from a total
... Leer más
HCI in Games

5th International Conference, HCI-Games 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings Part I

Edición de Xiaowen Fang ...

Series Libro 1 - Springer Nature Proceedings Computer Science
This two-volume set of HCI-Games 2023, constitutes the refereed proceedings of the 5th International Conference on HCI in Games, 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 and selected from 7472 ... Leer más

$72.89 USD

This two-volume set of HCI-Games 2023, constitutes the refereed proceedings of the 5th International Conference on HCI in Games, 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 and selected from 7472
... Leer más
HCI International 2023 – Late Breaking Papers

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

Edición de Panayiotis Zaphiris, Andri Ioannou, Robert A. Sottilare, Jessica Schwarz, Fiona Fui-Hoon Nah, Keng Siau, June Wei, Gavriel Salvendy ...

Series Libro 7 - 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 ... Leer más

$80.18 USD

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
... Leer más
HCI International 2023 – Late Breaking Papers

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

Edición de Masaaki Kurosu, Ayako Hashizume, Aaron Marcus, Elizabeth Rosenzweig, Marcelo M. Soares, Don Harris, Wen-Chin Li, Dylan D. Schmorrow, Cali M. Fidopiastis, Pei-Luen Patrick Rau ...

Series Libro 1 - 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 ... Leer más

$88.28 USD

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
... Leer más
HCI International 2023 – Late Breaking Papers

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

Edición de Helmut Degen, Stavroula Ntoa, Abbas Moallem ...

Series Libro 6 - 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 ... Leer más

$72.08 USD

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
... Leer más
OpenMP: Enabling Massive Node-Level Parallelism

17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings

Edición de Simon McIntosh-Smith, Bronis R. de Supinski, Jannis Klinkenberg ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Workshop on OpenMP, IWOMP 2021, held virtually in September 2021 and hosted by the High Performance Computing research group at the University of Bristol, UK.The 15 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: synchronization ... Leer más

$64.79 USD

This book constitutes the proceedings of the 17th International Workshop on OpenMP, IWOMP 2021, held virtually in September 2021 and hosted by the High Performance Computing research group at the University of Bristol, UK.The 15 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: synchronization
... Leer más
Advances in Information Retrieval

44th European Conference on IR Research, ECIR 2022, Stavanger, Norway, April 10–14, 2022, Proceedings, Part II

Edición de Matthias Hagen, Suzan Verberne, Craig Macdonald, Christin Seifert, Krisztian Balog, Kjetil Nørvåg, Vinay Setty ...

Series Libro 2 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 13185 and 13186 constitutes the refereed proceedings of the 44th European Conference on IR Research, ECIR 2022, held in April 2022, due to the COVID-19 pandemic.The 35 full papers presented together with 11 reproducibility papers, 13 CLEF lab descriptions papers, 12 doctoral consortium papers, 5 workshop abstracts, and 4 tutorials abstracts were carefully reviewed and ... Leer más

$88.28 USD

This two-volume set LNCS 13185 and 13186 constitutes the refereed proceedings of the 44th European Conference on IR Research, ECIR 2022, held in April 2022, due to the COVID-19 pandemic.The 35 full papers presented together with 11 reproducibility papers, 13 CLEF lab descriptions papers, 12 doctoral consortium papers, 5 workshop abstracts, and 4 tutorials abstracts were carefully reviewed and
... Leer más
Artificial Intelligence in Education

23rd International Conference, AIED 2022, Durham, UK, July 27–31, 2022, Proceedings, Part I

Edición de Maria Mercedes Rodrigo, Noburu Matsuda, Alexandra I. Cristea, Vania Dimitrova ...

Series Libro 1 - Springer Nature Proceedings Computer Science
This two-volume set LNAI 13355 and 13356 constitutes the refereed proceedings of the 23rd International Conference on Artificial Intelligence in Education, AIED 2022, held in Durham, UK, in July 2022.The 40 full papers and 40 short papers presented together with 2 keynotes, 6 industry papers, 12 DC papers, 6 Workshop papers, 10 Practitioner papers, 97 Posters and Late-Breaking Results were ... Leer más

$96.38 USD

This two-volume set LNAI 13355 and 13356 constitutes the refereed proceedings of the 23rd International Conference on Artificial Intelligence in Education, AIED 2022, held in Durham, UK, in July 2022.The 40 full papers and 40 short papers presented together with 2 keynotes, 6 industry papers, 12 DC papers, 6 Workshop papers, 10 Practitioner papers, 97 Posters and Late-Breaking Results were
... Leer más
Cross-Cultural Design. Applications in Business, Communication, Health, Well-being, and Inclusiveness

14th International Conference, CCD 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part III

Edición de Pei-Luen Patrick Rau ...

Series Libro 3 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022 and took place virtually during June 26 - July 1, 2022.The papers included in the HCII-CCD volume set were organized in topical sections as follows:Part I: Cross-Cultural Interaction Design; ... Leer más

$72.89 USD

The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022 and took place virtually during June 26 - July 1, 2022.The papers included in the HCII-CCD volume set were organized in topical sections as follows:Part I: Cross-Cultural Interaction Design;
... Leer más
Intelligent Robotics and Applications

15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part IV

Edición de Honghai Liu, Zhouping Yin, Lianqing Liu, Li Jiang, Guoying Gu, Xinyu Wu, Weihong Ren ...

Series Libro 4 - Springer Nature Proceedings Computer Science
The 4-volume set LNAI 13455 - 13458 constitutes the proceedings of the 15th International Conference on Intelligent Robotics and Applications, ICIRA 2022, which took place in Harbin China, during August 2022.The 284 papers included in these proceedings were carefully reviewed and selected from 442 submissions. They were organized in topical sections as follows: Robotics, Mechatronics, Applications ... Leer más

$96.38 USD

The 4-volume set LNAI 13455 - 13458 constitutes the proceedings of the 15th International Conference on Intelligent Robotics and Applications, ICIRA 2022, which took place in Harbin China, during August 2022.The 284 papers included in these proceedings were carefully reviewed and selected from 442 submissions. They were organized in topical sections as follows: Robotics, Mechatronics, Applications
... Leer más
Networked Systems

10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings

Edición de Mohammed-Amine Koulali, Mira Mezini ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17–19, 2022. The conference was held virtually due to the COVID-19 crisis.The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design ... Leer más

$44.54 USD

This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17–19, 2022. The conference was held virtually due to the COVID-19 crisis.The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design
... Leer más
HCI International 2022 - Late Breaking Papers. Design, User Experience and Interaction

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

Edición de Masaaki Kurosu, Sakae Yamamoto, Hirohiko Mori, Marcelo M. Soares, Elizabeth Rosenzweig, Aaron Marcus, Pei-Luen Patrick Rau, Don Harris, Wen-Chin Li ...

Series series Springer Nature Proceedings Computer Science
Volume LNCS 13516 is part of the refereed proceedings of the 24th International Conference on Human-Computer Interaction, HCII 2022, which was held virtually during June 26 to July 1, 2022.A total of 5583 individuals from academia, research institutes, industry, and governmental agencies from 88 countries submitted contributions, and 1276 papers and 275 posters were included in the proceedings ... Leer más

$44.54 USD

Volume LNCS 13516 is part of the refereed proceedings of the 24th International Conference on Human-Computer Interaction, HCII 2022, which was held virtually during June 26 to July 1, 2022.A total of 5583 individuals from academia, research institutes, industry, and governmental agencies from 88 countries submitted contributions, and 1276 papers and 275 posters were included in the proceedings
... Leer más
Formal Methods for Industrial Critical Systems

27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

Edición de Jan Friso Groote, Marieke Huisman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and ... Leer más

$64.79 USD

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and
... Leer más
Artificial Intelligence

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

Edición de Lu Fang, Daniel Povey, Guangtao Zhai, Tao Mei, Ruiping Wang ...

Series Libro 3 - 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 ... Leer más

$120.68 USD

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
... Leer más
Chatbot Research and Design

6th International Workshop, CONVERSATIONS 2022, Amsterdam, The Netherlands, November 22–23, 2022, Revised Selected Papers

Edición de Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Petter Bae Brandtzaeg ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 6th International Workshop on Chatbot Research and Design, CONVERSATIONS 2022, which was held during November 2022.The 12 papers included in this volume were carefully reviewed and selected from a total of 27 submissions. They were organized in topical sections named: chatbot users and user experience; chatbot design and applications. ... Leer más

$56.69 USD

This book constitutes the proceedings of the 6th International Workshop on Chatbot Research and Design, CONVERSATIONS 2022, which was held during November 2022.The 12 papers included in this volume were carefully reviewed and selected from a total of 27 submissions. They were organized in topical sections named: chatbot users and user experience; chatbot design and applications.
... Leer más
Static Analysis

29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings

Edición de Gagandeep Singh, Caterina Urban ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022.The 18 full papers included in this book were carefully reviewed and selected from 43 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program ... Leer más

$64.79 USD

This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022.The 18 full papers included in this book were carefully reviewed and selected from 43 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program
... Leer más
MACH-10 PM: AI-Powered Product Management at Hypersonic Speed

MACH-10 Leadership Series, #1

de Jason M. Riggs ...

Series Libro 1 - MACH-10 Leadership Series
The MACH-10 PM: AI-Powered Product Management at Hypersonic Speed is a modern field guide for product managers, product leaders, founders, and operators navigating the shift to AI-native product work.AI is transforming product management faster than any previous wave of technology. Discovery can move faster. Research can be synthesized faster. Strategy can be pressure-tested faster. Priorities can ... Leer más

$9.99 USD o gratis con Kobo Plus

The MACH-10 PM: AI-Powered Product Management at Hypersonic Speed is a modern field guide for product managers, product leaders, founders, and operators navigating the shift to AI-native product work.AI is transforming product management faster than any previous wave of technology. Discovery can move faster. Research can be synthesized faster. Strategy can be pressure-tested faster. Priorities can
... Leer más
Human-Computer Interaction – INTERACT 2015

15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part I

Edición de Julio Abascal, Philippe Palanque, Mirko Fetter, Marco Winckler, Tom Gross, Simone Barbosa ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in September 2015. The 41 papers included in the first volume are organized in topical sections on accessibility; accessible interfaces for blind people; accessible interfaces for older adults; affective HCI ... Leer más

$80.18 USD

The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in September 2015. The 41 papers included in the first volume are organized in topical sections on accessibility; accessible interfaces for blind people; accessible interfaces for older adults; affective HCI
... Leer más
Human-Computer Interaction – INTERACT 2015

15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III

Edición de Julio Abascal, Simone Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque, Marco Winckler ...

Series Libro 3 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in September 2015. The 43 papers included in the third volume are organized in topical sections on HCI for global software development; HCI in healthcare; HCI studies; human-robot interaction; interactive ... Leer más

$80.18 USD

The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in September 2015. The 43 papers included in the third volume are organized in topical sections on HCI for global software development; HCI in healthcare; HCI studies; human-robot interaction; interactive
... Leer más
Runtime Verification

6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Edición de Ezio Bartocci, Rupak Majumdar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions.The discussion of the conference ... Leer más

$44.54 USD

This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions.The discussion of the conference
... Leer más

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Programación

Mostrar: