Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
quantitative application » quantitative applications, quantization application, quantitative approximation
application program » application programming, application protocol
program program » programs program, programming program
function https » functions https
fiction https » vision https
quantitative application » quantitative applications, quantization application, quantitative approximation
application program » application programming, application protocol
program program » programs program, programming program
function https » functions https
fiction https » vision https
1
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Опубликовано 2014
Оглавление:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2015
Оглавление:
“... -- Classification -- Inconsistency -- Graphical models -- Bayesian Networks -- Belief functions -- Logic...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2011
Предметы:
“...Information Systems Applications (incl. Internet). https://scigraph.springernature.com/ontologies...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2013
Оглавление:
“... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2014
Оглавление:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2010
Оглавление:
“... Using Vereofy -- A Case Study in Model-Based Adaptation of Web Services -- Quantitative Verification...”Полный текст
Электронный ресурс
eКнига
7
Оглавление:
“...Option Valuation and the Volatility Smile -- Characteristic Functions in Option Pricing...”
Полный текст
Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2005
Оглавление:
“... Handling -- Belief Revision and Merging -- Belief Functions -- Fuzzy Models -- Many-Valued Logical Systems...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2007
Оглавление:
“... Logical Approach to Qualitative and Quantitative Reasoning -- Description Logic Programs Under...”Полный текст
Электронный ресурс
eКнига
10
Оглавление:
“...Methods -- Static Monte Carlo -- Dynamic Monte Carlo -- Dynamic Programming for Stochastic...”
Полный текст
Полный текст
Электронный ресурс
eКнига
11
Предметы:
“...Quantitative Finance. https://scigraph.springernature.com/ontologies/product-market-codes/M13062...”
Полный текст
Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2010
Оглавление:
“... -- Realizability of Dynamic MSC Languages -- The max quasi-independent set Problem -- Equilibria in Quantitative...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2006
Оглавление:
“...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2010
Оглавление:
“... and Their Applications in Program Analysis....”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2008
Оглавление:
“... performance analysis -- Designing the Enterprise Architecture Function -- Quality Prediction of Service...”Полный текст
Электронный ресурс
eКнига
16
Оглавление:
“... Charts -- Statecharts -- Quantitative Models of Time -- Interpreter and Compiler Definitions -- SAL...”
Полный текст
Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2010
Предметы:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2010
Оглавление:
“... Risk Measures -- Computing with Words and Systemic Functional Linguistics: Linguistic Data Summaries...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2008
Оглавление:
“... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2013
Оглавление:
“... -- Spatially Constrained Incoherent Motion (SCIM) Model Improves Quantitative Diffusion-Weighted MRI Analysis...”Полный текст
Электронный ресурс
eКнига