1
出版 2015
书本目录: .... Quadratic Residue Cayley Graphs on Composite Modulus -- Chapter 20. A dynamic programming algorithm...
获取全文
电子 电子书
2
出版 2015
书本目录: ... of Twentieth-Century Harmony -- Utilizing Computer Programming to Analyze Post-Tonal Music: Contour Analysis...
获取全文
电子 电子书
3
出版 2006
书本目录: ...Invited Talks -- A Core Calculus for Scala Type Checking -- Tree Exploration with an Oracle...
获取全文
电子 电子书
4
出版 2005
书本目录: ... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...
获取全文
电子 电子书
5
出版 2010
书本目录: ... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...
获取全文
电子 电子书
6
出版 2014
书本目录: ... -- Interaction Coupling: A Modern Coupling Extractor -- Secure Multicasting Protocols in Wireless Mesh Networks...
获取全文
电子 电子书
7
出版 2006
书本目录: ... Review on Design Optimisation and Exploration with Interactive Evolutionary Computation -- Pattern...
获取全文
电子 电子书
8
出版 2005
书本目录: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
获取全文
电子 电子书
9
书本目录: ... Python -- Fortran Programming with Numerical Python Arrays -- C and C++ Programming with Numerical Python...
获取全文
电子 电子书
10
出版 2012
书本目录: ... Model of Artistic Creativity (Palle Dahlstedt) -- Chap. 9 Computer Programming in the Creative Arts...
获取全文
电子 电子书
11
书本目录: ... a Server-Side Environment with PHP -- Working with PHP -- PHP Arrays -- Summary of Selected PHP...
获取全文
电子 电子书
12
出版 2007
书本目录: ... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...
获取全文
电子 电子书
13
出版 2007
书本目录: ...-Structure Coupling -- Computational Study of the Aeroelastic Equilibrium Configuration of a Swept Wind...
获取全文
电子 电子书
14
出版 2005
书本目录: ...-Grained Parallel Algorithm for Irregular Dynamic Programming Applications -- A Feedback-Based Adaptive...
获取全文
电子 电子书
15
出版 2014
书本目录: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
获取全文
电子 电子书
16
出版 2010
书本目录: ... Footprinting -- Learning Network from High-Dimensional Array Data -- Computational Methods for Predicting...
获取全文
电子 电子书
17
出版 2014
书本目录: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
获取全文
电子 电子书
18
出版 2015
书本目录: ... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...
获取全文
电子 电子书
19
出版 2007
书本目录: ...-Exponential Dependence on Epsilon -- Computing a Minimum-Depth Planar Graph Embedding in O(n 4) Time...
获取全文
电子 电子书
20
出版 2010
书本目录: ... System Using SOM -- A Novel Embedded Computer Based Autonomous Robot for Sewer Pipe Inspection...
获取全文
电子 电子书