Electronic Books

Total Books: 2441 - 2460 /2678

The Quintessential PIC® Microcontroller deals with the central `intelligence’ of most smart embedded digital systems and ...

The papers included in this volume cover a broad spectrum of important safety issues. They provide a combination of industrial ...

This book discusses how the involvement of citizens into scientific endeavors is expected to contribute to solve the big ...

This book constitutes the refereed proceedings of the joined 6th International Semantic Web Conference, ISWC 2007, and the ...

this sixth annual conference demonstrates new research results, technology, and applications that show current incarnations ...

This book covered in the research track are ontology engineering; data management; software and service engineering; non-standard ...

The book address the latest results in the research and applications of Semantic Web technologies and cover topics including: ...

It offers a glimpse into the opening door of semantic technologies by means of concentrated examples of semantic applications ...

The Semantic Web is a vision – the idea of having data on the Web defined and linked in such a way that it can be used ...

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 ...

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 ...

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 ...

Total Books: 2441 - 2460 /2678