search result

Cover von Quantitative Polynomial Functors (Early Ideas)

Quantitative Polynomial Functors (Early Ideas)

Year: 2021
Media group: LIPIcs
Cover von Quantitative Correlation Inequalities via Semigroup Interpolation

Quantitative Correlation Inequalities via Semigroup Interpolation

Year: 2021
Media group: LIPIcs
Cover von A Quantitative Understanding of Pattern Matching

A Quantitative Understanding of Pattern Matching

Year: 2020
Media group: LIPIcs
Cover von The Adversarial Stackelberg Value in Quantitative Games

The Adversarial Stackelberg Value in Quantitative Games

Year: 2020
Media group: LIPIcs
Cover von Quantitative Continuity and Computable Analysis in Coq

Quantitative Continuity and Computable Analysis in Coq

Year: 2019
Media group: LIPIcs
Cover von Quantitative Security Risk Assessment of Enterprise Networks
Author: Xinming Ou; Anoop Singhal Search for this author
Year: 2011
Publisher: Heidelberg, Springer
Series: Springer Briefs in Computer Science
Media group: MONOGRAPHIE
Cover von Verifying Quantitative Temporal Properties of Procedural Programs

Verifying Quantitative Temporal Properties of Procedural Programs

Year: 2018
Media group: LIPIcs
Cover von Monitor Logics for Quantitative Monitor Automata

Monitor Logics for Quantitative Monitor Automata

Year: 2017
Media group: LIPIcs
Cover von Parity Automata for Quantitative Linear Time Logics

Parity Automata for Quantitative Linear Time Logics

Year: 2017
Media group: LIPIcs
Cover von Quantitative Monitoring of the Underwater Environment
Results of the International Marine Science and Technology Event MOQESM´14 in Brest, France
Author: Zerr, Benoit Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Ocean Engineering & Oceanography; 6
Media group: MONOGRAPHIE
OPEN V 11.1.0.0