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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suiteThe 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 ...
Lire la suite
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, ...
Lire la suite
The State Space Method
The present volume contains a collection of essays representing some of the recent advances in the state space method. Methods ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
The Web Resource Space Model
Classifying objects into categories at different granularity levels, establishing links between known objects, and discovering ...
Lire la suite
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 ...
Lire la suite
Theoretical Aspects of Computing - ICTAC 2004
This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects ...
Lire la suite
Theoretical Aspects of Computing - ICTAC 2006
This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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, ...
Lire la suite
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 ...
Lire la suite
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. ...
Lire la suite
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 ...
Lire la suite
