search result

Cover von Software Performance and Scalability
A Quantitative Approach
Author: Liu, Henry H. Search for this author
Year: 2009
Publisher: New York, Wiley
Series: Wiley series on quantitative software engineering
Media group: MONOGRAPHIE
Cover von Softwarezuverlässigkeit
quantitative Modelle und Nachweisverfahren
Author: Becker, Günter Search for this author
Year: 1989
Publisher: Berlin, de Gruyter
Series: Programming complex systems; 2
Media group: MONOGRAPHIE
Cover von Intermediate Value Linearizability

Intermediate Value Linearizability

A Quantitative Correctness Criterion
Year: 2020
Media group: LIPIcs
Cover von Cryptocurrency Egalitarianism

Cryptocurrency Egalitarianism

A Quantitative Approach
Year: 2020
Media group: OASICS
Cover von Computer Architecture
A Quantitative Approach
Author: Hennessy, John L.; Patterson, David A. Search for this author
Year: 2012
Publisher: San Francisco, Morgan Kaufmann
Media group: MONOGRAPHIE
Cover von Computational complexity
a quantitative perspective
Author: Zimand, Marius Search for this author
Year: 2004
Publisher: Amsterdam, North-Holland
Series: North-Holland mathematics studies; 196
Media group: MONOGRAPHIE
Cover von From Statistical Physics to Data-Driven Modelling
with Applications to Quantitative Biology
Author: Cocco, Simona; Monasson, Remi; Zamponi, Francesco Search for this author
Year: 2022
Publisher: Oxford, Oxford University Press
Media group: MONOGRAPHIE
Cover von Idris 2

Idris 2

Quantitative Type Theory in Practice
Year: 2021
Media group: LIPIcs
Cover von Scientific methods in mobile robotics
quantitative analysis of agent behaviour
Author: Nehmzow, Ulrich Search for this author
Year: 2006
Publisher: London, Springer
Media group: MONOGRAPHIE
Cover von Useful Call-by-Value

Useful Call-by-Value

A Semantic Interpretation via Quantitative Types
Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0