1
Publicat 2015
Taula de continguts: ... -- Chapter 3. A Study of Generalized Invex Functions on Riemannian Manifold -- Chapter 4. Second order...
Obtenir text complet
Electrònic eBook
2
Taula de continguts: ... and Error Handling -- Array Computing and Curve Plotting -- Dictionaries and Strings -- Introduction...
Obtenir text complet
Electrònic eBook
3
Publicat 2015
Taula de continguts: ... of Twentieth-Century Harmony -- Utilizing Computer Programming to Analyze Post-Tonal Music: Contour Analysis...
Obtenir text complet
Electrònic eBook
4
Taula de continguts: ...Chap. 1, Memory: The Stack -- Chap. 2, Control -- Chap. 3, Arrays and Strings -- Chap. 4, Debugging...
Obtenir text complet
Electrònic eBook
5
Publicat 2006
Taula de continguts: ...Invited Talks -- A Core Calculus for Scala Type Checking -- Tree Exploration with an Oracle...
Obtenir text complet
Electrònic eBook
6
Publicat 2005
Taula de continguts: ... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...
Obtenir text complet
Electrònic eBook
7
Publicat 2008
Taula de continguts: ... Programming Language for Distributed Memory Systems -- A New Memory Allocation Model for Parallel Search Space...
Obtenir text complet
Electrònic eBook
8
per Priestley, Mark., Priestley, Mark.
Publicat 2011
Taula de continguts: ... Systems -- Automating Control -- Logic and the Invention of the Computer -- Machine Code Programming...
Obtenir text complet
Electrònic eBook
9
per Hazrat, Roozbeh., Hazrat, Roozbeh.
Publicat 2010
Taula de continguts: ...1. Introduction -- 1.1 Mathematica as a calculator -- 1.2 Numbers -- 1.3 Algebraic computations...
Obtenir text complet
Electrònic eBook
10
Publicat 2007
Taula de continguts: ... Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra -- Some...
Obtenir text complet
Electrònic eBook
11
Taula de continguts: ... and Strings -- 7. Working with Functions -- 8. Working with Arrays -- 9. Working with Structures -- A...
Obtenir text complet
Electrònic eBook
12
Publicat 2008
Taula de continguts: ... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...
Obtenir text complet
Electrònic eBook
13
Publicat 2015
Taula de continguts: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
Obtenir text complet
Electrònic eBook
14
Publicat 2010
Taula de continguts: ... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...
Obtenir text complet
Electrònic eBook
15
Publicat 2010
Taula de continguts: ... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...
Obtenir text complet
Electrònic eBook
16
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
17
Publicat 2006
Taula de continguts: ... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...
Obtenir text complet
Electrònic eBook
18
Publicat 2008
Taula de continguts: ...Opening Lecture -- Randomness – A Computational Complexity Perspective -- Invited Papers -- Cracks...
Obtenir text complet
Electrònic eBook
19
Publicat 2005
Taula de continguts: ... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...
Obtenir text complet
Electrònic eBook
20
Publicat 2006
Taula de continguts: ...Computer Graphics, Imaging and Vision -- Efficient Genetic Algorithms for Arabic Handwritten...
Obtenir text complet
Electrònic eBook