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

Similarity Search and Applications

18th International Conference, SISAP 2025, Reykjavik, Iceland, October 1–3, 2025, Proceedings

Edited by Giuseppe Amato, Vladimir Mic, Agma Traina, Nicola Messina, Laurent Amsaleg, Gylfi Þór Guðmundsson, Björn Þór Jónsson, Lucia Vadicamo ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Similarity Search and Applications, SISAP 2025, held in Reykjavik, Iceland, during October 2025.The 18 full papers and 9 short papers included in the proceedings were carefully reviewed and selected from 58 submissions. The book also contains 2 Doctoral Symposium papers, 3 demonstration papers, and 5 indexing ... Read more

$83.29 CAD

This book constitutes the refereed proceedings of the 18th International Conference on Similarity Search and Applications, SISAP 2025, held in Reykjavik, Iceland, during October 2025.The 18 full papers and 9 short papers included in the proceedings were carefully reviewed and selected from 58 submissions. The book also contains 2 Doctoral Symposium papers, 3 demonstration papers, and 5 indexing
... Read more
Similarity Search and Applications

19th International Conference, SISAP 2026, Brno, Czech Republic, October 14–16, 2026, Proceedings

Edited by Klaus Schoeffmann, Fabio Carrara, Vladimir Mic, Richard Connor, Karina Figueroa, Vlastislav Dohnal, Jan Sedmidubsky ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Similarity Search and Applications, SISAP 2026, held in Brno, Czech Republic, during October 14–16, 2026.The 12 full papers and 12 short papers included in the proceedings were carefully reviewed and selected from 60 submissions. The book also contains 3 Doctoral Symposium papers, 1 Demonstration paper, and 13 ... Read more

$93.49 CAD

This book constitutes the refereed proceedings of the 19th International Conference on Similarity Search and Applications, SISAP 2026, held in Brno, Czech Republic, during October 14–16, 2026.The 12 full papers and 12 short papers included in the proceedings were carefully reviewed and selected from 60 submissions. The book also contains 3 Doctoral Symposium papers, 1 Demonstration paper, and 13
... Read more
The Demon Slayers Devotional

90 Days to Freedom

by Alexander Pagani, Isaiah Saldivar, Vladimir Savchuk, Mike Signorelli ...

Four trusted voices in the modern deliverance movement unite to equip you for 90 days of spiritual freedom.For years, much of the church treated spiritual warfare as the work of specialists. That is changing. Believers around the world are rediscovering that the authority Jesus gave His disciples was never reserved for a spiritual elite.Alexander Pagani, Isaiah Saldivar, Vladimir Savchuk, and Mike ... Read more

$27.65 CAD

PRE-ORDER

Four trusted voices in the modern deliverance movement unite to equip you for 90 days of spiritual freedom.For years, much of the church treated spiritual warfare as the work of specialists. That is changing. Believers around the world are rediscovering that the authority Jesus gave His disciples was never reserved for a spiritual elite.Alexander Pagani, Isaiah Saldivar, Vladimir Savchuk, and Mike
... Read more
Audiobook

Audiobook

Imaginings of years past

by Vladimir Odoyevsky ...

Narrated by Mike Kuhlman ...

Unabridged

4 hours 31 min

His own ancestry and life very nearly the stuff of novels, it is no wonder Russian writer, philosopher, musical scholar, and politician Vladimir Odoyevsky had left behind an endlessly varied, fascinating, and captivating body of work. Imaginings of Years Past gives readers a taste of the strange and wonderful literary legacy left behind by this strange and wonderful man. ... Read more

$9.61 CAD or Free with Kobo Plus

His own ancestry and life very nearly the stuff of novels, it is no wonder Russian writer, philosopher, musical scholar, and politician Vladimir Odoyevsky had left behind an endlessly varied, fascinating, and captivating body of work. Imaginings of Years Past gives readers a taste of the strange and wonderful literary legacy left behind by this strange and wonderful man.
... Read more

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

Edited by André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi ...

Series Book 1 - Springer Nature Proceedings Computer Science
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The ... Read more

Free

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The
... Read more
Advances in Intelligent Data Analysis XVIII

18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27–29, 2020, Proceedings

Edited by Michael R. Berthold, Ad Feelders, Georg Krempl ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 18th International Conference on Intelligent Data Analysis, IDA 2020, held in Konstanz, Germany, in April 2020.The 45 full papers presented in this volume were carefully reviewed and selected from 114 submissions. Advancing Intelligent Data Analysis requires novel, potentially game-changing ideas. IDA’s mission is to promote ideas over ... Read more

Free

This open access book constitutes the proceedings of the 18th International Conference on Intelligent Data Analysis, IDA 2020, held in Konstanz, Germany, in April 2020.The 45 full papers presented in this volume were carefully reviewed and selected from 114 submissions. Advancing Intelligent Data Analysis requires novel, potentially game-changing ideas. IDA’s mission is to promote ideas over
... Read more
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
Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Edited by Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi ...

Series Book 2 - Springer Nature Proceedings Computer Science
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The ... Read more

Free

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The
... Read more
Computer Aided Verification

35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II

Edited by Constantin Enea, Akash Lal ...

Series Book 2 - Springer Nature Proceedings Computer Science
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata ... Read more

Free

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata
... Read more
Advances in Intelligent Data Analysis XVII

17th International Symposium, IDA 2018, ’s-Hertogenbosch, The Netherlands, October 24–26, 2018, Proceedings

Edited by Wouter Duivesteijn, Arno Siebes, Antti Ukkonen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the conference proceedings of the 17th International Symposium on Intelligent Data Analysis, which was held in October 2018 in ‘s-Hertogenbosch, the Netherlands. The traditional focus of the IDA symposium series is on end-to-end intelligent support for data analysis. The 29 full papers presented in this book were carefully reviewed and selected from 65 submissions. The papers ... Read more

$64.09 CAD

This book constitutes the conference proceedings of the 17th International Symposium on Intelligent Data Analysis, which was held in October 2018 in ‘s-Hertogenbosch, the Netherlands. The traditional focus of the IDA symposium series is on end-to-end intelligent support for data analysis. The 29 full papers presented in this book were carefully reviewed and selected from 65 submissions. The papers
... Read more
Machine Learning and Knowledge Discovery in Databases. Research Track

European Conference, ECML PKDD 2021, Bilbao, Spain, September 13–17, 2021, Proceedings, Part III

Edited by Nuria Oliver, Fernando Pérez-Cruz, Stefan Kramer, Jesse Read, Jose A. Lozano ...

Series Book 3 - Springer Nature Proceedings Computer Science
The multi-volume set LNAI 12975 until 12979 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2021, which was held during September 13-17, 2021. The conference was originally planned to take place in Bilbao, Spain, but changed to an online event due to the COVID-19 pandemic.The 210 full papers presented in these ... Read more

$179.39 CAD

The multi-volume set LNAI 12975 until 12979 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2021, which was held during September 13-17, 2021. The conference was originally planned to take place in Bilbao, Spain, but changed to an online event due to the COVID-19 pandemic.The 210 full papers presented in these
... Read more
Computer Aided Verification

35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I

Edited by Constantin Enea, Akash Lal ...

Series Book 1 - Springer Nature Proceedings Computer Science
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata ... Read more

Free

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata
... 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

Springer Nature Proceedings Computer Science

Similarity Search and Applications

Similarity Search and Applications

The Demon Slayers Devotional

Imaginings of years past

People who read these also enjoyed

Formal Methods

Advances in Intelligent Data Analysis XVIII

Computer Aided Verification

Formal Methods

Computer Aided Verification

Advances in Intelligent Data Analysis XVII

Machine Learning and Knowledge Discovery in Databases. Research Track

Computer Aided Verification

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

Springer Nature Proceedings Computer Science

Show:

People who read these also enjoyed