Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
programmed functionality » program functionality, properties functionality, programming functional
integer processing » integrated processing, water processing, filter processing
functionality from » functionals from, functionality do, functionality rbd
from https » from hts
programmed functionality » program functionality, properties functionality, programming functional
integer processing » integrated processing, water processing, filter processing
functionality from » functionals from, functionality do, functionality rbd
from https » from hts
1
Опубликовано 2007
Оглавление:
“...Session 1 -- Inequalities from Two Rows of a Simplex Tableau -- Cuts for Conic Mixed-Integer...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2010
Оглавление:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2008
Оглавление:
“...Formal Semantics in the Real World -- Speech Processing for Audio Indexing -- Sorting Out...”Полный текст
Электронный ресурс
eКнига
4
Оглавление:
“... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
Полный текст
Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2008
Оглавление:
“... Pseudorandom Functions in Minicrypt -- On Black-Box Ring Extraction and Integer Factorization -- Extractable...”Полный текст
Электронный ресурс
eКнига
6
Оглавление:
“... -- Generating Functions -- Nonnegative Difference Equations -- Leslie’s Population Matrix Model -- Matrix...”
Полный текст
Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2007
Оглавление:
“... Fuzzy Image Processing -- Integer Programming Methods in Image Processing and Bayes Estimation -- Colour...”Полный текст
Электронный ресурс
eКнига
8
Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International...
Опубликовано 2008
Оглавление:
“... Feedback Controllers -- Integer Programming Approaches to Access and Backbone IP Network Planning...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2006
Оглавление:
“... Function for Facial Expression Recognition -- 3D Motion from Image Derivatives Using the Least Trimmed...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2014
Оглавление:
“... -- Diversity Maintenance Perspective: An Analysis of Exploratory Power and Function Optimization in Context...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2007
Оглавление:
“... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2010
Оглавление:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”Полный текст
Электронный ресурс
eКнига
13
Предметы:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Полный текст
Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2013
Оглавление:
“... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2005
Оглавление:
“... Algorithms -- From Logic to Games -- Proving Lower Bounds Via Pseudo-random Generators -- Erd?s Magic...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2014
Оглавление:
“... and Presburger Arithmetic -- Synthesising Succinct Strategies in Safety and Reachability Games -- Integer Vector...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2015
Оглавление:
“... and Self Reinforced Processes: M. Benaim -- 9 Wave Interaction with Floating Bodies in a Stratified...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2005
Оглавление:
“... -- On the Reconstruction of Crystals Through Discrete Tomography -- Binary Tomography by Iterating Linear Programs from...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2011
Оглавление:
“...-First Search (Ariadne & Co.) -- 8 Pledge's Algorithm – How to Escape from a Dark Maze -- 9 Cycles...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2008
Оглавление:
“... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”Полный текст
Электронный ресурс
eКнига
- 1
- 2
- 3
- Следующий »
- [3]