1
Publicado 2013
Table of Contents: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Ligazón do recurso
Electrónico eBook
2
Table of Contents: ... -- Finite-field Arithmetic -- Systems on Chip -- Embedded Systems Development: Case Studies -- Partial...
Ligazón do recurso
Electrónico eBook
3
Publicado 2012
Subjects: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Ligazón do recurso
Electrónico eBook
4
Table of Contents: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
Ligazón do recurso
Electrónico eBook
5
Publicado 2006
Table of Contents: ... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...
Ligazón do recurso
Electrónico eBook
6
Publicado 2010
Table of Contents: ... in IT Outsourcing: Making It Happen -- Management of Globally Distributed Software Development Projects in Multiple...
Ligazón do recurso
Electrónico eBook
7
Publicado 2014
Table of Contents: ... with Enhanced Functionality -- Automated Low-Fidelity Model Setup for Surrogate-Based Aerodynamic Optimization...
Ligazón do recurso
Electrónico eBook
8
Publicado 2006
Table of Contents: ... -- Stability of Parametric Decomposition -- On the GAP Package sgpviz -- Making Research on Symmetric Functions...
Ligazón do recurso
Electrónico eBook
9
Table of Contents: ... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...
Ligazón do recurso
Electrónico eBook
10
Table of Contents: ... for Fabrication of Micromotors -- Common MEMS Actuators -- Parallel Plate Capacitors -- Comb Drives...
Ligazón do recurso
Electrónico eBook
11
Publicado 2015
Table of Contents: ...Mutation Testing Process Combined with Test-Driven Development in NET Environment -- Boltzmann...
Ligazón do recurso
Electrónico eBook
12
Publicado 2008
Table of Contents: ...-on-Tangent vs. Tangent-on-Reverse for Second Differentiation of Constrained Functionals -- Parallel Reverse...
Ligazón do recurso
Electrónico eBook
13
Publicado 2008
Table of Contents: ... for Heterogeneous Ensembles of Nearest-neighbour Classifiers Using Hybrid Tabu Search -- A Parallel Ant Colony...
Ligazón do recurso
Electrónico eBook
14
Publicado 2011
Subjects: ...Medicinal Chemistry. https://scigraph.springernature.com/ontologies/product-market-codes/C28000...
Ligazón do recurso
Electrónico eBook
15
Table of Contents: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Ligazón do recurso
Electrónico eBook
16
Publicado 2015
Table of Contents: ... in skeletal muscle development -- Hypaxial muscle - controversial classification and controversial data...
Ligazón do recurso
Electrónico eBook
17
Publicado 2005
Table of Contents: ...-Throughput Proteome Annotation Pipeline -- Genome-Wide Functional Annotation Environment for Thermus...
Ligazón do recurso
Electrónico eBook
18
Publicado 2014
Subjects: ...Computational Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes...
Ligazón do recurso
Electrónico eBook
19
Table of Contents: ...What Is Enumeration? -- Generating Functions Count -- Working with Generating Functions...
Ligazón do recurso
Electrónico eBook
20
Publicado 2015
Table of Contents: ... Study of c-VEP/SSVEP BCI Hybrid System -- Part II: Higher Mental Functions and Dysfunctions -- Memory...
Ligazón do recurso
Electrónico eBook