Home Advanced Search
Advanced Search - Page 1
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
- English
- Year: 2013
- Author: Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
- English
- Year: 2019
- Author: Étienne André, Mariëlle Stoelinga
Fundamental approaches to software engineering : 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings
- English
- Year: 2021
- Author: Mariëlle Stoelinga (editor); Esther Guerra (editor)
Foundations of probabilistic programming
- English
- Year: 2021
- Author: Alexandra Silva; Joost-Pieter Katoen; Gilles Barthe (eds.)
A Journey from Process Algebra via Timed Automata to Model Learning. Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
- English
- Year: 2022
- Author: Nils Jansen, Mariëlle Stoelinga, Petra van den Bos
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
- English
- Year: 2022
- Author: Nils Jansen, Mariëlle Stoelinga, Petra Van Den Bos
Lassativi: Impiego razionale dei lassativi nella stipsi
- Italian
- Year: 2007
- Author: Francesco Capasso, Giuseppe D’Argenio (auth.)
Encyclopedia of Lipidomics
- English
- Author: Markus R. Wenk (eds.)
The Underachieving Gifted Child: Recognizing, Understanding, and Reversing Underachievement
- EPUB
- English
- Year: 2012
- Author: Del Siegle
