Rakuten Kobo

Skip side bar filters

Structured Object-Oriented Formal Language and Method

11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Edited by Shaoying Liu, Zhenhua Duan, Ai Liu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; ... Read more

$53.99 USD

This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process;
... Read more

Fundamental Approaches to Software Engineering

22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Edited by Reiner Hähnle, Wil van der Aalst ...

Series series Springer Nature Proceedings Computer Science
This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed ... Read more

Free

This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed
... 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
Hypergraph Computation

by Qionghai Dai, Yue Gao ...

Series series Computer Science (R0)
This open access book discusses the theory and methods of hypergraph computation.Many underlying relationships among data can be represented using graphs, for example in the areas including computer vision, molecular chemistry, molecular biology, etc. In the last decade, methods like graph-based learning and neural network methods have been developed to process such data, they are particularly ... Read more

Free

This open access book discusses the theory and methods of hypergraph computation.Many underlying relationships among data can be represented using graphs, for example in the areas including computer vision, molecular chemistry, molecular biology, etc. In the last decade, methods like graph-based learning and neural network methods have been developed to process such data, they are particularly
... 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

$49.49 USD

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
Big Data Analytics and Knowledge Discovery

18th International Conference, DaWaK 2016, Porto, Portugal, September 6-8, 2016, Proceedings

Edited by Sanjay Madria, Takahiro Hara ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2016, held in Porto, Portugal, September 2016.The 25 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on Mining Big Data, Applications of Big Data Mining, Big Data Indexing and ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 18th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2016, held in Porto, Portugal, September 2016.The 25 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on Mining Big Data, Applications of Big Data Mining, Big Data Indexing and
... Read more
Multimedia Database Retrieval

Technology and Applications

by Ling Guan, Paisarn Muneesawang, Ning Zhang ...

Series series Computer Science (R0)
This book explores multimedia applications that emerged from computer vision and machine learning technologies. These state-of-the-art applications include MPEG-7, interactive multimedia retrieval, multimodal fusion, annotation, and database re-ranking. The application-oriented approach maximizes reader understanding of this complex field. Established researchers explain the latest developments in ... Read more

$89.09 USD

This book explores multimedia applications that emerged from computer vision and machine learning technologies. These state-of-the-art applications include MPEG-7, interactive multimedia retrieval, multimodal fusion, annotation, and database re-ranking. The application-oriented approach maximizes reader understanding of this complex field. Established researchers explain the latest developments in
... Read more
Database Systems for Advanced Applications

28th International Conference, DASFAA 2023, Tianjin, China, April 17–20, 2023, Proceedings, Part III

Edited by Xin Wang, Maria Luisa Sapino, Wook-Shin Han, Amr El Abbadi, Gill Dobbie, Zhiyong Feng, Yingxiao Shao, Hongzhi Yin ...

Series Book 3 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 13943, 13944, 13945 and 13946 constitutes the proceedings of the 28th International Conference on Database Systems for Advanced Applications, DASFAA 2023, held in April 2023 in Tianjin, China.The total of 125 full papers, along with 66 short papers, are presented together in this four-volume set was carefully reviewed and selected from 652 submissions. Additionally, 15 ... Read more

$98.09 USD

The four-volume set LNCS 13943, 13944, 13945 and 13946 constitutes the proceedings of the 28th International Conference on Database Systems for Advanced Applications, DASFAA 2023, held in April 2023 in Tianjin, China.The total of 125 full papers, along with 66 short papers, are presented together in this four-volume set was carefully reviewed and selected from 652 submissions. Additionally, 15
... Read more
Dependable Software Engineering. Theories, Tools, and Applications

7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings

Edited by Shengchao Qin, Jim Woodcock, Wenhui Zhang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021.The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal ... Read more

$76.49 USD

This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021.The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal
... Read more
Database Systems for Advanced Applications

26th International Conference, DASFAA 2021, Taipei, Taiwan, April 11–14, 2021, Proceedings, Part II

Edited by Christian S. Jensen, Ee-Peng Lim, De-Nian Yang, Wang-Chien Lee, Vincent S. Tseng, Vana Kalogeraki, Jen-Wei Huang, Chih-Ya Shen ...

Series Book 2 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 12681-12683 constitutes the proceedings of the 26th International Conference on Database Systems for Advanced Applications, DASFAA 2021, held in Taipei, Taiwan, in April 2021.The total of 156 papers presented in this three-volume set was carefully reviewed and selected from 490 submissions.The topic areas for the selected papers include information retrieval, search and ... Read more

$89.09 USD

The three-volume set LNCS 12681-12683 constitutes the proceedings of the 26th International Conference on Database Systems for Advanced Applications, DASFAA 2021, held in Taipei, Taiwan, in April 2021.The total of 156 papers presented in this three-volume set was carefully reviewed and selected from 490 submissions.The topic areas for the selected papers include information retrieval, search and
... Read more
Database Systems for Advanced Applications

26th International Conference, DASFAA 2021, Taipei, Taiwan, April 11–14, 2021, Proceedings, Part I

Edited by Christian S. Jensen, Ee-Peng Lim, De-Nian Yang, Wang-Chien Lee, Vincent S. Tseng, Vana Kalogeraki, Jen-Wei Huang, Chih-Ya Shen ...

Series Book 1 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 12681-12683 constitutes the proceedings of the 26th International Conference on Database Systems for Advanced Applications, DASFAA 2021, held in Taipei, Taiwan, in April 2021.The total of 156 papers presented in this three-volume set was carefully reviewed and selected from 490 submissions.The topic areas for the selected papers include information retrieval, search and ... Read more

$89.09 USD

The three-volume set LNCS 12681-12683 constitutes the proceedings of the 26th International Conference on Database Systems for Advanced Applications, DASFAA 2021, held in Taipei, Taiwan, in April 2021.The total of 156 papers presented in this three-volume set was carefully reviewed and selected from 490 submissions.The topic areas for the selected papers include information retrieval, search and
... Read more
Web and Big Data

4th International Joint Conference, APWeb-WAIM 2020, Tianjin, China, September 18-20, 2020, Proceedings, Part I

Edited by Xin Wang, Rui Zhang, Young-Koo Lee, Le Sun, Yang-Sae Moon ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two-volume set, LNCS 11317 and 12318, constitutes the thoroughly refereed proceedings of the 4th International Joint Conference, APWeb-WAIM 2020, held in Tianjin, China, in September 2020. Due to the COVID-19 pandemic the conference was organizedas a fully online conference.The 42 full papers presented together with 17 short papers, and 6 demonstration papers were carefully reviewed and ... Read more

$116.09 USD

This two-volume set, LNCS 11317 and 12318, constitutes the thoroughly refereed proceedings of the 4th International Joint Conference, APWeb-WAIM 2020, held in Tianjin, China, in September 2020. Due to the COVID-19 pandemic the conference was organizedas a fully online conference.The 42 full papers presented together with 17 short papers, and 6 demonstration papers were carefully reviewed and
... 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

Structured Object-Oriented Formal Language and Method

People who read this also enjoyed

Fundamental Approaches to Software Engineering

Computer Aided Verification

Hypergraph Computation

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

Big Data Analytics and Knowledge Discovery

Multimedia Database Retrieval

Database Systems for Advanced Applications

Dependable Software Engineering. Theories, Tools, and Applications

Database Systems for Advanced Applications

Database Systems for Advanced Applications

Web and Big Data

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

Show:

People who read this also enjoyed