The FPGA technology is defined, which includes architecture, logic block structure, interconnect, and configuration methods ...
Lire la suite
The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...
Lire la suite
The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...
Lire la suite
This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one ...
Lire la suite
This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one ...
Lire la suite
This basic textbook gives an easily accessible introduction to Fuzzy theory and its applications. It provides basic and concrete ...
Lire la suite
With the second volume of Clinical Engineering, the Author intends to provide an updated scientific-didactic overview of ...
Lire la suiteThe effect of drug on a person may be different than expected because that drug interacts with another drug the person is ...
Lire la suiteThe fears regarding food safety started long time ago, and till this very moment of ours, the international organizations ...
Lire la suite
Forest Landscape Ecology: Transferring Knowledge to Practice is the first book to introduce landscape ecologists to the discipline ...
Lire la suiteThe 2005 BISC International Special Event-BISCSE’05 " FORGING THE FRONTIERS" was held in the University of California, ...
Lire la suite
The chapters of the book are evolved from presentations made by selected participants at the meeting and organized in two ...
Lire la suite
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...
Lire la suite
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suite
This book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007. ...
Lire la suite
This book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and ...
Lire la suite
This book constitutes the refereed proceedings of the 4th International Conference on Formal Concept Analysis, held in February ...
Lire la suite
Formal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptual hierarchyleadingto methods for conceptually ...
Lire la suite
This paper presents a few of these, including a distributed garbage collection problem, distributed consensus problems for ...
Lire la suite
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
Lire la suite