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 ...
اقرأ المزيد
