1
Publicat 2015
Taula de continguts: .... Quadratic Residue Cayley Graphs on Composite Modulus -- Chapter 20. A dynamic programming algorithm...
Obtenir text complet
Electrònic eBook
2
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
3
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
4
Publicat 2005
Taula de continguts: ... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...
Obtenir text complet
Electrònic eBook
5
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
6
Publicat 2014
Taula de continguts: ... -- Interaction Coupling: A Modern Coupling Extractor -- Secure Multicasting Protocols in Wireless Mesh Networks...
Obtenir text complet
Electrònic eBook
7
Publicat 2006
Taula de continguts: ... Review on Design Optimisation and Exploration with Interactive Evolutionary Computation -- Pattern...
Obtenir text complet
Electrònic eBook
8
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
9
Publicat 2012
Taula de continguts: ... Model of Artistic Creativity (Palle Dahlstedt) -- Chap. 9 Computer Programming in the Creative Arts...
Obtenir text complet
Electrònic eBook
10
Taula de continguts: ... Python -- Fortran Programming with Numerical Python Arrays -- C and C++ Programming with Numerical Python...
Obtenir text complet
Electrònic eBook
11
Publicat 2007
Taula de continguts: ... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...
Obtenir text complet
Electrònic eBook
12
per Brooks, David R., Brooks, David R.
Publicat 2011
Taula de continguts: ... a Server-Side Environment with PHP -- Working with PHP -- PHP Arrays -- Summary of Selected PHP...
Obtenir text complet
Electrònic eBook
13
Publicat 2007
Taula de continguts: ...-Structure Coupling -- Computational Study of the Aeroelastic Equilibrium Configuration of a Swept Wind...
Obtenir text complet
Electrònic eBook
14
Publicat 2005
Taula de continguts: ...-Grained Parallel Algorithm for Irregular Dynamic Programming Applications -- A Feedback-Based Adaptive...
Obtenir text complet
Electrònic eBook
15
Publicat 2014
Taula de continguts: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
Obtenir text complet
Electrònic eBook
16
Publicat 2010
Taula de continguts: ... Footprinting -- Learning Network from High-Dimensional Array Data -- Computational Methods for Predicting...
Obtenir text complet
Electrònic eBook
17
Publicat 2014
Taula de continguts: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
Obtenir text complet
Electrònic eBook
18
Publicat 2015
Taula de continguts: ... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...
Obtenir text complet
Electrònic eBook
19
Publicat 2007
Taula de continguts: ...-Exponential Dependence on Epsilon -- Computing a Minimum-Depth Planar Graph Embedding in O(n 4) Time...
Obtenir text complet
Electrònic eBook
20
Publicat 2008
Taula de continguts: ...) -- The Abella Interactive Theorem Prover (System Description) -- LEO-II - A Cooperative Automatic Theorem Prover...
Obtenir text complet
Electrònic eBook