Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
functions computation » function computation, functions composition, function composition
programming reasoning » programming learning, programming designing, programming evolving
reasoning basic » reasoning based, reasoning case, reasoning ais
basic text » basic texts
functions computation » function computation, functions composition, function composition
programming reasoning » programming learning, programming designing, programming evolving
reasoning basic » reasoning based, reasoning case, reasoning ais
basic text » basic texts
1
Publicado 2005
Tabla de Contenidos:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Enlace del recurso
Electrónico
eBook
2
Publicado 2008
Tabla de Contenidos:
“... and Evaluating Complexity of Textual Case Bases -- Learning Similarity Functions from Qualitative Feedback...”Enlace del recurso
Electrónico
eBook
3
Publicado 2006
Tabla de Contenidos:
“...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...”Enlace del recurso
Electrónico
eBook
4
Publicado 2006
Tabla de Contenidos:
“... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...”Enlace del recurso
Electrónico
eBook
5
Publicado 2006
Tabla de Contenidos:
“... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”Enlace del recurso
Electrónico
eBook
6
Tabla de Contenidos:
“...Preface -- Introduction -- Chap. 1 Classical Ciphers -- Chap. 2 Basic Concepts -- Chap. 3 Private...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
7
Publicado 2007
Tabla de Contenidos:
“...-Oriented Design to Requirement -- Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic...”Enlace del recurso
Electrónico
eBook
8
Publicado 2008
Tabla de Contenidos:
“...Modular Termination of Basic Narrowing -- Linear-algebraic ?-calculus: higher-order, encodings...”Enlace del recurso
Electrónico
eBook
9
Publicado 2010
Tabla de Contenidos:
“... Classifier -- Boosting Algorithm with Sequence-Loss Cost Function for Structured Prediction -- Application...”Enlace del recurso
Electrónico
eBook
10
Publicado 2007
Tabla de Contenidos:
“... Social Modeling and Simulation with Fuzzy Sets -- Stage-Dependent Fuzzy-valued Loss Function in Two-Stage...”Enlace del recurso
Electrónico
eBook
11
Publicado 2005
Tabla de Contenidos:
“... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...”Enlace del recurso
Electrónico
eBook
12
Publicado 2014
Tabla de Contenidos:
“...Chapter 1: Structural Transformation of Rural Finance in India: A Critical Review -- Chapter 2...”Enlace del recurso
Electrónico
eBook