Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suiteThe first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...
Lire la suiteThe goal of this book is to provide effective optimization algorithms for solving a broad class of problems quickly, accurately, ...
Lire la suiteAdvances in Information Systems Development: Bridging the Gap between Academia and Industry, Volumes 1 and 2, are the collected ...
Lire la suiteThe two volume set LNCS 4351 and LNCS 4352 constitutes the refereed proceedings of the 13th International Multimedia Modeling ...
Lire la suiteThe goal of RuleM is to develop an open, general, XML-based family of rule languages as intermediaries between various ‘specialized’ ...
Lire la suiteThe goal of RuleM is to develop an open, general, XML-based family of rule languages as intermediaries between various ‘specialized’ ...
Lire la suiteAlgebraic Geometry provides an impressive theory targeting the understanding of geometric objects defined algebraically. ...
Lire la suiteThis book will help in bridging the wide gap between developed and developing countries, in the development and use of gene-based ...
Lire la suiteBridging the gap between novice and expert, the aim of this book is to present in a self-contained way a number of striking ...
Lire la suiteOffers solutions to the problems of security, outlining the concepts behind allowing computers to learn from experience and ...
Lire la suiteModern aerospace vehicles, such as the space shuttle, other launch vehicles, and long-range ballistic missiles, do not discriminate ...
Lire la suiteDescribes a number of new or updated bridging concepts which were developed and successfully applied during the author's ...
Lire la suiteMaritime canals dissolve natural barriers to the dispersal of marine organisms, thus providing novel opportunities for natural ...
Lire la suiteThis book is open access under a CC BY 4.0 license. This volume argues for the need of a common ground that bridges leadership ...
Lire la suiteContemporary research on genetic control of disease-transmitting insects knows two kinds of scientists: those that work in ...
Lire la suiteBroadband Fixed Wireless Access provides a systematic overview of the emerging WiMax technology, and much of the material ...
Lire la suiteBuilding XNA 2.0 Games: A Practical Guide for Independent Game Development is written by James Silva, who recently won the ...
Lire la suitePresents recent research and practical insights relating to building pathology. As such it contributes toward the systematization ...
Lire la suiteThis book brings together a collection of classic research papers on the Dempster-Shafer theory of belief functions. By bridging ...
Lire la suite