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 2007
Tabla de Contenidos: ... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...
Enlace del recurso
Electrónico eBook
3
Publicado 2008
Tabla de Contenidos: ... Contributions -- Automated Compositional Reasoning of Intuitionistically Closed Regular Properties -- Antimirov...
Enlace del recurso
Electrónico eBook
4
Publicado 2010
Tabla de Contenidos: ... -- Alphabet Partitioning for Compressed Rank/Select and Applications -- Entropy-Bounded Representation...
Enlace del recurso
Electrónico eBook
5
Publicado 2008
Tabla de Contenidos: ...Algorithms and Data Structures -- Efficient Compression of Web Graphs -- Damaged BZip Files...
Enlace del recurso
Electrónico eBook
6
Publicado 2008
Tabla de Contenidos: ... Photographic Composites of People -- Session I: Watermark Security -- (In)Security of an Efficient...
Enlace del recurso
Electrónico eBook
7
Publicado 2006
Tabla de Contenidos: ... -- Component Composition Preserving Behavioural Contracts Based on Communication Traces -- Strong Retiming...
Enlace del recurso
Electrónico eBook
8
Publicado 2010
Tabla de Contenidos: ... Based Image Difference Metric in Relation to Perceived Compression Artifacts -- Visualization II...
Enlace del recurso
Electrónico eBook
9
Publicado 2007
Tabla de Contenidos: ... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...
Enlace del recurso
Electrónico eBook
10
Publicado 2014
Tabla de Contenidos: ... Architectures: Connecting the Layers -- Goal-Driven Composition of Business Process Models -- Integrating...
Enlace del recurso
Electrónico eBook
11
Publicado 2007
Tabla de Contenidos: ... DYNAMIC COMPRESSION UP TO 300 KBAR -- GAS INTERSTITIAL FULLERENES PRECIPITATED FROM THE SOLUTION OF C60...
Enlace del recurso
Electrónico eBook
12
Publicado 2006
Tabla de Contenidos: ... Compressible Processing Times -- LS-SVM Based on Chaotic Particle Swarm Optimization with Simulated Annealing...
Enlace del recurso
Electrónico eBook
13
Publicado 2012
Tabla de Contenidos: ... Program Analysis -- Taint Analysis of Security Code in the KLEE Symbolic Execution Engine -- A Generic...
Enlace del recurso
Electrónico eBook
14
Publicado 2008
Tabla de Contenidos: ... Investigation on the Behaviour of CFRP Laminated Composites under Impact and Compression After Impact (CAI...
Enlace del recurso
Electrónico eBook
15
Publicado 2013
Tabla de Contenidos: ... -- Biology and Chemistry of Tension Wood -- Formation and Structure of Compression Wood....
Enlace del recurso
Electrónico eBook
16
Publicado 2015
Tabla de Contenidos: .... Quadratic Residue Cayley Graphs on Composite Modulus -- Chapter 20. A dynamic programming algorithm...
Enlace del recurso
Electrónico eBook
17
Publicado 2010
Tabla de Contenidos: ... Camera for Non-linear Motion -- Error-Tolerant Image Compositing -- Blind Reflectometry -- Photometric...
Enlace del recurso
Electrónico eBook
18
Publicado 2010
Tabla de Contenidos: ... in Reconfigurable Computing Systems -- Test Data Compression Using Four-Coded and Sparse Storage for Testing...
Enlace del recurso
Electrónico eBook
19
Publicado 2013
Tabla de Contenidos: ... Behavioral Distances, Compositionally -- Rewriting Guarded Negation Queries -- Parity Games and Propositional...
Enlace del recurso
Electrónico eBook
20
Publicado 2013
Tabla de Contenidos: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
Enlace del recurso
Electrónico eBook