25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lee mas
A Modern Perspective on Type Theory
The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...
Lee mas
Advances in Evolutionary Algorithms
The goal of this book is to provide effective optimization algorithms for solving a broad class of problems quickly, accurately, ...
Lee mas
Advances in Information System Development : New Methods and Practice for the Networked Society
Advances in Information Systems Development: Bridging the Gap between Academia and Industry, Volumes 1 and 2, are the collected ...
Lee mas
Advances in Multimedia Modeling
The two volume set LNCS 4351 and LNCS 4352 constitutes the refereed proceedings of the 13th International Multimedia Modeling ...
Lee mas
Advances in Rule Interchange and Applications
The goal of RuleM is to develop an open, general, XML-based family of rule languages as intermediaries between various ‘specialized’ ...
Lee mas
Advances in Rule Interchange and Applications
The goal of RuleM is to develop an open, general, XML-based family of rule languages as intermediaries between various ‘specialized’ ...
Lee mas
Algebraic Geometry and Geometric Modeling
Algebraic Geometry provides an impressive theory targeting the understanding of geometric objects defined algebraically. ...
Lee mas
Applications of Gene-Based Technologies for Improving Animal Production and Health in Developing Countries
This book will help in bridging the wide gap between developed and developing countries, in the development and use of gene-based ...
Lee mas
Arakelov Geometry and Diophantine Applications
Bridging the gap between novice and expert, the aim of this book is to present in a self-contained way a number of striking ...
Lee mas
Artificial Intelligence and Data Mining Approaches in Security Frameworks / Neeraj Bhargava, Ritu Bhargava, Pramod Singh Rathore, Rashmi Agrawal
Offers solutions to the problems of security, outlining the concepts behind allowing computers to learn from experience and ...
Lee mas
Atmospheric and Space Flight Dynamics
Modern aerospace vehicles, such as the space shuttle, other launch vehicles, and long-range ballistic missiles, do not discriminate ...
Lee masBridge design for economy and durability: Concepts for new, strengthened and replacement bridges
Describes a number of new or updated bridging concepts which were developed and successfully applied during the author's ...
Lee mas
Bridging Divides
Maritime canals dissolve natural barriers to the dispersal of marine organisms, thus providing novel opportunities for natural ...
Lee mas
Bridging Educational Leadership, Curriculum Theory and Didaktik
This book is open access under a CC BY 4.0 license. This volume argues for the need of a common ground that bridges leadership ...
Lee mas
Bridging laboratory and field research for genetic control of disease vectors
Contemporary research on genetic control of disease-transmitting insects knows two kinds of scientists: those that work in ...
Lee mas
Broadband Fixed Wireless Access
Broadband Fixed Wireless Access provides a systematic overview of the emerging WiMax technology, and much of the material ...
Lee mas
Building XNA 2.0 Games : A Practical Guide for Independent Game Development
Building XNA 2.0 Games: A Practical Guide for Independent Game Development is written by James Silva, who recently won the ...
Lee mas
Case Studies in Building Rehabilitation / J.M.P.Q. Delgado
Presents recent research and practical insights relating to building pathology. As such it contributes toward the systematization ...
Lee mas
Classic Works on the Dempster-Shafer Theory of Belief Functions
This book brings together a collection of classic research papers on the Dempster-Shafer theory of belief functions. By bridging ...
Lee mas
