Computing the Electrical Activity in the Heart
This book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The ...
Weiterlesen
Computing the Electrical Activity in the Heart
This book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The ...
Weiterlesen
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, ...
WeiterlesenConcrete 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 ...
Weiterlesen
Concurrency Theory
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...
Weiterlesen
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 ...
Weiterlesen
Conservation Biology
Fred Van Dyke’s new textbook, Conservation Biology: Foundations, Concepts, Applications, 2nd Edition represents a major ...
Weiterlesen
Constraint Handling Rules : Current Research Topics
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
Weiterlesen
Constraint-Based Mining and Inductive Databases
The interconnected ideas of inductive databases and constraint-based mining are appealing and have the potential to radically ...
Weiterlesen
Constraint-Based Verification
Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly ...
Weiterlesen
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
WeiterlesenConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
WeiterlesenConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Weiterlesen
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Weiterlesen
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Consumers, Policy and the Environment
The role of the consumer has changed from seeking the most satisfaction from goods and services to reconciling consumption ...
Weiterlesen
Contaminated Rivers
The geomorphological, surficial and geochemical processes and conditions of rivers require a tailored set of strategies and ...
WeiterlesenContemporary 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 ...
Weiterlesen
