Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
quantitative applications » automotive applications
program functionality » protein functionality, programs functional, supra functionality
applications program » applications programs, application program, application programs
functionality https » functionality maps, functionality needs, functionality pt
program program » programs program, programming program
quantitative applications » automotive applications
program functionality » protein functionality, programs functional, supra functionality
applications program » applications programs, application program, application programs
functionality https » functionality maps, functionality needs, functionality pt
program program » programs program, programming program
1
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicado 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2015
Table of Contents:
“... -- Classification -- Inconsistency -- Graphical models -- Bayesian Networks -- Belief functions -- Logic...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2011
Subjects:
“...Information Systems Applications (incl. Internet). https://scigraph.springernature.com/ontologies...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2013
Table of Contents:
“... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2010
Table of Contents:
“... Using Vereofy -- A Case Study in Model-Based Adaptation of Web Services -- Quantitative Verification...”Ligazón do recurso
Electrónico
eBook
7
Subjects:
“...Quantitative Finance. https://scigraph.springernature.com/ontologies/product-market-codes/M13062...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
8
Table of Contents:
“...Option Valuation and the Volatility Smile -- Characteristic Functions in Option Pricing...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
9
Publicado 2005
Table of Contents:
“... Handling -- Belief Revision and Merging -- Belief Functions -- Fuzzy Models -- Many-Valued Logical Systems...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2007
Table of Contents:
“... Logical Approach to Qualitative and Quantitative Reasoning -- Description Logic Programs Under...”Ligazón do recurso
Electrónico
eBook
11
Table of Contents:
“...Methods -- Static Monte Carlo -- Dynamic Monte Carlo -- Dynamic Programming for Stochastic...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
12
Publicado 2010
Table of Contents:
“... -- Realizability of Dynamic MSC Languages -- The max quasi-independent set Problem -- Equilibria in Quantitative...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2006
Table of Contents:
“...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2010
Table of Contents:
“... and Their Applications in Program Analysis....”Ligazón do recurso
Electrónico
eBook
15
Publicado 2008
Table of Contents:
“... performance analysis -- Designing the Enterprise Architecture Function -- Quality Prediction of Service...”Ligazón do recurso
Electrónico
eBook
16
Table of Contents:
“... Charts -- Statecharts -- Quantitative Models of Time -- Interpreter and Compiler Definitions -- SAL...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
17
Publicado 2010
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2010
Table of Contents:
“... Risk Measures -- Computing with Words and Systemic Functional Linguistics: Linguistic Data Summaries...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2008
Table of Contents:
“... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2013
Table of Contents:
“... -- Spatially Constrained Incoherent Motion (SCIM) Model Improves Quantitative Diffusion-Weighted MRI Analysis...”Ligazón do recurso
Electrónico
eBook