Rakuten Kobo

Skip side bar filters

The Semantic Web – ISWC 2022

21st International Semantic Web Conference, Virtual Event, October 23–27, 2022, Proceedings

Edited by Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 21st International Semantic Web Conference, ISWC 2022, which took place in October 2022 in a virtual mode.The 48 full papers presented in this volume were thoroughly reviewed and selected from 239 submissions. They deal with the latest advances in fundamental research, innovative technology, and applications of the Semantic Web, linked data, knowledge ... Read more

$89.09 USD

This book constitutes the proceedings of the 21st International Semantic Web Conference, ISWC 2022, which took place in October 2022 in a virtual mode.The 48 full papers presented in this volume were thoroughly reviewed and selected from 239 submissions. They deal with the latest advances in fundamental research, innovative technology, and applications of the Semantic Web, linked data, knowledge
... Read more

Introduction to Information Retrieval

by Christopher D. Manning, Prabhakar Raghavan, Hinrich Schütze ...

Class-tested and coherent, this textbook teaches classical and web information retrieval, including web search and the related areas of text classification and text clustering from basic concepts. It gives an up-to-date treatment of all aspects of the design and implementation of systems for gathering, indexing, and searching documents; methods for evaluating systems; and an introduction to the ... Read more

$65.59 USD

Class-tested and coherent, this textbook teaches classical and web information retrieval, including web search and the related areas of text classification and text clustering from basic concepts. It gives an up-to-date treatment of all aspects of the design and implementation of systems for gathering, indexing, and searching documents; methods for evaluating systems; and an introduction to the
... 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
Semantic Computing

Edited by Heather Yu, C. V. Ramamoorthy, Arvind K. Joshi, Lotfi A. Zadeh, Phillip C.-Y. Sheu ...

Presents the state of the technology and points to future directions for semantic computingSemantic computing, a rapidly evolving interdisciplinary field, seeks to structure, design, and manipulate computer content to better satisfy the needs and intentions of users and create a more meaningful user experience. This remarkable contributed work examines the art, engineering, technology, and ... Read more

$143.00 USD

Presents the state of the technology and points to future directions for semantic computingSemantic computing, a rapidly evolving interdisciplinary field, seeks to structure, design, and manipulate computer content to better satisfy the needs and intentions of users and create a more meaningful user experience. This remarkable contributed work examines the art, engineering, technology, 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
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
Testing Software and Systems

27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

Edited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test
... 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

$49.49 USD

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
Tools and Algorithms for the Construction and Analysis of Systems

29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II

Edited by Sriram Sankaranarayanan, Natasha Sharygina ...

Series Book 2 - Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume ... Read more

Free

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume
... Read more
The Semantic Web – ISWC 2021

20th International Semantic Web Conference, ISWC 2021, Virtual Event, October 24–28, 2021, Proceedings

Edited by Andreas Hotho, Eva Blomqvist, Stefan Dietze, Achille Fokoue, Ying Ding, Payam Barnaghi, Armin Haller, Mauro Dragoni, Harith Alani ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Semantic Web Conference, ISWC 2021, which took place in October 2021. Due to COVID-19 pandemic the conference was held virtually.The papers included in this volume deal with the latest advances in fundamental research, innovative technology, and applications of the Semantic Web, linked data, knowledge graphs, and knowledge processing ... Read more

$89.09 USD

This book constitutes the proceedings of the 20th International Semantic Web Conference, ISWC 2021, which took place in October 2021. Due to COVID-19 pandemic the conference was held virtually.The papers included in this volume deal with the latest advances in fundamental research, innovative technology, and applications of the Semantic Web, linked data, knowledge graphs, and knowledge processing
... Read more
The Semantic Web

18th International Conference, ESWC 2021, Virtual Event, June 6–10, 2021, Proceedings

Edited by Ruben Verborgh, Katja Hose, Heiko Paulheim, Pierre-Antoine Champin, Maria Maleshkova, Oscar Corcho, Petar Ristoski, Mehwish Alam ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Semantic Web Conference, ESWC 2021, held virtually in June 2021.The 41 full papers and 2 short papers presented were carefully reviewed and selected from 167 submissions. The papers were submitted to three tracks: the research track, the resource track and the in-use track. These tracks showcase research and development ... Read more

$89.09 USD

This book constitutes the refereed proceedings of the 18th International Semantic Web Conference, ESWC 2021, held virtually in June 2021.The 41 full papers and 2 short papers presented were carefully reviewed and selected from 167 submissions. The papers were submitted to three tracks: the research track, the resource track and the in-use track. These tracks showcase research and development
... 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

The Semantic Web – ISWC 2022

People who read this also enjoyed

Introduction to Information Retrieval

Fundamental Approaches to Software Engineering

Semantic Computing

Computer Aided Verification

Big Data Analytics and Knowledge Discovery

Testing Software and Systems

Computer Aided Verification

Advances in Intelligent Data Analysis XVII

Tools and Algorithms for the Construction and Analysis of Systems

The Semantic Web – ISWC 2021

The Semantic Web

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