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

Design, User Experience, and Usability: Design Discourse

4th International Conference, DUXU 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part I

Edición de Aaron Marcus ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 9186, 9187, and 9188 constitutes the proceedings of the 4th International Conference on Design, User Experience, and Usability, DUXU 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, CA, USA, in August 2015, jointly with 13 other thematically similar conferences. The total of 1462 papers and 246 posters ... Leer más

$909 MXN

The three-volume set LNCS 9186, 9187, and 9188 constitutes the proceedings of the 4th International Conference on Design, User Experience, and Usability, DUXU 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, CA, USA, in August 2015, jointly with 13 other thematically similar conferences. The total of 1462 papers and 246 posters
... Leer más
Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Edición de Bernd Fischer, Jaco Geldenhuys ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are
... Leer más
Human Behavior Understanding

6th International Workshop, HBU 2015, Osaka, Japan, September 8, 2015, Proceedings

Edición de Diane J. Cook, Ben J.A. Kröse, Albert Ali Salah ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 6th International Workshop on Human Behavior Understanding, HBU 2015, held in Osaka, Japan, in September 2015.The 11 full papers were carefully reviewed and selected from 15 initial submissions. They are organized in topical sections named: interaction with elderly, learning behavior patterns, and mobile solutions. ... Leer más

$727 MXN

This book constitutes the proceedings of the 6th International Workshop on Human Behavior Understanding, HBU 2015, held in Osaka, Japan, in September 2015.The 11 full papers were carefully reviewed and selected from 15 initial submissions. They are organized in topical sections named: interaction with elderly, learning behavior patterns, and mobile solutions.
... Leer más
Case-Based Reasoning Research and Development

23rd International Conference, ICCBR 2015, Frankfurt am Main, Germany, September 28-30, 2015. Proceedings

Edición de Eyke Hüllermeier, Mirjam Minor ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Conference on Case-Based Reasoning Research and Development, ICCBR 2015, held in Frankfurt am Main, Germany, in September 2015.The 26 revised full papers presented were carefully reviewed and selected from 37 submissions. The papers cover a wide range of CBR topics that are of interest both to researchers and practitioners ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 23rd International Conference on Case-Based Reasoning Research and Development, ICCBR 2015, held in Frankfurt am Main, Germany, in September 2015.The 26 revised full papers presented were carefully reviewed and selected from 37 submissions. The papers cover a wide range of CBR topics that are of interest both to researchers and practitioners
... Leer más
Advances in Multimedia Information Processing -- PCM 2015

16th Pacific-Rim Conference on Multimedia, Gwangju, South Korea, September 16-18, 2015, Proceedings, Part I

Edición de Yo-Sung Ho, Jitao Sang, Yong Man Ro, Junmo Kim, Fei Wu ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume proceedings LNCS 9314 and 9315, constitute the proceedings of the 16th Pacific-Rim Conference on Multimedia, PCM 2015, held in Gwangju, South Korea, in September 2015.The total of 138 full and 32 short papers presented in these proceedings was carefully reviewed and selected from 224 submissions. The papers were organized in topical sections named: image and audio processing; ... Leer más

$909 MXN

The two-volume proceedings LNCS 9314 and 9315, constitute the proceedings of the 16th Pacific-Rim Conference on Multimedia, PCM 2015, held in Gwangju, South Korea, in September 2015.The total of 138 full and 32 short papers presented in these proceedings was carefully reviewed and selected from 224 submissions. The papers were organized in topical sections named: image and audio processing;
... Leer más
Learning and Collaboration Technologies. Technology in Education

4th International Conference, LCT 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

Edición de Panayiotis Zaphiris, Andri Ioannou ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10295 and 10296 constitute the refereed proceedings of the 4th International Conference on Learning and Collaboration Technologies, LCT 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada, in July 2017, in conjunction with 15 thematically similar conferences. The 1228 papers presented at the HCII 2017 ... Leer más

$1,273 MXN

The two-volume set LNCS 10295 and 10296 constitute the refereed proceedings of the 4th International Conference on Learning and Collaboration Technologies, LCT 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada, in July 2017, in conjunction with 15 thematically similar conferences. The 1228 papers presented at the HCII 2017
... Leer más
Augmented Reality, Virtual Reality, and Computer Graphics

4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part II

Edición de Patrick Bourdot, Lucio Tommaso De Paolis, Antonio Mongelli ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The 2-volume set LNCS 10324 and 10325 constitutes the refereed proceedings of the 4th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2017, held in Ugento, Italy, in June 2017.The 54 full papers and 24 short papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in the following topical sections: virtual ... Leer más

$909 MXN

The 2-volume set LNCS 10324 and 10325 constitutes the refereed proceedings of the 4th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2017, held in Ugento, Italy, in June 2017.The 54 full papers and 24 short papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in the following topical sections: virtual
... Leer más
Interactive Storytelling

9th International Conference on Interactive Digital Storytelling, ICIDS 2016, Los Angeles, CA, USA, November 15–18, 2016, Proceedings

Edición de Frank Nack, Andrew S. Gordon ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Digital Storytelling, ICIDS 2016, held in Los Angeles, CA, USA, in November 2016.The 26 revised full papers and 8 short papers presented together with 9 posters, 4 workshop, and 3 demonstration papers were carefully reviewed and selected from 88 submissions. The papers are organized in topical ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 9th International Conference on Interactive Digital Storytelling, ICIDS 2016, held in Los Angeles, CA, USA, in November 2016.The 26 revised full papers and 8 short papers presented together with 9 posters, 4 workshop, and 3 demonstration papers were carefully reviewed and selected from 88 submissions. The papers are organized in topical
... Leer más
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments

Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers

Edición de Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale, Tiffany M. Mintz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Third OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2016. The 14 full papers and 3 short papers presented were carefully reviewed and selected from 25 submissions. The papers discuss a variety of ideas of extending the OpenSHMEM specification and making it efficient for current and next generation systems. This included active messages, non ... Leer más

$909 MXN

This book constitutes the proceedings of the Third OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2016. The 14 full papers and 3 short papers presented were carefully reviewed and selected from 25 submissions. The papers discuss a variety of ideas of extending the OpenSHMEM specification and making it efficient for current and next generation systems. This included active messages, non
... Leer más
Computer Safety, Reliability, and Security

36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Edición de Erwin Schoitsch, Stefano Tonetta, Friedemann Bitsch ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewedand selected from 65 submissions.The papers are organized in topical sections on dynamic fault trees; safety case and ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewedand selected from 65 submissions.The papers are organized in topical sections on dynamic fault trees; safety case and
... Leer más
PRIMA 2017: Principles and Practice of Multi-Agent Systems

20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings

Edición de Serena Villata, Ana Bazzan, João Leite, Leendert van der Torre, Bo An ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 submissions.The intention of the papers is to showcase ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 submissions.The intention of the papers is to showcase
... Leer más
Computational Intelligence in Music, Sound, Art and Design

7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings

Edición de Antonios Liapis, Juan Jesús Romero Cardalda, Anikó Ekárt ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Conference on Evolutionary Computation in Combinatorial Optimization, EvoMUSART 2018, held in Parma, Italy, in April 2018, co-located with the Evo*2017 events EuroGP, EvoCOP and EvoApplications.The 21 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers cover a wide range of topics ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 7th International Conference on Evolutionary Computation in Combinatorial Optimization, EvoMUSART 2018, held in Parma, Italy, in April 2018, co-located with the Evo*2017 events EuroGP, EvoCOP and EvoApplications.The 21 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers cover a wide range of topics
... Leer más
Web Engineering

18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings

Edición de Tommi Mikkonen, Ralf Klamma, Juan Hernández ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Web Engineering, ICWE 2018, held in Cáceres, Spain, in June 2018.The 18 full research papers and 17 short papers presented together with 2 practice papers, 6 demonstration papers, and 5 tutorials were carefully reviewed and selected from 103 submissions. The papers cover research areas such as Web application ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 18th International Conference on Web Engineering, ICWE 2018, held in Cáceres, Spain, in June 2018.The 18 full research papers and 17 short papers presented together with 2 practice papers, 6 demonstration papers, and 5 tutorials were carefully reviewed and selected from 103 submissions. The papers cover research areas such as Web application
... Leer más
Distributed, Ambient and Pervasive Interactions: Technologies and Contexts

6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

Edición de Norbert Streitz, Shin’ichi Konomi ...

Series Libro 2 - Springer Nature Proceedings Computer Science
This two volume set constitutes the refereed proceedings of the 6th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2018, held as part of the 20th International Conference on Human-Computer Interaction, HCII 2018, held in Las Vegas, NV, USA in July 2018. The total of 1171 papers and 160 posters presented at the 14 colocated HCII 2018 conferences.The papers were ... Leer más

$909 MXN

This two volume set constitutes the refereed proceedings of the 6th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2018, held as part of the 20th International Conference on Human-Computer Interaction, HCII 2018, held in Las Vegas, NV, USA in July 2018. The total of 1171 papers and 160 posters presented at the 14 colocated HCII 2018 conferences.The papers were
... Leer más
Rules and Reasoning

Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Edición de Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second 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 10 full research papers presented together ... Leer más

$909 MXN

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second 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 10 full research papers presented together
... Leer más
Static Analysis

25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Edición de Andreas Podelski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program
... Leer más
Formal Methods for Industrial Critical Systems

23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Edición de Falk Howar, Jiří Barnat ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in ... Leer más

$909 MXN

This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in
... Leer más
AI*IA 2018 – Advances in Artificial Intelligence

XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedings

Edición de Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2018, held in Trento, Italy, in November 2018.The 41 full papers were carefully reviewed and selected from 67 submissions. The papers have been organized in the following topical sections: Agents and Multi-Agent Systems; Applications of AI; Knowledge ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2018, held in Trento, Italy, in November 2018.The 41 full papers were carefully reviewed and selected from 67 submissions. The papers have been organized in the following topical sections: Agents and Multi-Agent Systems; Applications of AI; Knowledge
... Leer más
Transactions on Computational Science XXXIII

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

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
Requirements Engineering: Foundation for Software Quality

25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

Edición de Eric Knauss, Michael Goedicke ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019.The 13 full papers and 9 short papers in this volume were carefully reviewed and selected from 66 submissions. The papers were organized in topical sections named: Automated Analysis; Making Sense of ... Leer más

$1,182 MXN

This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019.The 13 full papers and 9 short papers in this volume were carefully reviewed and selected from 66 submissions. The papers were organized in topical sections named: Automated Analysis; Making Sense of
... Leer más
At the Intersection of Language, Logic, and Information

ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers

Edición de Jennifer Sikos, Eric Pacuit ...

Series series Springer Nature Proceedings Computer Science
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The papers cover vastly dierent topics, but each fall in the intersection of the three primary topics of ESSLLI: Logic, Language and Computation.The 14 papers presented in this volume have been selected among ... Leer más

$909 MXN

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The papers cover vastly dierent topics, but each fall in the intersection of the three primary topics of ESSLLI: Logic, Language and Computation.The 14 papers presented in this volume have been selected among
... Leer más
Transactions on Computational Collective Intelligence XXXIV

Edición de Ngoc Thanh Nguyen, Ryszard Kowalczyk, Jacek Mercik, Anna Motylska-Kuźma ...

Series series Computer Science (R0)
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as performance optimization in IoT, big data, reliability, privacy, security, service selection, QoS and machine learning. This thirty-fourth issue contains 12 selected papers which present new findings and innovative methodologies as ... Leer más

$909 MXN

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as performance optimization in IoT, big data, reliability, privacy, security, service selection, QoS and machine learning. This thirty-fourth issue contains 12 selected papers which present new findings and innovative methodologies as
... Leer más
Computer Vision Systems

12th International Conference, ICVS 2019, Thessaloniki, Greece, September 23–25, 2019, Proceedings

Edición de Dimitrios Tzovaras, Dimitrios Giakoumis, Markus Vincze, Antonis Argyros ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Computer Vision Systems, ICVS 2019, held in Thessaloniki, Greece, in September 2019.The 72 papers presented were carefully reviewed and selected from 114 submissions. The papers are organized in the following topical sections; hardware accelerated and real time vision systems; robotic vision; vision systems ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 12th International Conference on Computer Vision Systems, ICVS 2019, held in Thessaloniki, Greece, in September 2019.The 72 papers presented were carefully reviewed and selected from 114 submissions. The papers are organized in the following topical sections; hardware accelerated and real time vision systems; robotic vision; vision systems
... Leer más
Practical Aspects of Declarative Languages

22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings

Edición de Ekaterina Komendantskaya, Yanhong Annie Liu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020.The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020.The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative
... 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

Design, User Experience, and Usability: Design Discourse

Model Checking Software

Human Behavior Understanding

Case-Based Reasoning Research and Development

Advances in Multimedia Information Processing -- PCM 2015

Learning and Collaboration Technologies. Technology in Education

Augmented Reality, Virtual Reality, and Computer Graphics

Interactive Storytelling

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments

Computer Safety, Reliability, and Security

PRIMA 2017: Principles and Practice of Multi-Agent Systems

Computational Intelligence in Music, Sound, Art and Design

Web Engineering

Distributed, Ambient and Pervasive Interactions: Technologies and Contexts

Rules and Reasoning

Static Analysis

Formal Methods for Industrial Critical Systems

AI*IA 2018 – Advances in Artificial Intelligence

Transactions on Computational Science XXXIII

Requirements Engineering: Foundation for Software Quality

At the Intersection of Language, Logic, and Information

Transactions on Computational Collective Intelligence XXXIV

Computer Vision Systems

Practical Aspects of Declarative Languages