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