1
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... to Memory Faults -- Simple and Space-Efficient Minimal Perfect Hash Functions -- Session 4A -- A Near Linear...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Learning for Real-Time Systems Applications -- Discriminative Structure Learning of Markov Logic Networks...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... Interaction and Decision Support Systems of the Future -- Linguistics to Structure Unstructured Information...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... regulation by androgen receptor -- The Functionality of Prostate Cancer Predisposition Risk Regions...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... in Structural Optimization -- Parametric Shape and Topology Optimization with Radial Basis Functions...
View full text
Electronic eBook
11
by Chesi, Graziano., Chesi, Graziano.
Published 2011
Table of Contents: ... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Methods for Building Initial Partitions -- TMG: A MATLAB Toolbox for Generating Term-Document Matrices...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... -- Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic -- The Omega Rule...
View full text
Electronic eBook
14
Table of Contents: ... -- Predefined Data Modules -- Specifying Parameterized Data Structures in Maude -- Object-Based Programming...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... and their Suitability for Cryptographic Algorithms -- An Introduction to Java Card Programming -- A Practical Example...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... -- Criteria for Estimating Effort for Requirements Changes -- Productivity of Pair Programming in a...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... for Rewriting Approximations -- A Needed Rewriting Strategy for Data-Structures with Pointers -- Effectively...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... -- Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints -- Lookahead-Based...
View full text
Electronic eBook
20
Published 2008
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook