Electronic Books

Total Books: 4441 - 4460 /4790

The two volume set LNCS 12506 and 12507 constitutes the proceedings of the 19th International Semantic Web Conference, ISWC ...

Coverage includes semantic Web services, ontology learning, inference and mapping, social semantic Web, ontologies, personalization, ...

The vision of the Semantic Web is to enhance today’s Web via the exploi- tion of machine-processable metadata. The explicit ...

PrefaceThis volume contains the main proceedings of the 3rd Annual European Se-mantic Web Conference (ESWC 2006) held in ...

The book is organized in topical sections on agents, application ontologies, applications, formal languages, foundational ...

"Sense of Touch and its Rendering" presents a unique and interdisciplinary approach highlighting the field of haptic research ...

Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...

"The Testing Network" presents an integrated approach to testing based on cutting-edge methodologies, processes and tools ...

The Transfer and Diffusion of Information Technology for Organizational Reilience addresses the challenges faced by many ...

The Turn analyzes the research of information seeking and retrieval (IS&R) and proposes a new direction of integrating research ...

After reviewing the history of cancer and its impact on the population, Dr. Faguet exposes the antiquated notions that have ...

Classifying objects into categories at different granularity levels, establishing links between known objects, and discovering ...

This book concisely brings together the key standards and best practices relating to modelling, querying, validating and ...

We are now in the era of digital transformation that provides many services and facilities, governments deliver their services ...

Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...

This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ...

This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...

This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects ...

International Colloquium on Theoretical Aspects of Computing. ICTAC was founded by the International Institute for Software ...

This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...

Total Books: 4441 - 4460 /4790