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