1
Опубликовано 2005
Оглавление: ... Derivations and Zeta Functions -- On the Order of Certain Characteristic Classes of the Hodge Bundle of Semi...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2005
Оглавление: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2010
Оглавление: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2006
Оглавление: ...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...
Полный текст
Электронный ресурс eКнига
5
по Bronstein, Manuel., Bronstein, Manuel.
Опубликовано 2005
Оглавление: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2010
Оглавление: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2005
Оглавление: ...-Speed TCP -- Advanced Software On-Demand Based on Functional Streaming -- Can Out-of-Order Instruction...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2014
Оглавление: ... -- Comparison Theorems for Second Order Functional Differential Equations -- Analysis of Qualitative Dynamic...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2010
Оглавление: ... of Multiple Spike Trains -- Higher-Order Correlations and Cumulants -- Population-based approaches...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2010
Оглавление: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
Полный текст
Электронный ресурс eКнига
11
Опубликовано 2013
Оглавление: ...Improving Conservation for First-Order System Least Squares Finite-Element Methods, James Adler...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2010
Оглавление: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Полный текст
Электронный ресурс eКнига
13
Предметы: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
Полный текст
Электронный ресурс eКнига
14
Опубликовано 2015
Оглавление: ... Resonance Signal for General Gradient Waveforms: Multiple Correlation Function Framework, Path Integrals...
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2007
Оглавление: ... for the Living Orders of Placental Mammals and the Phylogenetic Placement of Primates -- New Light on the Dates...
Полный текст
Электронный ресурс eКнига
16
Опубликовано 2014
Оглавление: ... -- On Gaussian Processes for NARX Modelling and Their Associated Higher-order Frequency Response Functions....
Полный текст
Электронный ресурс eКнига
17
Опубликовано 2005
Оглавление: ... of Parallel Aggregate Creation Orders: Smoothed Aggregation Algebraic Multigrid Method -- Pinpointing the Real...
Полный текст
Электронный ресурс eКнига
18
Опубликовано 2014
Оглавление: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
Полный текст
Электронный ресурс eКнига
19
Опубликовано 2015
Оглавление: ... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...
Полный текст
Электронный ресурс eКнига
20
по Greuel, Gert-Martin., Greuel, Gert-Martin., Pfister, Gerhard.
Опубликовано 2008
Оглавление: ... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...
Полный текст
Электронный ресурс eКнига