Computing the Electrical Activity in the Heart
This book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The ...
Lee mas
Computing the Electrical Activity in the Heart
This book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The ...
Lee mas
Concept Lattices and Their Applications : Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers
This book constitutes the refereed proceedings of the Fourth International Conference on Concept Lattices and their Applications, ...
Lee masConcrete Segmental Bridges : Theory, Design, and Construction to AASHTO LRFD Specifications / Dongzhou Huang, Bo Hu
Presents comprehensive theory, design and key construction methods, with a simple design example based on the AASHTO LRFD ...
Lee mas
Concurrency Theory
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...
Lee mas
Congruency, Expectations and Consumer Behavior in Digital Environments / Frederic Nimmermann
A progress in technologies, the increasing expansion and use of digital environments lead to remarkable shifts of business ...
Lee mas
Conservation Biology
Fred Van Dyke’s new textbook, Conservation Biology: Foundations, Concepts, Applications, 2nd Edition represents a major ...
Lee mas
Constraint Handling Rules : Current Research Topics
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
Lee mas
Constraint-Based Mining and Inductive Databases
The interconnected ideas of inductive databases and constraint-based mining are appealing and have the potential to radically ...
Lee mas
Constraint-Based Verification
Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly ...
Lee mas
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lee masConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lee masConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lee mas
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lee mas
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lee mas
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362)
History based access control and secure information flow The spec# programming system Mastering test generation from smart ...
Lee mas
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956)
This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...
Lee mas
Consumers, Policy and the Environment
The role of the consumer has changed from seeking the most satisfaction from goods and services to reconciling consumption ...
Lee mas
Contaminated Rivers
The geomorphological, surficial and geochemical processes and conditions of rivers require a tailored set of strategies and ...
Lee masContemporary Accounts in Drug Discovery and Development / Xianhai Huang
Drug discovery is a lengthy and complex process that typically involves identifying an unmet medical need, determining a ...
Lee mas
