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

New Opportunities for Software Reuse

17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

Edición de Rafael Capilla, Barbara Gallina, Carlos Cetina ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Software Reuse, ICSR 2018, held in Madrid, Spain, in May 2018.The 9 revised full papers and 2 short papers presented were carefully reviewed and selected from 29 submissions. The papers are organized in the following topical sections: variability management; hierarchies and reuse measures; dependencies and ... Leer más

$2,000 MXN

This book constitutes the refereed proceedings of the 17th International Conference on Software Reuse, ICSR 2018, held in Madrid, Spain, in May 2018.The 9 revised full papers and 2 short papers presented were carefully reviewed and selected from 29 submissions. The papers are organized in the following topical sections: variability management; hierarchies and reuse measures; dependencies and
... Leer más
Artificial Intelligence in Education

19th International Conference, AIED 2018, London, UK, June 27–30, 2018, Proceedings, Part I

Edición de Carolyn Penstein Rosé, Roberto Martínez-Maldonado, H. Ulrich Hoppe, Rose Luckin, Manolis Mavrikis, Kaska Porayska-Pomsta, Bruce McLaren, Benedict du Boulay ...

Series Libro 1 - Springer Nature Proceedings Computer Science
This two volume set LNAI 10947 and LNAI 10948 constitutes the proceedings of the 19th International Conference on Artificial Intelligence in Education, AIED 2018, held in London, UK, in June 2018.The 45 full papers presented in this book together with 76 poster papers, 11 young researchers tracks, 14 industry papers and 10 workshop papers were carefully reviewed and selected from 192 submissions. ... Leer más

$1,636 MXN

This two volume set LNAI 10947 and LNAI 10948 constitutes the proceedings of the 19th International Conference on Artificial Intelligence in Education, AIED 2018, held in London, UK, in June 2018.The 45 full papers presented in this book together with 76 poster papers, 11 young researchers tracks, 14 industry papers and 10 workshop papers were carefully reviewed and selected from 192 submissions.
... Leer más
Rewriting Logic and Its Applications

12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Edición de Vlad Rusu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018.The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of computation and an expressive semantic framework for concurrency, ... Leer más

$909 MXN

This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018.The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of computation and an expressive semantic framework for concurrency,
... Leer más
Formal Methods Teaching

Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Edición de Brijesh Dongol, Luigia Petre, Graeme Smith ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures;
... Leer más
Human-Computer Interaction. Multimodal and Natural Interaction

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

Edición de Masaaki Kurosu ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 12181, 12182, and 12183 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 22nd International Conference on Human-Computer Interaction, HCII 2020, which took place in Copenhagen, Denmark, in July 2020.*A total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings from a total of 6326 ... Leer más

$1,636 MXN

The three-volume set LNCS 12181, 12182, and 12183 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 22nd International Conference on Human-Computer Interaction, HCII 2020, which took place in Copenhagen, Denmark, in July 2020.*A total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings from a total of 6326
... Leer más
Coordination Models and Languages

22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

Edición de Simon Bliudze, Laura Bocchi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic.The 12 full papers and 6 short papers ... Leer más

$909 MXN

This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic.The 12 full papers and 6 short papers
... Leer más
HCI in Mobility, Transport, and Automotive Systems. Driving Behavior, Urban and Smart Mobility

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

Edición de Heidi Krömker ...

Series Libro 2 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 12212 and 12213 constitutes the refereed proceedings of the Second International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020, in Copenhagen, Denmark, in July, 2020.*A total of 1439 full papers and 238 posters have been carefully reviewed and ... Leer más

$1,327 MXN

This two-volume set LNCS 12212 and 12213 constitutes the refereed proceedings of the Second International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020, in Copenhagen, Denmark, in July, 2020.*A total of 1439 full papers and 238 posters have been carefully reviewed and
... Leer más
Diversity, Divergence, Dialogue

16th International Conference, iConference 2021, Beijing, China, March 17–31, 2021, Proceedings, Part II

Edición de Katharina Toeppe, Hui Yan, Samuel Kai Wah Chu ...

Series Libro 2 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 12645-12646 constitutes the refereed proceedings of the 16th International Conference on Diversity, Divergence, Dialogue, iConference 2021, held in Beijing, China, in March 2021.The 32 full papers and the 59 short papers presented in this two-volume set were carefully reviewed and selected from 225 submissions. They cover topics such as: AI and machine learning; data ... Leer más

$1,636 MXN

This two-volume set LNCS 12645-12646 constitutes the refereed proceedings of the 16th International Conference on Diversity, Divergence, Dialogue, iConference 2021, held in Beijing, China, in March 2021.The 32 full papers and the 59 short papers presented in this two-volume set were carefully reviewed and selected from 225 submissions. They cover topics such as: AI and machine learning; data
... Leer más
Virtual, Augmented and Mixed Reality

13th International Conference, VAMR 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings

Edición de Jessie Y. C. Chen, Gino Fragomeni ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2021, held virtually as part of the 23rd HCI International Conference, HCII 2021, in July 2021.The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions.The 47 papers included in ... Leer más

$2,182 MXN

This book constitutes the refereed proceedings of the 13th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2021, held virtually as part of the 23rd HCI International Conference, HCII 2021, in July 2021.The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions.The 47 papers included in
... Leer más
Human-Computer Interaction. Design and User Experience Case Studies

Thematic Area, HCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part III

Edición de Masaaki Kurosu ...

Series Libro 3 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 12762, 12763, and 12764 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 23rd International Conference on Human-Computer Interaction, HCII 2021, which took place virtually in July 2021.The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 ... Leer más

$909 MXN

The three-volume set LNCS 12762, 12763, and 12764 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 23rd International Conference on Human-Computer Interaction, HCII 2021, which took place virtually in July 2021.The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222
... Leer más
Universal Access in Human-Computer Interaction. Interaction Techniques and Environments

10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part II

Edición de Constantine Stephanidis, Margherita Antona ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 9737-9739 constitutes the refereed proceedings of the 10th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2016, held as part of the 10th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, ON, Canada in July 2016, jointly with 15 other thematically similar conferences. The total of 1287 papers presented at the ... Leer más

$909 MXN

The three-volume set LNCS 9737-9739 constitutes the refereed proceedings of the 10th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2016, held as part of the 10th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, ON, Canada in July 2016, jointly with 15 other thematically similar conferences. The total of 1287 papers presented at the
... Leer más
Web Engineering

16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings

Edición de Alessandro Bozzon, Cesare Pautasso, Philippe Cudré-Mauroux ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Web Engineering, ICWE 2016, held in Lugano, Switzerland, in June 2016.The 19 full research papers, 13 short papers, 3 vision papers, 11 demonstrations, 5 posters, 6 PhD Symposium and 4 tutorials presented were carefully reviewed and selected from 120 submissions.The 16th edition of ICWE accepted contributions ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 16th International Conference on Web Engineering, ICWE 2016, held in Lugano, Switzerland, in June 2016.The 19 full research papers, 13 short papers, 3 vision papers, 11 demonstrations, 5 posters, 6 PhD Symposium and 4 tutorials presented were carefully reviewed and selected from 120 submissions.The 16th edition of ICWE accepted contributions
... Leer más
Transactions on Computational Science XXVIII

Special Issue on Cyberworlds and Cybersecurity

Edición de C.J. Kenneth Tan, Alexei Sourin, Marina L. Gavrilova ...

Series series Computer Science (R0)
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, ... Leer más

$909 MXN

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments,
... Leer más
Cultural Robotics

First International Workshop, CR 2015, Held as Part of IEEE RO-MAN 2015, Kobe, Japan, August 31, 2015. Revised Selected Papers

Edición de Jeffrey T.K.V. Koh, Belinda J. Dunstan, David Silvera-Tawil, Mari Velonaki ...

Series series Springer Nature Proceedings Computer Science
This LNAI 9549 constitutes the refereed proceedings of the First International Workshop in Cultural Robotics 2015, held as part of the 24th International Symposium on Robot and Human Interactive Communication held in Kobe, Japan, in August/September 2015.A total of 12 full papers and 1 short paper were accepted from a total of 26 initially submitted.The following papers are organized into four ... Leer más

$909 MXN

This LNAI 9549 constitutes the refereed proceedings of the First International Workshop in Cultural Robotics 2015, held as part of the 24th International Symposium on Robot and Human Interactive Communication held in Kobe, Japan, in August/September 2015.A total of 12 full papers and 1 short paper were accepted from a total of 26 initially submitted.The following papers are organized into four
... Leer más
Graph-Theoretic Concepts in Computer Science

44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings

Edición de Andreas Brandstädt, Ekkehard Köhler, Klaus Meer ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 44th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2018, held in Cottbus, Germany, in June 2018.The 30 full papers presented in this volume were carefully reviewed and selected from 66 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic ... Leer más

$909 MXN

This book constitutes the revised selected papers of the 44th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2018, held in Cottbus, Germany, in June 2018.The 30 full papers presented in this volume were carefully reviewed and selected from 66 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic
... Leer más
Intelligent Computer Mathematics

11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

Edición de Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018.The 23 full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and Mathematical Knowledge Management tracks which also ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018.The 23 full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and Mathematical Knowledge Management tracks which also
... Leer más
Intelligent Robotics and Applications

11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part I

Edición de Zhiyong Chen, Alexandre Mendes, Yamin Yan, Shifeng Chen ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two volume set LNAI 10984 and LNAI 10985 constitutes the refereed proceedings of the 11th International Conference on Intelligent Robotics and Applications, ICIRA 2018, held in Newcastle, NSW, Australia, in August 2018.The 81 papers presented in the two volumes were carefully reviewed and selected from 129 submissions. The papers in the first volume of the set are organized in topical sections ... Leer más

$909 MXN

The two volume set LNAI 10984 and LNAI 10985 constitutes the refereed proceedings of the 11th International Conference on Intelligent Robotics and Applications, ICIRA 2018, held in Newcastle, NSW, Australia, in August 2018.The 81 papers presented in the two volumes were carefully reviewed and selected from 129 submissions. The papers in the first volume of the set are organized in topical sections
... Leer más
Dependable Software Engineering. Theories, Tools, and Applications

4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Edición de Xinyu Feng, Markus Müller-Olm, Zijiang Yang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories,Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions.The purpose of SETTA is to provide an international forum for researchers and ... Leer más

$909 MXN

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories,Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions.The purpose of SETTA is to provide an international forum for researchers and
... Leer más
Modelling and Simulation for Autonomous Systems

5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers

Edición de Jan Mazal ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2018, held in Prague, Czech Republic, in October 2018.The 46 revised full papers included in the volume were carefully reviewed and selected from 66 submissions. They are organized in the following topical sections: Future Challenges of ... Leer más

$909 MXN

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2018, held in Prague, Czech Republic, in October 2018.The 46 revised full papers included in the volume were carefully reviewed and selected from 66 submissions. They are organized in the following topical sections: Future Challenges of
... Leer más
Integration of Constraint Programming, Artificial Intelligence, and Operations Research

16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Edición de Louis-Martin Rousseau, Kostas Stergiou ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, held in Thessaloniki, Greece, in June 2019.The 34 full papers presented together with 9 short papers were carefully reviewed and selected from 94 submissions. The conference brings together interested researchers from ... Leer más

$909 MXN

This book constitutes the proceedings of the 16th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, held in Thessaloniki, Greece, in June 2019.The 34 full papers presented together with 9 short papers were carefully reviewed and selected from 94 submissions. The conference brings together interested researchers from
... Leer más
Augmented Cognition

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

Edición de Dylan D. Schmorrow, Cali M. Fidopiastis ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Augmented Cognition, AC 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 and 209 posters presented at the HCII 2019 conferences were carefully reviewed and selected from 5029 submissions. The papers cover the ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 13th International Conference on Augmented Cognition, AC 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 and 209 posters presented at the HCII 2019 conferences were carefully reviewed and selected from 5029 submissions. The papers cover the
... Leer más
Artificial Intelligence in Education

20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part I

Edición de Seiji Isotani, Eva Millán, Amy Ogan, Peter Hastings, Bruce McLaren, Rose Luckin ...

Series Libro 1 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 11625 and 11626 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence in Education, AIED 2019, held in Chicago, IL, USA, in June 2019.The 45 full papers presented together with 41 short, 10 doctoral consortium, 6 industry, and 10 workshop papers were carefully reviewed and selected from 177 submissions. AIED 2019 solicits ... Leer más

$1,818 MXN

This two-volume set LNCS 11625 and 11626 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence in Education, AIED 2019, held in Chicago, IL, USA, in June 2019.The 45 full papers presented together with 41 short, 10 doctoral consortium, 6 industry, and 10 workshop papers were carefully reviewed and selected from 177 submissions. AIED 2019 solicits
... Leer más
Formal Methods for Industrial Critical Systems

24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Edición de Kim Guldstrand Larsen, Tim Willemse ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University), ... Leer más

$909 MXN

This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University),
... Leer más
Advances in Swarm Intelligence

10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part II

Edición de Ying Tan, Yuhui Shi, Ben Niu ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set of LNCS 11655 and 11656 constitutes the proceedings of the 10th International Conference on Advances in Swarm Intelligence, ICSI 2019, held in Chiang Mai, Thailand, in June 2019.The total of 82 papers presented in these volumes was carefully reviewed and selected from 179 submissions. The papers were organized in topical sections as follows:Part I: Novel methods and algorithms ... Leer más

$1,327 MXN

The two-volume set of LNCS 11655 and 11656 constitutes the proceedings of the 10th International Conference on Advances in Swarm Intelligence, ICSI 2019, held in Chiang Mai, Thailand, in June 2019.The total of 82 papers presented in these volumes was carefully reviewed and selected from 179 submissions. The papers were organized in topical sections as follows:Part I: Novel methods and algorithms
... 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

New Opportunities for Software Reuse

Artificial Intelligence in Education

Rewriting Logic and Its Applications

Formal Methods Teaching

Human-Computer Interaction. Multimodal and Natural Interaction

Coordination Models and Languages

HCI in Mobility, Transport, and Automotive Systems. Driving Behavior, Urban and Smart Mobility

Diversity, Divergence, Dialogue

Virtual, Augmented and Mixed Reality

Human-Computer Interaction. Design and User Experience Case Studies

Universal Access in Human-Computer Interaction. Interaction Techniques and Environments

Web Engineering

Transactions on Computational Science XXVIII

Cultural Robotics

Graph-Theoretic Concepts in Computer Science

Intelligent Computer Mathematics

Intelligent Robotics and Applications

Dependable Software Engineering. Theories, Tools, and Applications

Modelling and Simulation for Autonomous Systems

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Augmented Cognition

Artificial Intelligence in Education

Formal Methods for Industrial Critical Systems

Advances in Swarm Intelligence