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