1
Tabla de Contenidos: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
Enlace del recurso
Electrónico eBook
2
Publicado 2008
Tabla de Contenidos: ... and Bloat Free GP -- Practical Model of Genetic Programming’s Performance on Rational Symbolic Regression...
Enlace del recurso
Electrónico eBook
3
Publicado 2010
Tabla de Contenidos: ... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...
Enlace del recurso
Electrónico eBook
4
Publicado 2014
Tabla de Contenidos: ... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...
Enlace del recurso
Electrónico eBook
5
Publicado 2008
Tabla de Contenidos: ... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...
Enlace del recurso
Electrónico eBook
6
Tabla de Contenidos: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
Enlace del recurso
Electrónico eBook
7
Publicado 2005
Tabla de Contenidos: ... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...
Enlace del recurso
Electrónico eBook
8
Tabla de Contenidos: ...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...
Enlace del recurso
Electrónico eBook
9
por Sharan, Kishori., Sharan, Kishori.
Publicado 2014
Materias: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Enlace del recurso
Electrónico eBook
10
por Jordan, Gregory., Jordan, Gregory.
Publicado 2014
Materias: ...Computer Appl. in Administrative Data Processing. https://scigraph.springernature.com/ontologies...
Enlace del recurso
Electrónico eBook
11
por Hunt, John., Hunt, John.
Publicado 2014
Tabla de Contenidos: ... -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions...
Enlace del recurso
Electrónico eBook
12
Publicado 2015
Tabla de Contenidos: ... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...
Enlace del recurso
Electrónico eBook
13
Publicado 2010
Tabla de Contenidos: ... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...
Enlace del recurso
Electrónico eBook
14
Publicado 2010
Tabla de Contenidos: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Enlace del recurso
Electrónico eBook
15
Tabla de Contenidos: ... -- Iteration Structures -- Objects: Revisited -- Strings -- Arrays -- Recursion -- Objects: Inheritance...
Enlace del recurso
Electrónico eBook
16
Publicado 2005
Tabla de Contenidos: ...Development of Improved Strains and Optimization of Fermentation Processes -- Experimental Design...
Enlace del recurso
Electrónico eBook
17
por Havard, Tim M., Havard, Tim M.
Publicado 2014
Materias: ...Computer Applications. https://scigraph.springernature.com/ontologies/product-market-codes/I23001...
Enlace del recurso
Electrónico eBook
18
por Horton, Ivor., Horton, Ivor.
Publicado 2015
Materias: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Enlace del recurso
Electrónico eBook
19
Publicado 2013
Tabla de Contenidos: ... Graph Isomorphism using Parameterized Matching -- Suffix Array of Alignment: A Practical Index...
Enlace del recurso
Electrónico eBook
20
Publicado 2014
Tabla de Contenidos: ...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...
Enlace del recurso
Electrónico eBook