Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function central » function cerebral, function neural, function clinical
programs active » programs action, programs adaptive, programs practices
https function » its function, sites function, ups function
central https » general https, control https, central alps
active https » practice https, vaccine https, crime https
function central » function cerebral, function neural, function clinical
programs active » programs action, programs adaptive, programs practices
https function » its function, sites function, ups function
central https » general https, control https, central alps
active https » practice https, vaccine https, crime https
1
Table of Contents:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
View full text
View full text
Electronic
eBook
2
Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference...
Published 2005
Table of Contents:
“...-models on Test: UML vs. OPM in the SODA Case Study -- Programming an Agent as Abstract State Machine...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...Software Testing: An Overview -- Functional, Control and Data Flow, and Mutation Testing: Theory...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... and Analyzing Centralized-Mode Architectural Connection -- Naive Architecting - Understanding the Reasoning...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... (PMCA) to Cerebellar Synapse Function -- Part VIII. Emerging Role of NCX Activity in Immune and Glial...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“...Database Systems -- Database System Architecture – A Walk Through Time: From Centralized Platform...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... -- Beyond the Genome: Functional Studies of Phototrophic Sulfur Oxidation -- Multicellularity in a...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Regulation of the Apoptosome: New Alternative Treatments for Cancer -- Molecules That Bind a Central Protein...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... and Exercise Project (HEP) Conception and Contents of a “Programmed Sports Therapy” for Hemophilic Patients...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... for Semi-Active Dampers -- Neuro-Fuzzy Modeling and Fuzzy Control of a Fast Ferry -- AUTOP´IA Program...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... of the Vasculature -- Endothelial Cell Activation -- Pericytes, the Mural Cells of the Microvascular System -- Matrix...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... in a Flow Reactor -- RNA World: First Steps Towards Functional Molecules -- Trans Hammerhead Ribozyme...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... on Blood-Brain Barrier Functions -- Nutrients and Stress -- Essential Fatty Acids and Stress -- Stress...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Function as Cardiac Lactic Acid Sensors During Myocardial Ischemia -- Molecular Components of Neural...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... Findings to Practice and Programs -- 3.The Regulation of Emotion in Adolescence -- 4.School Engagement...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... Enrichment Program for MINT/STEM-talents by Kurt A. Heller -- Chapter 15 Joint Function of Perceived...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“... Activation in Living Cells -- Evaluation of the Dimerization Profiles of HER Tyrosine Kinases by Time...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Likelihood Ratio Test Detector Using a Jointly Gaussian Probability Distribution Function -- Performance...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“...An NPR Technique for Pointillistic and Mosaic Images with Impressionist Color Arrangement -- Active...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Considering Disk Drive Power Saving Function -- Data Streams (Short Papers) -- A Disk-Based, Adaptive Approach...”View full text
Electronic
eBook