The Quintessential PIC® Microcontroller deals with the central `intelligence’ of most smart embedded digital systems and ...
WeiterlesenThe papers included in this volume cover a broad spectrum of important safety issues. They provide a combination of industrial ...
WeiterlesenThis book discusses how the involvement of citizens into scientific endeavors is expected to contribute to solve the big ...
WeiterlesenThis book constitutes the refereed proceedings of the joined 6th International Semantic Web Conference, ISWC 2007, and the ...
Weiterlesenthis sixth annual conference demonstrates new research results, technology, and applications that show current incarnations ...
WeiterlesenThis book covered in the research track are ontology engineering; data management; software and service engineering; non-standard ...
WeiterlesenThe book address the latest results in the research and applications of Semantic Web technologies and cover topics including: ...
WeiterlesenIt offers a glimpse into the opening door of semantic technologies by means of concentrated examples of semantic applications ...
WeiterlesenThe 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 ...
WeiterlesenA little over a decade has passed since the release of the ?rst Netscape browser. In 1995,the World Wide Web was viewedlargelyas ...
WeiterlesenThe book is organized in topical sections on agents, application ontologies, applications, formal languages, foundational ...
Weiterlesen"Sense of Touch and its Rendering" presents a unique and interdisciplinary approach highlighting the field of haptic research ...
WeiterlesenCommemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...
WeiterlesenThere is a wide field of tasks left that can only be satisfyingly attacked with the help of old-fashioned analogue technology, ...
WeiterlesenThe present volume contains a collection of essays representing some of the recent advances in the state space method. Methods ...
WeiterlesenIn The Technology and Business of Mobile Telecommunications: An Introduction, a team of expert telecommunications researchers ...
Weiterlesen"The Testing Network" presents an integrated approach to testing based on cutting-edge methodologies, processes and tools ...
WeiterlesenClassifying objects into categories at different granularity levels, establishing links between known objects, and discovering ...
WeiterlesenThis book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
WeiterlesenThis book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects ...
Weiterlesen