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

- Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  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
  
  Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  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

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

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

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

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

Skip side bar filters

Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Edited by Alexandra Silva, K. Rustan M. Leino ...

Series Book 1 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part ... Read more

Free

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part
... Read more
Audiobook

Audiobook

10,000+ Unique Positive Affirmations

Law of Attraction & Self-Hypnosis for Success, Wealth, Abundance, Confidence, Health, Love, Happiness, Weight Loss, Fitness, Self-Esteem, Sleep, Healing & Anxiety

by Kimberly Byrd ...

Narrated by Alexandra Silva ...

Unabridged

22 hours 22 min

Rewire your brain and attract optimism, abundance, success, and healing with 10,000+ powerful affirmations that will move you toward your goals daily!Do you feel like nothing in your life ever goes right?Do you constantly think of the worst-case scenario in every situation?Do you always think negative, self-defeating thoughts daily?“We become what we think about most of the time, and that’s the ... Read more

$28.99 CAD or Free with Kobo Plus

Rewire your brain and attract optimism, abundance, success, and healing with 10,000+ powerful affirmations that will move you toward your goals daily!Do you feel like nothing in your life ever goes right?Do you constantly think of the worst-case scenario in every situation?Do you always think negative, self-defeating thoughts daily?“We become what we think about most of the time, and that’s the
... Read more
Neopets: The Discarded Magical Blue Grundo Plushie of Prosperity

by Rebecca Mix, Sabrina Alexandra Hutchings, Luiz Fernando da Silva ...

Series series Neopets
SOMETHING HAS HAPPENED! Based on the popular online game Neopets comes a new and official full-color graphic novel. A rare form of magic has turned everyone in Neopia into toys, and it’s up to TDMBGPOP and his friends to restore it. This graphic novel is full of humor, heart, and plushie pandemonium."The satisfying ending, likable main characters, and fun banter make this an appealing adventure ... Read more

$10.99 CAD

SOMETHING HAS HAPPENED! Based on the popular online game Neopets comes a new and official full-color graphic novel. A rare form of magic has turned everyone in Neopia into toys, and it’s up to TDMBGPOP and his friends to restore it. This graphic novel is full of humor, heart, and plushie pandemonium."The satisfying ending, likable main characters, and fun banter make this an appealing adventure
... Read more
Logic, Language, Information, and Computation

27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings

Edited by Alexandra Silva, Renata Wassermann, Ruy de Queiroz ...

Series series Springer Nature Proceedings Computer Science
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited lectures were fully reviewed and selected from 50 submissions.The idea is to have a forum which is ... Read more

$93.99 CAD

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited lectures were fully reviewed and selected from 50 submissions.The idea is to have a forum which is
... Read more
Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

Edited by Alexandra Silva, K. Rustan M. Leino ...

Series Book 2 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part ... Read more

Free

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part
... Read more
Intelligent Technologies for Interactive Entertainment

9th International Conference, INTETAIN 2017, Funchal, Portugal, June 20-22, 2017, Proceedings

Edited by Yoram Chisik, Jussi Holopainen, Rilla Khaled, José Luis Silva, Paula Alexandra Silva ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Technologies for Interactive Entertainment, INTETAIN 2017, held in Funchal, Portugal, in June 2017. The 15 full papers were selected from 19 submissions and present developments and insights in art, design, science and engineering regarding novel entertainment-focused devices, paradigms, and ... Read more

$51.99 CAD

This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Technologies for Interactive Entertainment, INTETAIN 2017, held in Funchal, Portugal, in June 2017. The 15 full papers were selected from 19 submissions and present developments and insights in art, design, science and engineering regarding novel entertainment-focused devices, paradigms, and
... Read more
Language, Logic, and Computation

12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

Edited by Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2017, held in Lagodekhi, Georgia, in September 2017.The volume contains 17 full revised papers presented at the conference from 22 submissions. The aim of this conference series is to bring together researchers from a wide variety of fields in Natural language ... Read more

$64.99 CAD

This book constitutes the refereed proceedings of the 12th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2017, held in Lagodekhi, Georgia, in September 2017.The volume contains 17 full revised papers presented at the conference from 22 submissions. The aim of this conference series is to bring together researchers from a wide variety of fields in Natural language
... Read more
Formal Techniques for Distributed Objects, Components, and Systems

37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Edited by Ahmed Bouajjani, Alexandra Silva ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.The 13 revised full papers presented together with 3 short and 1 tool papers ... Read more

$64.99 CAD

This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.The 13 revised full papers presented together with 3 short and 1 tool papers
... Read more

Augmented Human

How Technology Is Shaping the New Reality

by Helen Papagiannis ...

Augmented Reality (AR) blurs the boundary between the physical and digital worlds. In AR’s current exploration phase, innovators are beginning to create compelling and contextually rich applications that enhance a user’s everyday experiences. In this book, Dr. Helen Papagiannis—a world-leading expert in the field—introduces you to AR: how it’s evolving, where the opportunities are, and where it’s ... Read more

$35.99 CAD

Augmented Reality (AR) blurs the boundary between the physical and digital worlds. In AR’s current exploration phase, innovators are beginning to create compelling and contextually rich applications that enhance a user’s everyday experiences. In this book, Dr. Helen Papagiannis—a world-leading expert in the field—introduces you to AR: how it’s evolving, where the opportunities are, and where it’s
... Read more
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings

Edited by Sébastien Destercke, Thierry Denoeux ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2015, held in Compiègne, France, in July 2015. The 49 revised full papers presented were carefully reviewed and selected from 69 submissions and cover topics on decision theory and preferences; argumentation; conditionals; game theory; belief ... Read more

$64.99 CAD

This book constitutes the refereed proceedings of the 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2015, held in Compiègne, France, in July 2015. The 49 revised full papers presented were carefully reviewed and selected from 69 submissions and cover topics on decision theory and preferences; argumentation; conditionals; game theory; belief
... Read more
Virtual, Augmented and Mixed Reality

8th International Conference, VAMR 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016. Proceedings

Edited by Stephanie Lackey, Randall Shumaker ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the 8th International Conference on HCI in Virtual, Augmented and Mixed Reality, VAMR 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, which took place in Toronto, Canada, in July 2016.HCII 2016 received a total of 4354 submissions, of which 1287 papers were accepted for publication after a careful ... Read more

$64.99 CAD

This volume constitutes the refereed proceedings of the 8th International Conference on HCI in Virtual, Augmented and Mixed Reality, VAMR 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, which took place in Toronto, Canada, in July 2016.HCII 2016 received a total of 4354 submissions, of which 1287 papers were accepted for publication after a careful
... Read more
Hardware and Software: Verification and Testing

12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Edited by Roderick Bloem, Eli Arbel ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future ... Read more

$64.99 CAD

This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

What is Kobo Super Points?

Reward Yourself

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

Top Series in Canada

Springer Nature Proceedings Computer Science

Neopets

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Computer Aided Verification

10,000+ Unique Positive Affirmations

Neopets: The Discarded Magical Blue Grundo Plushie of Prosperity

Logic, Language, Information, and Computation

Computer Aided Verification

Intelligent Technologies for Interactive Entertainment

Language, Logic, and Computation

Formal Techniques for Distributed Objects, Components, and Systems

People who read these also enjoyed

Augmented Human

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Virtual, Augmented and Mixed Reality

Hardware and Software: Verification and Testing

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

Top Series in Canada

Springer Nature Proceedings Computer Science

Neopets

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Show:

People who read these also enjoyed