Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
program composition » process composition, protein composition, proximate composition
composition program » composition programs, compositional program, composition problem
integer processing » integrated processing, water processing, filter processing
processing program » processing programs, processing programmed, proceedings program
program https » programs https, program has, program help
program composition » process composition, protein composition, proximate composition
composition program » composition programs, compositional program, composition problem
integer processing » integrated processing, water processing, filter processing
processing program » processing programs, processing programmed, proceedings program
program https » programs https, program has, program help
1
Publicado 2008
Tabla de Contenidos:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Enlace del recurso
Electrónico
eBook
2
Publicado 2008
Tabla de Contenidos:
“...Formal Semantics in the Real World -- Speech Processing for Audio Indexing -- Sorting Out...”Enlace del recurso
Electrónico
eBook
3
Publicado 2007
Tabla de Contenidos:
“... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”Enlace del recurso
Electrónico
eBook
4
Publicado 2005
Tabla de Contenidos:
“... Approach to Specification and Composition of Web Services -- Applied Stochastic Integer Programming...”Enlace del recurso
Electrónico
eBook
5
Publicado 2005
Tabla de Contenidos:
“... of Exposing Calls and Returns -- A Compositional Approach to the Stochastic Dynamics of Gene Networks...”Enlace del recurso
Electrónico
eBook
6
Publicado 2006
Tabla de Contenidos:
“... Model -- 16×16 Integer Cosine Transform for HD Video Coding -- Heegard-Berger Video Coding Using LMMSE...”Enlace del recurso
Electrónico
eBook
7
Publicado 2013
Tabla de Contenidos:
“... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...”Enlace del recurso
Electrónico
eBook
8
Publicado 2006
Tabla de Contenidos:
“... by Genetic Programming -- Identifying Single Good Clusters in Data Sets -- A New Simplified Gravitational...”Enlace del recurso
Electrónico
eBook
9
Publicado 2005
Tabla de Contenidos:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Enlace del recurso
Electrónico
eBook
10
Publicado 2014
Tabla de Contenidos:
“... and Presburger Arithmetic -- Synthesising Succinct Strategies in Safety and Reachability Games -- Integer Vector...”Enlace del recurso
Electrónico
eBook
11
Publicado 2008
Tabla de Contenidos:
“... -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information...”Enlace del recurso
Electrónico
eBook
12
Publicado 2014
Tabla de Contenidos:
“... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”Enlace del recurso
Electrónico
eBook
13
Publicado 2015
Tabla de Contenidos:
“... Differential Evolution Approach for Solving Integer Programming Problems -- Liver Disease Diagnosis Using...”Enlace del recurso
Electrónico
eBook
14
Publicado 2013
Tabla de Contenidos:
“... Wireless Sensor Networks with VeriSensor: An Integrated Workflow -- Local State Refinement and Composition...”Enlace del recurso
Electrónico
eBook
15
Publicado 2014
Tabla de Contenidos:
“... -- A Fuzzy Programming Approach for Bi-level Stochastic Programming -- Implementation of Intelligent...”Enlace del recurso
Electrónico
eBook
16
Publicado 2010
Tabla de Contenidos:
“... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...”Enlace del recurso
Electrónico
eBook
17
Publicado 2007
Tabla de Contenidos:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Enlace del recurso
Electrónico
eBook
18
Publicado 2008
Tabla de Contenidos:
“... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”Enlace del recurso
Electrónico
eBook
19
Publicado 2008
Tabla de Contenidos:
“... Mining -- Mining Fuzzy Association Rules from Composite Items -- P-Prism: A Computationally Efficient...”Enlace del recurso
Electrónico
eBook
20
Publicado 2008
Tabla de Contenidos:
“... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”Enlace del recurso
Electrónico
eBook
- 1
- 2
- Siguiente »
- [2]