1
Publicado em 2015
Sumário: .... Quadratic Residue Cayley Graphs on Composite Modulus -- Chapter 20. A dynamic programming algorithm...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2015
Sumário: ... of Pitch-Class Intervals -- A Corpus-Sensitive Algorithm for Automated Tonal Analysis -- Finding Optimal...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2006
Sumário: ... -- A Unified Construction of the Glushkov, Follow, and Antimirov Automata -- Algebraic...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2010
Sumário: ... Parameters within VO for the SOA Paradigm -- A Role-Based Approach to Self-healing in Autonomous Monitoring...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2006
Sumário: ...Computer Graphics, Imaging and Vision -- Efficient Genetic Algorithms for Arabic Handwritten...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2014
Sumário: ... -- The Future of Access Control: Attributes, Automation and Adaptation -- Optimal Control for an MX/G/1/N + 1...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2005
Sumário: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2005
Sumário: ... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2012
Sumário: ... Model of Artistic Creativity (Palle Dahlstedt) -- Chap. 9 Computer Programming in the Creative Arts...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2007
Sumário: ... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2007
Sumário: ... Numerical Simulation and Analysis of the Flow Field Around a Swept Laminar Separation Bubble -- Direct...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2005
Sumário: ...-Grained Parallel Algorithm for Irregular Dynamic Programming Applications -- A Feedback-Based Adaptive...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2014
Sumário: ... Solution using Modified Flocking Algorithm -- Augmented Human Interaction with Remote Devices using Low...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Por Brooks, David R., Brooks, David R.
Publicado em 2011
Sumário: ... a Server-Side Environment with PHP -- Working with PHP -- PHP Arrays -- Summary of Selected PHP...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Sumário: ... Arrays -- More Advanced GUI Programming -- Tools and Examples....
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2014
Sumário: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2010
Sumário: ... Footprinting -- Learning Network from High-Dimensional Array Data -- Computational Methods for Predicting...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2007
Sumário: ...Session 1 -- Finding Small Holes -- Session 2A -- Approximate Range Searching: The Absolute Model...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2015
Sumário: ... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2008
Sumário: ...) -- The Abella Interactive Theorem Prover (System Description) -- LEO-II - A Cooperative Automatic Theorem Prover...
Obter o texto integral
Recurso Electrónico livro electrónico