search result

Cover von Quantitative Games under Failures

Quantitative Games under Failures

Author: Renault, Gabriel
Year: 2015
Media group: LIPIcs
Cover von Quantitative Security Analysis; 11
pp. 135-154
Search for this author
Year: 2013
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 11
Media group: DAGSTUHL REPORT
Cover von Quantitative Software Design
Search for this author
Year: 2009
Publisher: Wadern, LZI
Series: Dagstuhl Seminar Proceedings; 09432
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Quantitative image morphology; 2
special issue : S. 163-330
Search for this author
Year: 2003
Publisher: Singapore, World Scientific
Count: 2
Media group: SPECIAL ISSUE
Cover von Qualitative and quantitative practical reasoning
first international joint conference on qualitative and quantitative practical reasoning : Bad Honnef, Germany, June 9 - 12, 1997 : proceedings
Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 1244
Media group: MONOGRAPHIE
Cover von Principles of Formal Quantitative Analysis
Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 15760
Media group: MONOGRAPHIE
Cover von Behavioural Metrics and Quantitative Logics; 10
pp. 58-75
Search for this author
Year: 2025
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 10
Media group: DAGSTUHL REPORT
Cover von Quantitative Verification with Neural Networks

Quantitative Verification with Neural Networks

Year: 2023
Media group: LIPIcs
Cover von Quantitative methods in parallel systems
Search for this author
Year: 1995
Publisher: Berlin, Springer
Series: Esprit basic research series
Media group: MONOGRAPHIE
Cover von Quantitative Systemanalyse mit Markovschen Ketten
eine Darstellung für Informatiker und Ingenieure
Search for this author
Year: 1994
Publisher: Stuttgart, Teubner
Series: Teubner-Texte zur Informatik; 8
Media group: MONOGRAPHIE
OPEN V 11.1.0.0