Electronic Books

Total Books: 2701 - 2720 /2945

The Semantic Web – ISWC 2005

A little over a decade has passed since the release of the ?rst Netscape browser. In 1995,the World Wide Web was viewedlargelyas ...

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 Sharing Economy in Europe : Developments, Practices, and Contradictions

This open access book considers the development of the sharing and collaborative economy with a European focus, mapping across ...

The Sound of Silence :Lowest-Noise RIAA Phono-Amps: Designer's Guide

There is a wide field of tasks left that can only be satisfyingly attacked with the help of old-fashioned analogue technology, ...

The State Space Method

The present volume contains a collection of essays representing some of the recent advances in the state space method. Methods ...

The Technological and Economic Future of Nuclear Power

Discusses the eroding economics of nuclear power for electricity generation as well as technical, legal, and political acceptance ...

The Technology and Business of Mobile Communications : An Introduction / Mythri Hunukumbure

In The Technology and Business of Mobile Telecommunications: An Introduction, a team of expert telecommunications researchers ...

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 Web Resource Space Model

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

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 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 Introduction to Programming

Is there nothing more to programming? How can you develop your skill if all you do is hunt for the prescribed routine in ...

Theory and Applications of Models of Computation

This book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, ...

Theory and Applications of Ordered Fuzzy Numbers

This open access book offers comprehensive coverage on Ordered Fuzzy Numbers, providing readers with both the basic information ...

Theory and Applications of Satisfiability Testing - SAT 2007

Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...

Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...

Total Books: 2701 - 2720 /2945