Rakuten Kobo

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

$67.49 USD

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
Health Information Science

11th International Conference, HIS 2022, Virtual Event, October 28–30, 2022, Proceedings

Edited by Agma Traina, Hua Wang, Yong Zhang, Siuly Siuly, Rui Zhou, Lu Chen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference onHealth Information Science, HIS 2022, held in Virtual Event during October 28–30, 2022.The 20 full papers and 9 short papers included in this book were carefully reviewed andselected from 54 submissions. They were organized in topical sections as follows: applications of health and medical data; health and ... Read more

$76.49 USD

This book constitutes the refereed proceedings of the 11th International Conference onHealth Information Science, HIS 2022, held in Virtual Event during October 28–30, 2022.The 20 full papers and 9 short papers included in this book were carefully reviewed andselected from 54 submissions. They were organized in topical sections as follows: applications of health and medical data; health and
... 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
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries

7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, September 27, 2021, Revised Selected Papers, Part I

Edited by Alessandro Crimi, Spyridon Bakas ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 12962 and 12963 constitutes the thoroughly refereed proceedings of the 7th International MICCAI Brainlesion Workshop, BrainLes 2021, as well as the RSNA-ASNR-MICCAI Brain Tumor Segmentation (BraTS) Challenge, the Federated Tumor Segmentation (FeTS) Challenge, the Cross-Modality Domain Adaptation (CrossMoDA) Challenge, and the challenge on Quantification of Uncertainties in ... Read more

$116.99 USD

This two-volume set LNCS 12962 and 12963 constitutes the thoroughly refereed proceedings of the 7th International MICCAI Brainlesion Workshop, BrainLes 2021, as well as the RSNA-ASNR-MICCAI Brain Tumor Segmentation (BraTS) Challenge, the Federated Tumor Segmentation (FeTS) Challenge, the Cross-Modality Domain Adaptation (CrossMoDA) Challenge, and the challenge on Quantification of Uncertainties in
... Read more
Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Edited by Shuvendu K. Lahiri, Chao Wang ...

Series Book 2 - Springer Nature Proceedings Computer Science
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... Read more

Free

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical
... Read more
Deep Learning for Medical Image Analysis

Edited by Hayit Greenspan, Dinggang Shen, S. Kevin Zhou ...

Series series The MICCAI Society book Series
Deep learning is providing exciting solutions for medical image analysis problems and is seen as a key method for future applications. This book gives a clear understanding of the principles and methods of neural network and deep learning concepts, showing how the algorithms that integrate deep learning as a core component have been applied to medical image detection, segmentation and registration ... Read more

$112.49 USD

Deep learning is providing exciting solutions for medical image analysis problems and is seen as a key method for future applications. This book gives a clear understanding of the principles and methods of neural network and deep learning concepts, showing how the algorithms that integrate deep learning as a core component have been applied to medical image detection, segmentation and registration
... 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
Deep Learning, Machine Learning and IoT in Biomedical and Health Informatics

Techniques and Applications

Edited by Sujata Dash, Subhendu Kumar Pani, Babita Majhi, Joel J. P. C. Rodrigues ...

Series series Biomedical Engineering
Biomedical and Health Informatics is an important field that brings tremendous opportunities and helps address challenges due to an abundance of available biomedical data. This book examines and demonstrates state-of-the-art approaches for IoT and Machine Learning based biomedical and health related applications. This book aims to provide computational methods for accumulating, updating and ... Read more

$68.99 USD

Biomedical and Health Informatics is an important field that brings tremendous opportunities and helps address challenges due to an abundance of available biomedical data. This book examines and demonstrates state-of-the-art approaches for IoT and Machine Learning based biomedical and health related applications. This book aims to provide computational methods for accumulating, updating and
... 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
Medical Image Computing and Computer Assisted Intervention – MICCAI 2020

23rd International Conference, Lima, Peru, October 4–8, 2020, Proceedings, Part I

Edited by Anne L. Martel, Purang Abolmaesumi, Danail Stoyanov, Diana Mateus, Maria A. Zuluaga, S. Kevin Zhou, Daniel Racoceanu, Leo Joskowicz ...

Series Book 1 - Springer Nature Proceedings Computer Science
The seven-volume set LNCS 12261, 12262, 12263, 12264, 12265, 12266, and 12267 constitutes the refereed proceedings of the 23rd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2020, held in Lima, Peru, in October 2020. The conference was held virtually due to the COVID-19 pandemic.The 542 revised full papers presented were carefully reviewed and ... Read more

$89.09 USD

The seven-volume set LNCS 12261, 12262, 12263, 12264, 12265, 12266, and 12267 constitutes the refereed proceedings of the 23rd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2020, held in Lima, Peru, in October 2020. The conference was held virtually due to the COVID-19 pandemic.The 542 revised full papers presented were carefully reviewed and
... 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
Medical Image Computing and Computer Assisted Intervention – MICCAI 2022

25th International Conference, Singapore, September 18–22, 2022, Proceedings, Part I

Edited by Linwei Wang, Qi Dou, P. Thomas Fletcher, Stefanie Speidel, Shuo Li ...

Series Book 1 - Springer Nature Proceedings Computer Science
The eight-volume set LNCS 13431, 13432, 13433, 13434, 13435, 13436, 13437, and 13438 constitutes the refereed proceedings of the 25th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2022, which was held in Singapore in September 2022.The 574 revised full papers presented were carefully reviewed and selected from 1831 submissions in a double-blind ... Read more

$49.99 USD

The eight-volume set LNCS 13431, 13432, 13433, 13434, 13435, 13436, 13437, and 13438 constitutes the refereed proceedings of the 25th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2022, which was held in Singapore in September 2022.The 574 revised full papers presented were carefully reviewed and selected from 1831 submissions in a double-blind
... 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 United States

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Similarity Search and Applications

Health Information Science

People who read these also enjoyed

Formal Methods

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries

Computer Aided Verification

Deep Learning for Medical Image Analysis

Advances in Intelligent Data Analysis XVIII

Deep Learning, Machine Learning and IoT in Biomedical and Health Informatics

Computer Aided Verification

Medical Image Computing and Computer Assisted Intervention – MICCAI 2020

Formal Methods

Medical Image Computing and Computer Assisted Intervention – MICCAI 2022

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 United States

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Show:

People who read these also enjoyed