Rakuten Kobo

Shopping Cart

Item(s) unavailable for purchase

Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.

itemsitem

- Unlimited access to eBooks
  
  Unlimited access to audiobooks
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Get 1 credit every month for the audiobook of your choice
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Unlimited access to eBooks
  
  Unlimited access to audiobooks
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  Audiobook
  by ,
  
  Available:
  
  . No commitment, cancel anytime at kobo.com/account/subscriptions.
  
  Pre-order
  1 audiobook monthly
  
  + FREE 30-day trial
  
  Special Offer
  
  Get 1 credit every month to exchange for an audiobook of your choice
  
  *No commitment, cancel anytime
  
  FREE

itemsitem

Unlimited access to eBooks

Unlimited access to audiobooks

No commitment, cancel anytime at kobo.com/account/subscriptions

Get 1 credit every month for the audiobook of your choice

No commitment, cancel anytime at kobo.com/account/subscriptions

Unlimited access to eBooks

Unlimited access to audiobooks

No commitment, cancel anytime at kobo.com/account/subscriptions
Audiobook
by ,

Available:
. No commitment, cancel anytime at kobo.com/account/subscriptions.

Pre-order
1 audiobook monthly

+ FREE 30-day trial

Special Offer

Get 1 credit every month to exchange for an audiobook of your choice

*No commitment, cancel anytime

FREE

Recommended For You

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

Edited by Aaron Marcus ...

Series Book 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 ... Read more

PHP3,070.99

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
... Read more
Model Checking Software

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

Edited by 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 ... Read more

PHP3,070.99

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
... Read more
Human Behavior Understanding

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

Edited by 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. ... Read more

PHP2,456.69

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.
... Read more
Case-Based Reasoning Research and Development

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

Edited by 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 ... Read more

PHP3,070.99

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
... Read more
Advances in Multimedia Information Processing -- PCM 2015

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

Edited by Yo-Sung Ho, Jitao Sang, Yong Man Ro, Junmo Kim, Fei Wu ...

Series Book 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; ... Read more

PHP3,070.99

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;
... Read more
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

Edited by Panayiotis Zaphiris, Andri Ioannou ...

Series Book 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 ... Read more

PHP4,299.59

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
... Read more
Augmented Reality, Virtual Reality, and Computer Graphics

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

Edited by Patrick Bourdot, Lucio Tommaso De Paolis, Antonio Mongelli ...

Series Book 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 ... Read more

PHP3,070.99

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
... Read more
Interactive Storytelling

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

Edited by 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 ... Read more

PHP3,070.99

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
... Read more
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments

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

Edited by 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 ... Read more

PHP3,070.99

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
... Read more
Computer Safety, Reliability, and Security

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

Edited by 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 ... Read more

PHP3,070.99

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
... Read more
PRIMA 2017: Principles and Practice of Multi-Agent Systems

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

Edited by 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 ... Read more

PHP3,070.99

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
... Read more
Computational Intelligence in Music, Sound, Art and Design

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

Edited by 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 ... Read more

PHP3,070.99

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
... Read more
Web Engineering

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

Edited by 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 ... Read more

PHP3,070.99

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
... Read more
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

Edited by Norbert Streitz, Shin’ichi Konomi ...

Series Book 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 ... Read more

PHP3,070.99

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
... Read more
Rules and Reasoning

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

Edited by 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 ... Read more

PHP3,070.99

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
... Read more
Static Analysis

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

Edited by 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 ... Read more

PHP3,070.99

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
... Read more
Formal Methods for Industrial Critical Systems

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

Edited by 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 ... Read more

PHP3,070.99

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
... Read more
AI*IA 2018 – Advances in Artificial Intelligence

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

Edited by 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 ... Read more

PHP3,070.99

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
... Read more
Transactions on Computational Science XXXIII

Edited by 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, ... Read more

PHP3,070.99

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,
... Read more
Requirements Engineering: Foundation for Software Quality

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

Edited by 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 ... Read more

PHP3,992.49

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
... Read more
At the Intersection of Language, Logic, and Information

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

Edited by 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 ... Read more

PHP3,070.99

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
... Read more
Transactions on Computational Collective Intelligence XXXIV

Edited by 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 ... Read more

PHP3,070.99

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
... Read more
Computer Vision Systems

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

Edited by 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 ... Read more

PHP3,070.99

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
... Read more
Practical Aspects of Declarative Languages

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

Edited by 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 ... Read more

PHP3,070.99

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
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Programming eBooks

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