1
Publicat 2007
Taula de continguts: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Obtenir text complet
Electrònic eBook
2
Publicat 2010
Taula de continguts: ... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...
Obtenir text complet
Electrònic eBook
3
Taula de continguts: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Obtenir text complet
Electrònic eBook
4
Taula de continguts: ... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...
Obtenir text complet
Electrònic eBook
5
Taula de continguts: ...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...
Obtenir text complet
Electrònic eBook
6
Taula de continguts: ...Overview -- Introduction to Problem Solving -- Introduction to Programming Languages...
Obtenir text complet
Electrònic eBook
7
Taula de continguts: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Obtenir text complet
Electrònic eBook
8
Taula de continguts: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
Obtenir text complet
Electrònic eBook
9
Taula de continguts: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Obtenir text complet
Electrònic eBook
10
Publicat 2013
Taula de continguts: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
Obtenir text complet
Electrònic eBook
11
Publicat 2015
Taula de continguts: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
Obtenir text complet
Electrònic eBook
12
Publicat 2010
Taula de continguts: ... Evolution Strategy to Light Configuration Optimization of Photometric Stereo -- Solving Multi Objective...
Obtenir text complet
Electrònic eBook
13
Publicat 2005
Taula de continguts: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Obtenir text complet
Electrònic eBook
14
Publicat 2010
Taula de continguts: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
Obtenir text complet
Electrònic eBook
15
Matèries: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Obtenir text complet
Electrònic eBook
16
Publicat 2005
Taula de continguts: ... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...
Obtenir text complet
Electrònic eBook
17
Publicat 2006
Taula de continguts: ... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...
Obtenir text complet
Electrònic eBook
18
Publicat 2007
Taula de continguts: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
Obtenir text complet
Electrònic eBook
19
Publicat 2013
Taula de continguts: ... of the laser lift-off (LLO) of III-nitride compound -- Combining Quality Function Deployment and TRIZ to Solve...
Obtenir text complet
Electrònic eBook
20
Publicat 2013
Taula de continguts: ... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...
Obtenir text complet
Electrònic eBook