1
por Faison, Ted., Faison, Ted.
Publicado 2006
Tabla de Contenidos: ... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...
Enlace del recurso
Electrónico eBook
2
Publicado 2015
Tabla de Contenidos: ... Corpora -- A Consistent Foundation for Isabelle/HOL -- Foundational Property-Based Testing -- A First...
Enlace del recurso
Electrónico eBook
3
Publicado 2014
Tabla de Contenidos: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
Enlace del recurso
Electrónico eBook
4
Publicado 2007
Tabla de Contenidos: ... -- An Empirical Boosting Scheme for ROC-Based Genetic Programming Classifiers -- Confidence Intervals...
Enlace del recurso
Electrónico eBook
5
Publicado 2014
Tabla de Contenidos: ... Time -- Families with Infants: A General Approach to Solve Hard Partition Problems -- Changing Bases...
Enlace del recurso
Electrónico eBook
6
Publicado 2015
Tabla de Contenidos: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
Enlace del recurso
Electrónico eBook
7
Tabla de Contenidos: ... -- Hybridization -- Special Functions of Mathematical Physics -- Additional Material and Hints for the Solution...
Enlace del recurso
Electrónico eBook
8
Publicado 2008
Tabla de Contenidos: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
Enlace del recurso
Electrónico eBook
9
Tabla de Contenidos: .... Interactive Graphics -- 5. Testing and Debugging -- Part II: Applications -- 6. The Double Integrator -- 7...
Enlace del recurso
Electrónico eBook
10
Publicado 2011
Tabla de Contenidos: ...Johann Gregor Mendel “Father of modern genetics” -- Gene therapy: hopes and problems -- VEGFs, FGFs...
Enlace del recurso
Electrónico eBook
11
Publicado 2008
Tabla de Contenidos: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
Enlace del recurso
Electrónico eBook
12
Publicado 2005
Tabla de Contenidos: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Enlace del recurso
Electrónico eBook
13
Publicado 2006
Tabla de Contenidos: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
Enlace del recurso
Electrónico eBook
14
Publicado 2005
Tabla de Contenidos: ... Building -- Population Sizing for Genetic Programming Based on Decision-Making -- Considering the Roles...
Enlace del recurso
Electrónico eBook
15
Publicado 2010
Tabla de Contenidos: ... Management for Interactive Multi-objective Evolutionary Optimization -- Dominance-Based Rough Set Approach...
Enlace del recurso
Electrónico eBook
16
Publicado 2008
Tabla de Contenidos: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Enlace del recurso
Electrónico eBook
17
Publicado 2007
Tabla de Contenidos: ... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...
Enlace del recurso
Electrónico eBook
18
Publicado 2010
Tabla de Contenidos: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
Enlace del recurso
Electrónico eBook
19
por Ghosh, Jit., Ghosh, Jit., Cameron, Rob.
Publicado 2010
Tabla de Contenidos: ...A Quick Tour of Silverlight 4 Development -- Application Design and Programming Model -- Developing...
Enlace del recurso
Electrónico eBook
20
Publicado 2013
Tabla de Contenidos: ... -- Constraint-Based Program Reasoning with Heaps and Separation -- Model Combinators for Hybrid Optimization...
Enlace del recurso
Electrónico eBook