1
Pubblicazione 2008
Sommario: ... and Bloat Free GP -- Practical Model of Genetic Programming’s Performance on Rational Symbolic Regression...
Testo
Elettronico eBook
2
Sommario: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
Testo
Elettronico eBook
3
Pubblicazione 2010
Sommario: ... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...
Testo
Elettronico eBook
4
Pubblicazione 2014
Sommario: ... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...
Testo
Elettronico eBook
5
Pubblicazione 2008
Sommario: ... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...
Testo
Elettronico eBook
6
Pubblicazione 2005
Sommario: ... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...
Testo
Elettronico eBook
7
di Gries, David., Gries, David., Gries, Paul.
Pubblicazione 2005
Sommario: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
Testo
Elettronico eBook
8
Pubblicazione 2015
Sommario: ... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...
Testo
Elettronico eBook
9
Pubblicazione 2010
Sommario: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Testo
Elettronico eBook
10
di Hunt, John., Hunt, John.
Pubblicazione 2014
Sommario: ... -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions...
Testo
Elettronico eBook
11
di Johansson, Robert., Johansson, Robert.
Pubblicazione 2015
Sommario: ...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...
Testo
Elettronico eBook
12
Pubblicazione 2005
Sommario: ...Development of Improved Strains and Optimization of Fermentation Processes -- Experimental Design...
Testo
Elettronico eBook
13
di Sharan, Kishori., Sharan, Kishori.
Pubblicazione 2014
Soggetti: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Testo
Elettronico eBook
14
di Jordan, Gregory., Jordan, Gregory.
Pubblicazione 2014
Soggetti: ...Computer Appl. in Administrative Data Processing. https://scigraph.springernature.com/ontologies...
Testo
Elettronico eBook
15
Pubblicazione 2013
Sommario: ... Graph Isomorphism using Parameterized Matching -- Suffix Array of Alignment: A Practical Index...
Testo
Elettronico eBook
16
Sommario: ... -- Iteration Structures -- Objects: Revisited -- Strings -- Arrays -- Recursion -- Objects: Inheritance...
Testo
Elettronico eBook
17
Pubblicazione 2010
Sommario: ... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...
Testo
Elettronico eBook
18
Pubblicazione 2014
Sommario: ... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...
Testo
Elettronico eBook
19
di Horton, Ivor., Horton, Ivor.
Pubblicazione 2015
Soggetti: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Testo
Elettronico eBook
20
Pubblicazione 2014
Sommario: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
Testo
Elettronico eBook