1
Publié 2010
Table des matières: ... and the Formation of the Earliest Cerebral Cortical Circuits -- Axonal Function -- Sodium Signals...
Accéder au texte intégral
Électronique eBook
2
Publié 2006
Table des matières: ... Types -- Lock Free Data Structures Using STM in Haskell -- XML Type Checking Using High-Level Tree...
Accéder au texte intégral
Électronique eBook
3
Publié 2007
Table des matières: ... of Generalized Satisfiability for Linear Temporal Logic -- Formalising the ?-Calculus Using Nominal Logic...
Accéder au texte intégral
Électronique eBook
4
Publié 2014
Table des matières: ... – An efficient Scoring Program for Evaluating the Energy Scores of Protein Structures for Structure Prediction...
Accéder au texte intégral
Électronique eBook
5
Publié 2015
Table des matières: ... -- The Functional Analysis of Biological Macromolecules -- The Structure-Based Drug Design....
Accéder au texte intégral
Électronique eBook
6
Sujets: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Accéder au texte intégral
Électronique eBook
7
Publié 2014
Table des matières: ... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....
Accéder au texte intégral
Électronique eBook
8
Publié 2006
Table des matières: ... -- Deterministic Extractors for Independent-Symbol Sources -- Randomness -- Gap Amplification in PCPs Using Lazy...
Accéder au texte intégral
Électronique eBook
9
Publié 2008
Table des matières: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
Accéder au texte intégral
Électronique eBook
10
Sujets: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Accéder au texte intégral
Électronique eBook
11
Table des matières: ...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...
Accéder au texte intégral
Électronique eBook
12
Sujets: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Accéder au texte intégral
Électronique eBook
13
Publié 2006
Table des matières: ... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...
Accéder au texte intégral
Électronique eBook
14
Publié 2008
Table des matières: ... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...
Accéder au texte intégral
Électronique eBook
15
Publié 2007
Table des matières: ... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...
Accéder au texte intégral
Électronique eBook
16
Publié 2013
Table des matières: ...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...
Accéder au texte intégral
Électronique eBook
17
Publié 2007
Table des matières: ...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...
Accéder au texte intégral
Électronique eBook
18
Publié 2008
Table des matières: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Accéder au texte intégral
Électronique eBook
19
Publié 2006
Table des matières: ... in Structural Optimization -- Parametric Shape and Topology Optimization with Radial Basis Functions...
Accéder au texte intégral
Électronique eBook
20
Publié 2012
Table des matières: .... Miller) -- Construction of o-Minimal Structures from Quasianalytic Classes (J.-P. Rolin) -- Course on Non...
Accéder au texte intégral
Électronique eBook