Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
program construction » programmed instruction
interval computing » intervals comparing, internet computing, interval counting
construction https » instruction https, conservation https, construction history
computing program » comparing programs, computing progress, computer program
program program » programs program, programming program
program construction » programmed instruction
interval computing » intervals comparing, internet computing, interval counting
construction https » instruction https, conservation https, construction history
computing program » comparing programs, computing progress, computer program
program program » programs program, programming program
1
Vydáno 2014
Obsah:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2010
Obsah:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2010
Obsah:
“... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2005
Obsah:
“... -- ASP Extensions -- Guarded Open Answer Set Programming -- External Sources of Computation for Answer...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2013
Obsah:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2007
Obsah:
“... and Their Compilation for Solving MinCostSAT -- Bound-Consistent Deviation Constraint -- Constructive Interval...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2008
Obsah:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2005
Obsah:
“... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2007
Obsah:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2006
Obsah:
“... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2006
Obsah:
“...: Computational Geometry -- Diamond Triangulations Contain Spanners of Bounded Degree -- Optimal Construction...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2008
Obsah:
“... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2005
Obsah:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2008
Obsah:
“... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2012
Obsah:
“... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2008
Obsah:
“...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2007
Obsah:
“... of Propositional Interval Neighborhood Logics -- Reasoning About Sequences of Memory States -- Cut Elimination...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2010
Obsah:
“... Techniques -- Economic Path Scheduling for Mobile Agent System on Computer Network -- A Database-Based...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2010
Obsah:
“... Footprinting -- Learning Network from High-Dimensional Array Data -- Computational Methods for Predicting...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2007
Obsah:
“... -- Experiment of Event Injection Technology for Network Dependability Evaluation -- Analysis on Construction...”Získat plný text
Elektronický zdroj
E-kniha