Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
interval computer » interface computer, interval computing, internet computer
program program » programs program, programming program
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
interval computer » interface computer, interval computing, internet computer
program program » programs program, programming program
1
Publicado em 2014
Sumário:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2010
Sumário:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2010
Sumário:
“... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2005
Sumário:
“... -- ASP Extensions -- Guarded Open Answer Set Programming -- External Sources of Computation for Answer...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2013
Sumário:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2007
Sumário:
“... and Their Compilation for Solving MinCostSAT -- Bound-Consistent Deviation Constraint -- Constructive Interval...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2005
Sumário:
“... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2007
Sumário:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2008
Sumário:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2006
Sumário:
“... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2006
Sumário:
“...: Computational Geometry -- Diamond Triangulations Contain Spanners of Bounded Degree -- Optimal Construction...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2008
Sumário:
“... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2005
Sumário:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2008
Sumário:
“... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2012
Sumário:
“... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2008
Sumário:
“...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2007
Sumário:
“... of Propositional Interval Neighborhood Logics -- Reasoning About Sequences of Memory States -- Cut Elimination...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2010
Sumário:
“... Footprinting -- Learning Network from High-Dimensional Array Data -- Computational Methods for Predicting...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2007
Sumário:
“... in Computerized Testing -- Resource Load Balancing Based on Multi-agent in ServiceBSP Model -- Group-Based Key...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2010
Sumário:
“... Techniques -- Economic Path Scheduling for Mobile Agent System on Computer Network -- A Database-Based...”Obter o texto integral
Recurso Electrónico
livro electrónico
- 1
- 2
- 3
- 4
- Seguinte »
- [4]