Rakuten Kobo

Carrito de compra

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

- Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Recibe 1 crédito cada mes para el audiolibro de tu elección
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  Audiolibro
  de ,
  
  Disponible el:
  
  . Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.
  
  Preventa
  1 audiolibro mensual
  
  + Prueba gratis de 30 días
  
  Oferta especial
  
  Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.
  
  *Sin compromiso, cancela en cualquier momento
  
  GRATIS

artículosartículo

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Recibe 1 crédito cada mes para el audiolibro de tu elección

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
Audiolibro
de ,

Disponible el:
. Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.

Preventa
1 audiolibro mensual

+ Prueba gratis de 30 días

Oferta especial

Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.

*Sin compromiso, cancela en cualquier momento

GRATIS

Recomendado para ti

Computers Helping People with Special Needs

18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11–15, 2022, Proceedings, Part II

Edición de Klaus Miesenberger, Georgios Kouroupetroglou, Katerina Mavrou, Roberto Manduchi, Mario Covarrubias Rodriguez, Petr Penáz ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 13341 and 13342 constitutes the refereed proceedings of the Joint International Conference on Digital Inclusion, Assistive Technology, and Accessibility, ICCHP-AAATE 2022. The conference was held in Lecco, Italy, in July 2022.The 112 papers presented were carefully reviewed and selected from 285 submissions. Included also are 18 introductions. The papers are organized in ... Leer más

$1,269 MXN

The two-volume set LNCS 13341 and 13342 constitutes the refereed proceedings of the Joint International Conference on Digital Inclusion, Assistive Technology, and Accessibility, ICCHP-AAATE 2022. The conference was held in Lecco, Italy, in July 2022.The 112 papers presented were carefully reviewed and selected from 285 submissions. Included also are 18 introductions. The papers are organized in
... Leer más
Computers Helping People with Special Needs

18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11–15, 2022, Proceedings, Part I

Edición de Klaus Miesenberger, Georgios Kouroupetroglou, Katerina Mavrou, Roberto Manduchi, Mario Covarrubias Rodriguez, Petr Penáz ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 13341 and 13342 constitutes the refereed proceedings of the Joint International Conference on Digital Inclusion, Assistive Technology, and Accessibility, ICCHP-AAATE 2022. The conference was held in Lecco, Italy, in July 2022.The 112 papers presented were carefully reviewed and selected from 285 submissions. Included also are 18 introductions. The papers are organized in ... Leer más

$1,269 MXN

The two-volume set LNCS 13341 and 13342 constitutes the refereed proceedings of the Joint International Conference on Digital Inclusion, Assistive Technology, and Accessibility, ICCHP-AAATE 2022. The conference was held in Lecco, Italy, in July 2022.The 112 papers presented were carefully reviewed and selected from 285 submissions. Included also are 18 introductions. The papers are organized in
... Leer más
Language Server Protocol and Implementation

Supporting Language-Smart Editing and Programming Tools

de Nadeeshaan Gunasinghe, Nipuna Marcus ...

Series series Professional and Applied Computing (R0)
Understand the important aspects of implementing a production-grade language server in support of language-smart tools such as code editors and other programming utilities. This book shows you how to create a single implementation of a language server that can be used by multiple tools, enabling you to do the job once in a way that can be shared and reused.This book covers the language server ... Leer más

$966 MXN

Understand the important aspects of implementing a production-grade language server in support of language-smart tools such as code editors and other programming utilities. This book shows you how to create a single implementation of a language server that can be used by multiple tools, enabling you to do the job once in a way that can be shared and reused.This book covers the language server
... Leer más
Logic and Argumentation

5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

Edición de Andreas Herzig, Jieting Luo, Pere Pardo ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023.The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions.The papers focus on topics such as:logic and automated deduction; abstract and ... Leer más

$1,178 MXN

This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023.The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions.The papers focus on topics such as:logic and automated deduction; abstract and
... Leer más
Social Robotics

14th International Conference, ICSR 2022, Florence, Italy, December 13–16, 2022, Proceedings, Part I

Edición de Filippo Cavallo, John-John Cabibihan, Laura Fiorini, Alessandra Sorrentino, Hongsheng He, Xiaorui Liu, Yoshio Matsumoto, Shuzhi Sam Ge ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume set LNAI 13817 and 13818 constitutes the refereed proceedings of the 14th International Conference on Social Robotics, ICSR 2022, which took place in Florence, Italy, in December 2022.The 111 papers presented in the proceedings set were carefully reviewed and selected from 143 submissions. The contributions were organized in topical sections as follows: Social robot navigation and ... Leer más

$1,632 MXN

The two-volume set LNAI 13817 and 13818 constitutes the refereed proceedings of the 14th International Conference on Social Robotics, ICSR 2022, which took place in Florence, Italy, in December 2022.The 111 papers presented in the proceedings set were carefully reviewed and selected from 143 submissions. The contributions were organized in topical sections as follows: Social robot navigation 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

$2,357 MXN

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
Flexible Automation and Intelligent Manufacturing: The Human-Data-Technology Nexus

Proceedings of FAIM 2022, June 19–23, 2022, Detroit, Michigan, USA, Volume 2

Edición de Kyoung-Yun Kim, Leslie Monplaisir, Jeremy Rickli ...

Series series Springer Nature Proceedings excluding Computer Science
This book gathers the second volume of the proceedings of the 31st edition of the International Conference on Flexible Automation and Intelligent Manufacturing, FAIM 2022, held on June 19 – 23, 2022, in Detroit, Michigan, USA. Covering four thematic areas including Manufacturing Processes, Machine Tools, Manufacturing Systems, and Enabling Technologies, it highlights advances in micro- and ... Leer más

$6,147 MXN

This book gathers the second volume of the proceedings of the 31st edition of the International Conference on Flexible Automation and Intelligent Manufacturing, FAIM 2022, held on June 19 – 23, 2022, in Detroit, Michigan, USA. Covering four thematic areas including Manufacturing Processes, Machine Tools, Manufacturing Systems, and Enabling Technologies, it highlights advances in micro- and
... Leer más
Network and Parallel Computing

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

Edición de Shaoshan Liu, Xiaohui Wei ...

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

$1,541 MXN

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
... Leer más
Usability, Accessibility and Ambient Assisted Living

Edición de Alexandra Queirós, Nelson Pacheco da Rocha ...

Series series Computer Science (R0)
Worldwide, the population ageing is a reality. The concept of Active Ageing, adopted by the World Health Organization, aims to guarantee quality ageing and appears as a strategy to solve this demographic challenge. The technological solutions might have a key role in the promotion of human functioning and in the mitigation of disabilities, particularly those resulting from the natural ageing ... Leer más

$906 MXN

Worldwide, the population ageing is a reality. The concept of Active Ageing, adopted by the World Health Organization, aims to guarantee quality ageing and appears as a strategy to solve this demographic challenge. The technological solutions might have a key role in the promotion of human functioning and in the mitigation of disabilities, particularly those resulting from the natural ageing
... Leer más
Computer Vision – ECCV 2022 Workshops

Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part VI

Edición de Leonid Karlinsky, Tomer Michaeli, Ko Nishino ...

Series Libro 6 - Springer Nature Proceedings Computer Science
The 8-volume set, comprising the LNCS books 13801 until 13809, constitutes the refereed proceedings of 38 out of the 60 workshops held at the 17th European Conference on Computer Vision, ECCV 2022. The conference took place in Tel Aviv, Israel, during October 23-27, 2022; the workshops were held hybrid or online.The 367 full papers included in this volume set were carefully reviewed and selected ... Leer más

$1,813 MXN

The 8-volume set, comprising the LNCS books 13801 until 13809, constitutes the refereed proceedings of 38 out of the 60 workshops held at the 17th European Conference on Computer Vision, ECCV 2022. The conference took place in Tel Aviv, Israel, during October 23-27, 2022; the workshops were held hybrid or online.The 367 full papers included in this volume set were carefully reviewed and selected
... Leer más
Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education

16th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2023, Lausanne, Switzerland, October 23–25, 2023, Proceedings

Edición de Jean-Philippe Pellet, Gabriel Parriaux ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2023, held in Lausanne, Switzerland, during October 23–25, 2023.The 14 full papers presented in this book were carefully reviewed and selected from 47 submissions. They are organized in four topical sections named: artificial intelligence and its ... Leer más

Gratis

This book constitutes the proceedings of the 16th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2023, held in Lausanne, Switzerland, during October 23–25, 2023.The 14 full papers presented in this book were carefully reviewed and selected from 47 submissions. They are organized in four topical sections named: artificial intelligence and its
... Leer más
Informatics in Schools. A Step Beyond Digital Education

15th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2022, Vienna, Austria, September 26–28, 2022, Proceedings

Edición de Andreas Bollin, Gerald Futschek ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2021, held in Nijmegen, The Netherlands, in November 2020. Due to COVID-19 related travelling restrictions the conference had to be switched to online format. The 12 full papers presented together with 4 short papers were carefully reviewed and selected ... Leer más

$997 MXN

This book constitutes the proceedings of the 14th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2021, held in Nijmegen, The Netherlands, in November 2020. Due to COVID-19 related travelling restrictions the conference had to be switched to online format. The 12 full papers presented together with 4 short papers were carefully reviewed and selected
... Leer más
Advances in Design and Digital Communication III

Proceedings of the 6th International Conference on Design and Digital Communication, Digicom 2022, November 3–5, 2022, Barcelos, Portugal

Edición de Nuno Martins, Daniel Brandão ...

Series series Springer Nature Proceedings excluding Computer Science
This book reports on research findings and practical lessons featuring advances in the areas of digital and interaction design, graphic design and branding, design education, society and communication in design practice, and related ones. Gathering the proceedings of the 6th International Conference on Digital Design and Communication, Digicom 2022, held on November 3–5, 2022, as an hybrid event, ... Leer más

$3,971 MXN

This book reports on research findings and practical lessons featuring advances in the areas of digital and interaction design, graphic design and branding, design education, society and communication in design practice, and related ones. Gathering the proceedings of the 6th International Conference on Digital Design and Communication, Digicom 2022, held on November 3–5, 2022, as an hybrid event,
... Leer más
HCI International 2022 – Late Breaking Posters

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

Edición de Constantine Stephanidis, Margherita Antona, Stavroula Ntoa, Gavriel Salvendy ...

Series Libro 2 - Springer Nature Proceedings Computer Science
Volume CCIS 1655 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 that ... Leer más

$1,994 MXN

Volume CCIS 1655 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 that
... Leer más
Intelligent Systems

11th Brazilian Conference, BRACIS 2022, Campinas, Brazil, November 28 – December 1, 2022, Proceedings, Part II

Edición de João Carlos Xavier-Junior, Ricardo Araújo Rios ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set LNAI 13653 and 13654 constitutes the refereed proceedings of the 11th Brazilian Conference on Intelligent Systems, BRACIS 2022, which took place in Campinas, Brazil, in November/December 2022.The 89 papers presented in the proceedings were carefully reviewed and selected from 225 submissions. The conference deals with theoretical aspects and applications of artificial and ... Leer más

$1,632 MXN

The two-volume set LNAI 13653 and 13654 constitutes the refereed proceedings of the 11th Brazilian Conference on Intelligent Systems, BRACIS 2022, which took place in Campinas, Brazil, in November/December 2022.The 89 papers presented in the proceedings were carefully reviewed and selected from 225 submissions. The conference deals with theoretical aspects and applications of artificial and
... Leer más
HCI International 2022 - Late Breaking Papers. Interaction in New Media, Learning and Games

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

Edición de Gabriele Meiselwitz, Abbas Moallem, Panayiotis Zaphiris, Andri Ioannou, Robert A. Sottilare, Jessica Schwarz, Xiaowen Fang ...

Series series Springer Nature Proceedings Computer Science
This proceedings LNCS 13517 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 ... Leer más

$1,632 MXN

This proceedings LNCS 13517 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
... Leer más
Artificial Intelligence in Education

24th International Conference, AIED 2023, Tokyo, Japan, July 3–7, 2023, Proceedings

Edición de Ning Wang, Genaro Rebolledo-Mendez, Noboru Matsuda, Olga C. Santos, Vania Dimitrova ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 24th International Conference on Artificial Intelligence in Education, AIED 2023, held in Tokyo, Japan, during July 3-7, 2023. This event took place in hybrid mode.The 53 full papers and 26 short papers presented in this book were carefully reviewed and selected from 311 submissions.The papers present result in high-quality research on ... Leer más

$2,176 MXN

This book constitutes the refereed proceedings of the 24th International Conference on Artificial Intelligence in Education, AIED 2023, held in Tokyo, Japan, during July 3-7, 2023. This event took place in hybrid mode.The 53 full papers and 26 short papers presented in this book were carefully reviewed and selected from 311 submissions.The papers present result in high-quality research on
... Leer más
Euro-Par 2021: Parallel Processing

27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings

Edición de Leonel Sousa, Nuno Roma, Pedro Tomás ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 27th International Conference on Parallel and Distributed Computing, Euro-Par 2021, held in Lisbon, Portugal, in August 2021. The conference was held virtually due to the COVID-19 pandemic.The 38 full papers presented in this volume were carefully reviewed and selected from 136 submissions. They deal with parallel and distributed computing in general, ... Leer más

$1,994 MXN

This book constitutes the proceedings of the 27th International Conference on Parallel and Distributed Computing, Euro-Par 2021, held in Lisbon, Portugal, in August 2021. The conference was held virtually due to the COVID-19 pandemic.The 38 full papers presented in this volume were carefully reviewed and selected from 136 submissions. They deal with parallel and distributed computing in general,
... Leer más
Cooperative Design, Visualization, and Engineering

17th International Conference, CDVE 2020, Bangkok, Thailand, October 25–28, 2020, Proceedings

Edición de Yuhua Luo ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2020, held in Bangkok, Thailand, in October 2020.*The 33 full papers and 7 short papers presented were carefully reviewed and selected from 74 submissions. The achievement, progress and future challenges are reported in areas such as health care, industrial design, ... Leer más

$906 MXN

This book constitutes the proceedings of the 17th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2020, held in Bangkok, Thailand, in October 2020.*The 33 full papers and 7 short papers presented were carefully reviewed and selected from 74 submissions. The achievement, progress and future challenges are reported in areas such as health care, industrial design,
... Leer más
Advances in Computer Graphics

37th Computer Graphics International Conference, CGI 2020, Geneva, Switzerland, October 20–23, 2020, Proceedings

Edición de Nadia Magnenat-Thalmann, Constantine Stephanidis, Enhua Wu, Daniel Thalmann, Bin Sheng, Jinman Kim, George Papagiannakis, Marina Gavrilova ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 37th Computer Graphics International Conference, CGI 2020, held in Geneva, Switzerland, in October 2020. The conference was held virtually.The 43 full papers presented together with 3 short papers were carefully reviewed and selected from 189 submissions. The papers address topics such as: virtual reality; rendering and textures; augmented and ... Leer más

$1,813 MXN

This book constitutes the refereed proceedings of the 37th Computer Graphics International Conference, CGI 2020, held in Geneva, Switzerland, in October 2020. The conference was held virtually.The 43 full papers presented together with 3 short papers were carefully reviewed and selected from 189 submissions. The papers address topics such as: virtual reality; rendering and textures; augmented and
... Leer más
Brain–Computer Interface Research

A State-of-the-Art Summary 8

Edición de Christoph Guger, Brendan Z. Allison, Kai Miller ...

Series series Computer Science (R0)
The Annual BCI Research Awards are international prizes that recognize the top new projects in brain-computer interface (BCI) research. This book contains summaries of the key projects from the 2018 BCI Research Award. Each article is authored by the group of researchers who developed the project, and articles have been updated with new progress achieved since 2018. They are complemented by an ... Leer más

$906 MXN

The Annual BCI Research Awards are international prizes that recognize the top new projects in brain-computer interface (BCI) research. This book contains summaries of the key projects from the 2018 BCI Research Award. Each article is authored by the group of researchers who developed the project, and articles have been updated with new progress achieved since 2018. They are complemented by an
... Leer más
Database Systems for Advanced Applications. DASFAA 2022 International Workshops

BDMS, BDQM, GDMA, IWBT, MAQTDS, and PMBD, Virtual Event, April 11–14, 2022, Proceedings

Edición de Uday Kiran Rage, Vikram Goyal, P. Krishna Reddy ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the papers of several workshops which were held in conjunction with the 27th International Conference on Database Systems for Advanced Applications, DASFAA 2022, held as virtual event in April 2022.The 30 revised full papers presented in this book were carefully reviewed and selected from 65 submissions.DASFAA 2022 presents the following five workshops:· First workshop on ... Leer más

$1,541 MXN

This volume constitutes the papers of several workshops which were held in conjunction with the 27th International Conference on Database Systems for Advanced Applications, DASFAA 2022, held as virtual event in April 2022.The 30 revised full papers presented in this book were carefully reviewed and selected from 65 submissions.DASFAA 2022 presents the following five workshops:· First workshop on
... Leer más
Practical Aspects of Declarative Languages

26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings

Edición de Martin Gebser, Ilya Sergey ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17–19, 2024.The 13 full papers included in this book were carefully reviewed and selected from 25 submissions. The accepted papers span a range of topics related to functional and logic programming, including reactive ... Leer más

$1,178 MXN

This book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17–19, 2024.The 13 full papers included in this book were carefully reviewed and selected from 25 submissions. The accepted papers span a range of topics related to functional and logic programming, including reactive
... Leer más
Composability, Comprehensibility and Correctness of Working Software

8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers

Edición de Zoltán Porkoláb, Viktória Zsók ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software. ... Leer más

$1,360 MXN

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.
... Leer más

Kobo Rakuten

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

Computers Helping People with Special Needs

Computers Helping People with Special Needs

Language Server Protocol and Implementation

Logic and Argumentation

Social Robotics

Artificial Intelligence

Flexible Automation and Intelligent Manufacturing: The Human-Data-Technology Nexus

Network and Parallel Computing

Usability, Accessibility and Ambient Assisted Living

Computer Vision – ECCV 2022 Workshops

Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education

Informatics in Schools. A Step Beyond Digital Education

Advances in Design and Digital Communication III

HCI International 2022 – Late Breaking Posters

Intelligent Systems

HCI International 2022 - Late Breaking Papers. Interaction in New Media, Learning and Games

Artificial Intelligence in Education

Euro-Par 2021: Parallel Processing

Cooperative Design, Visualization, and Engineering

Advances in Computer Graphics

Brain–Computer Interface Research

Database Systems for Advanced Applications. DASFAA 2022 International Workshops

Practical Aspects of Declarative Languages

Composability, Comprehensibility and Correctness of Working Software