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

Rough Sets

International Joint Conference, IJCRS 2026, Cádiz, Spain, May 26–29, 2026, Proceedings

Edited by Roberto G. Aragón, Chris Cornelis, Jesús Medina, Dominik Slezak, Jihong Wan, Yiyu Yao ...

Series series Springer Nature Proceedings Computer Science
This LNCS volume constitutes the proceedings of the International Joint Conference on Rough Sets, IJCRS 2026, held in Cádiz, Spain, during May 2026.The 27 full papers included in this book were carefully reviewed and selected from 106 submissions. These papers focus on following topical sections: Foundations and Models of Rough Sets; Computational Intelligence and Three-Way Decision. ... Read more

$115.99 CAD

This LNCS volume constitutes the proceedings of the International Joint Conference on Rough Sets, IJCRS 2026, held in Cádiz, Spain, during May 2026.The 27 full papers included in this book were carefully reviewed and selected from 106 submissions. These papers focus on following topical sections: Foundations and Models of Rough Sets; Computational Intelligence and Three-Way Decision.
... Read more
Rough Sets

International Joint Conference, IJCRS 2024, Halifax, NS, Canada, May 17–20, 2024, Proceedings, Part I

Edited by Mengjun Hu, Chris Cornelis, Yan Zhang, Pawan Lingras, Dominik Ślęzak, JingTao Yao ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two-volume set LNAI 14839-14840 constitutes the refereed proceedings of the International Joint Conference on Rough Sets, IJCRS 2024, held in Halifax, NS, Canada, during May 17–20, 2024.The 43 full papers included in this book were carefully reviewed and selected from 56 submissions. They are organized in topical sections as follows:Part I: Rough Set Models and Foundations; Rule Induction and ... Read more

$115.99 CAD

This two-volume set LNAI 14839-14840 constitutes the refereed proceedings of the International Joint Conference on Rough Sets, IJCRS 2024, held in Halifax, NS, Canada, during May 17–20, 2024.The 43 full papers included in this book were carefully reviewed and selected from 56 submissions. They are organized in topical sections as follows:Part I: Rough Set Models and Foundations; Rule Induction and
... Read more
Rough Sets

International Joint Conference, IJCRS 2024, Halifax, NS, Canada, May 17–20, 2024, Proceedings, Part II

Edited by Mengjun Hu, Chris Cornelis, Yan Zhang, Pawan Lingras, Dominik Ślęzak, JingTao Yao ...

Series Book 2 - Springer Nature Proceedings Computer Science
This two-volume set LNAI 14839-14840 constitutes the refereed proceedings of the International Joint Conference on Rough Sets, IJCRS 2024, held in Halifax, NS, Canada, during May 17–20, 2024.The 43 full papers included in this book were carefully reviewed and selected from 56 submissions. They are organized in topical sections as follows:Part I: Rough Set Models and Foundations; Rule Induction and ... Read more

$96.99 CAD

This two-volume set LNAI 14839-14840 constitutes the refereed proceedings of the International Joint Conference on Rough Sets, IJCRS 2024, held in Halifax, NS, Canada, during May 17–20, 2024.The 43 full papers included in this book were carefully reviewed and selected from 56 submissions. They are organized in topical sections as follows:Part I: Rough Set Models and Foundations; Rule Induction and
... Read more

Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Edited by Hana Chockler, Georg Weissenbacher ...

Series Book 1 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and ... Read more

Free

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and
... Read more
Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques

5th International Conference, IScIDE 2015, Suzhou, China, June 14-16, 2015, Revised Selected Papers, Part II

Edited by Xiaofei He, Xinbo Gao, Yanning Zhang, Zhi-Hua Zhou, Zhi-Yong Liu, Baochuan Fu, Fuyuan Hu, Zhancheng Zhang ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 9242 + 9243 constitutes the proceedings of the 5th International Conference on Intelligence Science and Big Data Engineering, IScIDE 2015, held in Suzhou, China, in June 2015.The total of 126 papers presented in the proceedings was carefully reviewed and selected from 416 submissions. They deal with big data, neural networks, image processing, computer vision, pattern ... Read more

$64.99 CAD

The two-volume set LNCS 9242 + 9243 constitutes the proceedings of the 5th International Conference on Intelligence Science and Big Data Engineering, IScIDE 2015, held in Suzhou, China, in June 2015.The total of 126 papers presented in the proceedings was carefully reviewed and selected from 416 submissions. They deal with big data, neural networks, image processing, computer vision, pattern
... 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
Knowledge Science, Engineering and Management

11th International Conference, KSEM 2018, Changchun, China, August 17–19, 2018, Proceedings, Part I

Edited by Weiru Liu, Fausto Giunchiglia, Bo Yang ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two volume set of LNAI 11061 and LNAI 11062 constitutes the refereed proceedings of the 11th International Conference on Knowledge Science, Engineering and Management, KSEM 2018, held in Changchun, China, in August 2018.The 62 revised full papers and 26 short papers presented were carefully reviewed and selected from 262 submissions. The papers of the first volume are organized in the ... Read more

$64.99 CAD

This two volume set of LNAI 11061 and LNAI 11062 constitutes the refereed proceedings of the 11th International Conference on Knowledge Science, Engineering and Management, KSEM 2018, held in Changchun, China, in August 2018.The 62 revised full papers and 26 short papers presented were carefully reviewed and selected from 262 submissions. The papers of the first volume are organized in the
... Read more
Tools and Algorithms for the Construction and Analysis of Systems

30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Edited by Bernd Finkbeiner, Laura Kovács ...

Series Book 2 - Springer Nature Proceedings Computer Science
The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions ... Read more

Free

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions
... Read more
Advanced Data Mining and Applications

12th International Conference, ADMA 2016, Gold Coast, QLD, Australia, December 12-15, 2016, Proceedings

Edited by Jinyan Li, Xue Li, Shuliang Wang, Jianxin Li, Quan Z. Sheng ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 12th International Conference on Advanced Data Mining and Applications, ADMA 2016, held in Gold Coast, Australia, in December 2016.The 70 papers presented in this volume were carefully reviewed and selected from 105 submissions. The selected papers covered a wide variety of important topics in the area of data mining, including parallel and distributed ... Read more

$115.99 CAD

This book constitutes the proceedings of the 12th International Conference on Advanced Data Mining and Applications, ADMA 2016, held in Gold Coast, Australia, in December 2016.The 70 papers presented in this volume were carefully reviewed and selected from 105 submissions. The selected papers covered a wide variety of important topics in the area of data mining, including parallel and distributed
... 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
Intelligent Information Processing XI

12th IFIP TC 12 International Conference, IIP 2022, Qingdao, China, May 27–30, 2022, Proceedings

Edited by Zhongzhi Shi, Jean-Daniel Zucker, Bo An ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th IFIP TC 12 International Conference on Intelligent Information Processing, IIP 2022, held in Qingdao, China, in July 2022.The 37 full papers and 6 short papers presented were carefully reviewed and selected from 57 submissions. They are organized in topical sections on Machine Learning, Data Mining, Multiagent Systems, Social Computing, ... Read more

$167.99 CAD

This book constitutes the refereed proceedings of the 12th IFIP TC 12 International Conference on Intelligent Information Processing, IIP 2022, held in Qingdao, China, in July 2022.The 37 full papers and 6 short papers presented were carefully reviewed and selected from 57 submissions. They are organized in topical sections on Machine Learning, Data Mining, Multiagent Systems, Social Computing,
... Read more
Models, Algorithms, and Technologies for Network Analysis

Proceedings of the Second International Conference on Network Analysis

Edited by Valery A. Kalyagin, Panos M. Pardalos, Boris I. Goldengorin ...

Series series Springer Nature Proceedings excluding Computer Science
This volume contains two types of papers—a selection of contributions from the “Second International Conference in Network Analysis” held in Nizhny Novgorod on May 7–9, 2012, and papers submitted to an "open call for papers" reflecting the activities of LATNA at the Higher School for Economics.This volume contains many new results in modeling and powerful algorithmic solutions applied to problems ... Read more

$115.99 CAD

This volume contains two types of papers—a selection of contributions from the “Second International Conference in Network Analysis” held in Nizhny Novgorod on May 7–9, 2012, and papers submitted to an "open call for papers" reflecting the activities of LATNA at the Higher School for Economics.This volume contains many new results in modeling and powerful algorithmic solutions applied to problems
... 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

Rough Sets

Rough Sets

Rough Sets

People who read these also enjoyed

Computer Aided Verification

Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques

Formal Methods

Knowledge Science, Engineering and Management

Tools and Algorithms for the Construction and Analysis of Systems

Advanced Data Mining and Applications

Computer Aided Verification

Intelligent Information Processing XI

Models, Algorithms, and Technologies for Network Analysis

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