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