The FPGA technology is defined, which includes architecture, logic block structure, interconnect, and configuration methods ...
Lire la suiteThe book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...
Lire la suiteThe book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...
Lire la suiteThis book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one ...
Lire la suiteThis book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one ...
Lire la suiteThis basic textbook gives an easily accessible introduction to Fuzzy theory and its applications. It provides basic and concrete ...
Lire la suiteWith 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 suiteForest 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 suiteThe chapters of the book are evolved from presentations made by selected participants at the meeting and organized in two ...
Lire la suiteSoftware validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...
Lire la suiteThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suiteThis book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007. ...
Lire la suiteThis book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and ...
Lire la suiteThis book constitutes the refereed proceedings of the 4th International Conference on Formal Concept Analysis, held in February ...
Lire la suiteFormal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptual hierarchyleadingto methods for conceptually ...
Lire la suiteThis paper presents a few of these, including a distributed garbage collection problem, distributed consensus problems for ...
Lire la suiteThis volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
Lire la suite