Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
foundations function » foundations auctions, foundations traction, functions function
program foundations » program foundation, problem foundations, program conditions
parallel problem » parallel program, parallel programs, parallel robots
problem program » problems programs, program program, problem problem
function https » functions https, fiction https
foundations function » foundations auctions, foundations traction, functions function
program foundations » program foundation, problem foundations, program conditions
parallel problem » parallel program, parallel programs, parallel robots
problem program » problems programs, program program, problem problem
function https » functions https, fiction https
1
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009...
Veröffentlicht 2010
Inhaltsangabe:
“... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”Volltext
Elektronisch
E-Book
2
Veröffentlicht 2005
Inhaltsangabe:
“... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...”Volltext
Elektronisch
E-Book
3
Veröffentlicht 2008
Inhaltsangabe:
“... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...”Volltext
Elektronisch
E-Book
4
Veröffentlicht 2005
Inhaltsangabe:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Volltext
Elektronisch
E-Book
5
Veröffentlicht 2014
Inhaltsangabe:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Volltext
Elektronisch
E-Book
6
Veröffentlicht 2008
Inhaltsangabe:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Volltext
Elektronisch
E-Book
7
von Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Veröffentlicht 2007
Inhaltsangabe:
“... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”Veröffentlicht 2007
Volltext
Elektronisch
E-Book
8
Veröffentlicht 2008
Inhaltsangabe:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Volltext
Elektronisch
E-Book
9
Inhaltsangabe:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Volltext
Volltext
Elektronisch
E-Book
10
Inhaltsangabe:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Volltext
Volltext
Elektronisch
E-Book
11
Inhaltsangabe:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Volltext
Volltext
Elektronisch
E-Book
12
von Jones, Allen., Jones, Allen., MacDonald, Matthew., Rajan, Rakesh., Freeman, Adam.
Veröffentlicht 2010
Inhaltsangabe:
“... Programming -- Using LINQ -- Windows Presentation Foundation....”Veröffentlicht 2010
Volltext
Elektronisch
E-Book
13
Veröffentlicht 2006
Inhaltsangabe:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Volltext
Elektronisch
E-Book
14
Veröffentlicht 2006
Inhaltsangabe:
“... for Words and Trees over an Infinite Alphabet -- Nonmonotonic Logics and Their Algebraic Foundations...”Volltext
Elektronisch
E-Book
15
Veröffentlicht 2015
Inhaltsangabe:
“... Corpora -- A Consistent Foundation for Isabelle/HOL -- Foundational Property-Based Testing -- A First...”Volltext
Elektronisch
E-Book
16
Veröffentlicht 2014
Inhaltsangabe:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”Volltext
Elektronisch
E-Book
17
Veröffentlicht 2013
Inhaltsangabe:
“...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...”Volltext
Elektronisch
E-Book
18
Veröffentlicht 2015
Inhaltsangabe:
“... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”Volltext
Elektronisch
E-Book
19
Veröffentlicht 2012
Inhaltsangabe:
“...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...”Volltext
Elektronisch
E-Book
20
Veröffentlicht 2006
Inhaltsangabe:
“... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”Volltext
Elektronisch
E-Book
- 1
- 2
- Nächster »
- [2]



