Electronic Books

Total Books: 4341 - 4360 /4684

The Semantic Web: Research and Applications (vol. # 3532)

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

The Semantic Web: Research and Applications (vol. # 4011)

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

The Semantic Web: Research and Applications : 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings

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

The Sense of Touch and its Rendering : Progress in Haptics Research

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

The Seventeen Provers of the World

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

The Testing Network : An Integral Approach to Test Activities in Large Software Projects

"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 Resilience

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

The Turn

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

The War on Cancer

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

The Web Resource Space Model

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

The Web of Data

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

The intelligent national record of mobile applications هزار محمد مازن قربي ؛ كوثر محمد فاخوري ادلبي ؛ محمد عمر الياسين ؛ عماد مازن الكردي ؛ اياد محمد أسامة ؛ إشراف د.أنس دهبية

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

Theorem Proving in Higher Order Logics

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

Theorem Proving in Higher Order Logics

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

Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

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

Theoretical Aspects of Computing - ICTAC 2004

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

Theoretical Aspects of Computing - ICTAC 2005

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

Theoretical Aspects of Computing - ICTAC 2006

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

Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...

Theoretical Aspects of Computing – ICTAC 2007

Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...

Total Books: 4341 - 4360 /4684