Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programmed reduction » programme production, programmes education, programmed introduction
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
reduction https » production https, education https, education http
using https » using http, nursing https, aging https
programmed reduction » programme production, programmes education, programmed introduction
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
reduction https » production https, education https, education http
using https » using http, nursing https, aging https
1
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
2
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... -- Deterministic Extractors for Independent-Symbol Sources -- Randomness -- Gap Amplification in PCPs Using Lazy...”View full text
Electronic
eBook
7
Table of Contents:
“...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
View full text
View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Constraints Using Functional Dependencies -- Relaxations for Compiled Over-Constrained Problems -- Approximate...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Modals -- Understanding Context Before Using It -- Epistemological Contextualism: A Semantic Perspective...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Software Components for Performance -- Performance Prediction for Black-Box Components Using Reengineered...”View full text
Electronic
eBook
14
Table of Contents:
“...Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine...”
View full text
View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... -- Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Semidefinite Programming -- Ranks of Hadamard Matrices and Equivalence of Sylvester—Hadamard and Pseudo-Noise...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... and Function Values (D. Noll) -- 27. Convergence of Linesearch and Trust-Region Methods Using the Kurdyka...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”View full text
Electronic
eBook