Home Advanced Search

Advanced Search - Page 1

Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
  • PDF
  • 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
  • PDF
  • English
  • Year: 2021
  • Author: Mariëlle Stoelinga (editor); Esther Guerra (editor)
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
  • PDF
  • 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
  • PDF
  • English
  • Year: 2022
  • Author: Nils Jansen, Mariëlle Stoelinga, Petra van den Bos
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)
Biology: Concepts and Investigations
  • PDF
  • English
  • Year: 2014
  • Author: Mariëlle Hoefnagels
Biology: Concepts and Investigations
  • PDF
  • English
  • Year: 2014
  • Author: Mariëlle Hoefnagels
Memory Politics in Contemporary Russia: Television, Cinema and the State
  • PDF
  • English
  • Year: 2018
  • Author: Mariëlle Wijermars
Biology : the essentials
  • PDF
  • English
  • Year: 2018
  • Author: Mariëlle Hoefnagels
Biology: the essentials
  • PDF
  • English
  • Year: 2016
  • Author: Hoefnagels, Mariëlle
search