Home Advanced Search
Advanced Search - Page 1
Foundations of Probabilistic Programming
- English
- Year: 2021
- Author: Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
- English
- Year: 2019
- Author: Nan Guan, Joost-Pieter Katoen, Jun Sun
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
- English
- Year: 2017
- Author: Joost-Pieter Katoen, Rom Langerak, Arend Rensink
Foundations of probabilistic programming
- English
- Year: 2021
- Author: Alexandra Silva; Joost-Pieter Katoen; Gilles Barthe (eds.)
Realizing the Dream of R. A. Kartini : Her Sister's Letters from Colonial Java
- English
- Year: 2007
- Author: Joost J. Cote; Joost Cote
Die übertragende Sanierung in der Eigenverwaltung
- German
- Year: 2022
- Author: Alexander Joost
Measuring, Modeling and Mitigating Biodynamic Feedthrough
- English
- Year: 2015
- Author: Joost Venrooij
A General Framework for Robust Analysis and Control: an Integral Quadratic Constraint Based Approach : An Integral Quadratic Constraint Based Approach
- English
- Year: 2015
- Author: Joost Veenman
Theorizing Entrepreneurship for the Future: Stories from Global Frontiers
- English
- Year: 2023
- Author: Joost Beuving
The Silence of Great Zimbabwe: Contested Landscapes and the Power of Heritage
- EPUB
- English
- Year: 2016
- Author: Joost Fontein