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
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