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
منشور في 2012
جدول المحتويات: ... Model of Artistic Creativity (Palle Dahlstedt) -- Chap. 9 Computer Programming in the Creative Arts...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
بواسطة Brooks, David R., Brooks, David R.
منشور في 2011
جدول المحتويات: ... a Server-Side Environment with PHP -- Working with PHP -- PHP Arrays -- Summary of Selected PHP...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
بواسطة Langtangen, Hans Petter., Langtangen, Hans Petter.
منشور في 2006
جدول المحتويات: ... Python -- Fortran Programming with Numerical Python Arrays -- C and C++ Programming with Numerical Python...
احصل على النص الكامل
الكتروني كتاب الكتروني
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
منشور في 2008
جدول المحتويات: ...) -- The Abella Interactive Theorem Prover (System Description) -- LEO-II - A Cooperative Automatic Theorem Prover...
احصل على النص الكامل
الكتروني كتاب الكتروني