Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
quantitative application » quantitative applications, quantization application, quantitative approximation
programming function » programming functional, programming functionals, programme function
application program » application programming, application protocol
program programming » programs programming, programmer programming, pram programming
function https » functions https, fiction https
quantitative application » quantitative applications, quantization application, quantitative approximation
programming function » programming functional, programming functionals, programme function
application program » application programming, application protocol
program programming » programs programming, programmer programming, pram programming
function https » functions https, fiction https
1
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicado 2014
Tabla de Contenidos:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Enlace del recurso
Electrónico
eBook
2
Publicado 2015
Tabla de Contenidos:
“... -- Classification -- Inconsistency -- Graphical models -- Bayesian Networks -- Belief functions -- Logic...”Enlace del recurso
Electrónico
eBook
3
Publicado 2011
Materias:
“...Information Systems Applications (incl. Internet). https://scigraph.springernature.com/ontologies...”Enlace del recurso
Electrónico
eBook
4
Publicado 2013
Tabla de Contenidos:
“... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...”Enlace del recurso
Electrónico
eBook
5
Publicado 2014
Tabla de Contenidos:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Enlace del recurso
Electrónico
eBook
6
Publicado 2010
Tabla de Contenidos:
“... Using Vereofy -- A Case Study in Model-Based Adaptation of Web Services -- Quantitative Verification...”Enlace del recurso
Electrónico
eBook
7
Tabla de Contenidos:
“...Option Valuation and the Volatility Smile -- Characteristic Functions in Option Pricing...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
8
Publicado 2005
Tabla de Contenidos:
“... Handling -- Belief Revision and Merging -- Belief Functions -- Fuzzy Models -- Many-Valued Logical Systems...”Enlace del recurso
Electrónico
eBook
9
Publicado 2007
Tabla de Contenidos:
“... Logical Approach to Qualitative and Quantitative Reasoning -- Description Logic Programs Under...”Enlace del recurso
Electrónico
eBook
10
Materias:
“...Quantitative Finance. https://scigraph.springernature.com/ontologies/product-market-codes/M13062...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
11
Tabla de Contenidos:
“...Methods -- Static Monte Carlo -- Dynamic Monte Carlo -- Dynamic Programming for Stochastic...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
12
Publicado 2006
Tabla de Contenidos:
“...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”Enlace del recurso
Electrónico
eBook
13
Publicado 2010
Tabla de Contenidos:
“... -- Realizability of Dynamic MSC Languages -- The max quasi-independent set Problem -- Equilibria in Quantitative...”Enlace del recurso
Electrónico
eBook
14
Publicado 2010
Tabla de Contenidos:
“... and Their Applications in Program Analysis....”Enlace del recurso
Electrónico
eBook
15
Publicado 2008
Tabla de Contenidos:
“... performance analysis -- Designing the Enterprise Architecture Function -- Quality Prediction of Service...”Enlace del recurso
Electrónico
eBook
16
Tabla de Contenidos:
“... Charts -- Statecharts -- Quantitative Models of Time -- Interpreter and Compiler Definitions -- SAL...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
17
Publicado 2010
Materias:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Enlace del recurso
Electrónico
eBook
18
Publicado 2006
Tabla de Contenidos:
“... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...”Enlace del recurso
Electrónico
eBook
19
Publicado 2010
Tabla de Contenidos:
“... Risk Measures -- Computing with Words and Systemic Functional Linguistics: Linguistic Data Summaries...”Enlace del recurso
Electrónico
eBook
20
Publicado 2008
Tabla de Contenidos:
“... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...”Enlace del recurso
Electrónico
eBook