1
Published 2014
Table of Contents: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...
View full text
Electronic eBook
4
by Nash, Trey., Nash, Trey.
Published 2007
Table of Contents: ... -- Arrays, Collection Types, and Iterators -- Delegates, Anonymous Functions, and Events -- Generics...
View full text
Electronic eBook
5
by Nash, Trey., Nash, Trey.
Published 2010
Table of Contents: ... -- Arrays, Collection Types, and Iterators -- Delegates, Anonymous Functions, and Events -- Generics...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ...’ Path to Explore Decoherence and Entanglement Phenomena in Quantum Information Theory -- Deducing...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Unimodal and Isotonic Regression on Paths and Trees -- Ambiguity and Deficiency in Costas Arrays and APN...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... of Tiling Arrays Using a Shortest Path Approach -- Efficient and Accurate Construction of Genetic Linkage...
View full text
Electronic eBook
10
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
11
Published 2006
Table of Contents: ... with Convex Polygons and Pseudo-triangles -- Approximate Shortest Path Queries on Weighted Polyhedral Surfaces...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... with Improved Per-core Performance Using Off-the-critical Path Reconfigurable Hardware -- Session VI...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... on Multiplexer Module Array -- Estimating Array Connectivity and Applying Multi-output Node Structure...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... -- Approximating Graphs by Graphs and Functions (Abstract) -- Traces, Feedback, and the Geometry of Computation...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ...How Path Dependency Affects Innovative Behavior of Firms -- Factors Affecting the Performance...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... -- Functional Properties of Resonate-and-Fire Neuron Circuits for Bio-Inspired Chemical Sensor Array -- A Robot...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... of Mixed Covering Arrays of Variable Strength Using a Tabu Search Approach -- Feasibility-Based Bounds...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... Programming Formulation Of Boolean Satisfiability Problem -- 23 Optimization Of Path For Water Transmission...
View full text
Electronic eBook