1
Julkaistu 2013
Sisällysluettelo: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Hae kokoteksti
Elektroninen E-kirja
2
Tekijä Pace, Larry., Pace, Larry., Wiley, Joshua.
Julkaistu 2015
Aiheet: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Hae kokoteksti
Elektroninen E-kirja
3
Aiheet: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Hae kokoteksti
Elektroninen E-kirja
4
Sisällysluettelo: ... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2006
Sisällysluettelo: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
Hae kokoteksti
Elektroninen E-kirja
6
Tekijä Fischer, Robert., Fischer, Robert.
Julkaistu 2015
Aiheet: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2010
Sisällysluettelo: ... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...
Hae kokoteksti
Elektroninen E-kirja
8
Tekijä Raynal, Michel., Raynal, Michel.
Julkaistu 2013
Sisällysluettelo: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
Hae kokoteksti
Elektroninen E-kirja
9
Sisällysluettelo: ...An Introduction to Reconfigurable Computing. What is RC? RC Architectures. How did RC originate...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2006
Sisällysluettelo: ..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2008
Sisällysluettelo: ... for Supercomputing Applications - DEISA -- Towards Networked Computers: What Can Be Learned from Distributed...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2014
Sisällysluettelo: ... Rule for Matrices -- What Is New in CoCoA? -- Maximizing Likelihood Function for Parameter Estimation...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2010
Sisällysluettelo: ... Proofs: Why Do It? and What Is It Like to Do? -- Linear Programs for the Kepler Conjecture -- A Formal...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2013
Sisällysluettelo: ... -- Natural Killer cell Licensing during Viral Infection -- Bridging Innate NK cell Functions with Adaptive...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2007
Sisällysluettelo: ... Rupture of CN and CC Multiple Bonds -- Protein Function Prediction in Proteomics Era -- What We can Learn...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2014
Aiheet: ...Computational Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2007
Sisällysluettelo: ...Keynotes -- Software Is the Answer But What Is the Question? -- Integrating VLIW Processors with a...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2013
Sisällysluettelo: ... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2007
Sisällysluettelo: ... of Ideal and Empirical ROC-Based Reject Rules -- Outlier Detection with Kernel Density Functions -- Generic...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2011
Sisällysluettelo: ... Algorithms -- 4 Parallel Sorting – The Need for Speed -- 5 Topological Sorting – How Should I Begin...
Hae kokoteksti
Elektroninen E-kirja