1
Опубликовано 2008
Оглавление: ...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2006
Оглавление: ... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2005
Оглавление: ... Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2005
Оглавление: ... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2010
Оглавление: ...FoSSaCS 2010 Invited Talk -- to Decidability of Higher-Order Matching -- Semantics of Programming...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2008
Оглавление: ...Using Design Patterns in Formal Methods: An Event-B Approach -- A Unified Approach to Abstract...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2006
Оглавление: ... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2005
Оглавление: ... -- Elementary Affine Logic and the Call-by-Value Lambda Calculus -- Rank-2 Intersection and Polymorphic...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2008
Оглавление: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2014
Оглавление: ... for Computing Prime Implicates in Modal Logic -- Set Cover, Set Packing and Hitting Set for Tree Convex and Tree...
Полный текст
Электронный ресурс eКнига
11
по Grune, Dick., Grune, Dick., Jacobs, Ceriel J.H.
Опубликовано 2008
Оглавление: ... -- Generalized Deterministic Parsers -- Substring Parsing -- Parsing as Intersection -- Parallel Parsing -- Non...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2006
Оглавление: ... for Nonlinear Programming -- Factors Affecting the Performance of Optimization-based Multigrid Methods -- A...
Полный текст
Электронный ресурс eКнига
13
Опубликовано 2007
Оглавление: ... Intersection Method for Generation of Efficient Front -- An Improved Laplacian Smoothing Approach for Surface...
Полный текст
Электронный ресурс eКнига
14
Опубликовано 2010
Оглавление: ...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2007
Оглавление: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
Полный текст
Электронный ресурс eКнига
16
Опубликовано 2007
Оглавление: ... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...
Полный текст
Электронный ресурс eКнига
17
Опубликовано 2006
Оглавление: ...Closure Operators for ROBDDs -- A CLP Method for Compositional and Intermittent Predicate...
Полный текст
Электронный ресурс eКнига
18
Опубликовано 2010
Оглавление: ... Control on Traffic Light Networks -- Performance Measurement of a Dual-Channel Intersection Switch...
Полный текст
Электронный ресурс eКнига
19
Опубликовано 2006
Оглавление: ... Network -- An Application Intersection Marketing Ontology -- How to Leak a Secret: Theory and Applications...
Полный текст
Электронный ресурс eКнига
20
Опубликовано 2008
Предметы: ...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...
Полный текст
Электронный ресурс eКнига