Electronic Books

Total Books: 2701 - 2720 /2945

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

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

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

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

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

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

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

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

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

"The Testing Network" presents an integrated approach to testing based on cutting-edge methodologies, processes and tools ...

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

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

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

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

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

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

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

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

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

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

Total Books: 2701 - 2720 /2945