Home Advanced Search

Advanced Search - Page 1

Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Christian Colombo, Martin Leucker
Theoretical Aspects of Computing – ICTAC 2015: 12th International Colloquium Cali, Colombia, October 29–31, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Martin Leucker, Camilo Rueda, Frank D. Valencia (eds.)
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2021
  • Author: Ezio Bartocci (editor), Yliès Falcone (editor), Martin Leucker (editor)
Runtime Verification: A Hands-On Approach in Java
  • PDF
  • English
  • Year: 2022
  • Author: Christian Colombo, Gordon J. Pace
Runtime Verification: A Hands-On Approach in Java
  • EPUB
  • English
  • Author: Christian Colombo, Gordon J. Pace
Numerical Simulation Research Progress
  • PDF
  • English
  • Year: 2008
  • Author: Simone P. Colombo; Christian L. Rizzo
Language, Form(s) of Life, and Logic: Investigations after Wittgenstein
  • EPUB
  • English
  • Year: 2018
  • Author: Christian Martin (editor)
Language, Form(s) of Life, and Logic: Investigations after Wittgenstein
  • PDF
  • English
  • Year: 2018
  • Author: Christian Martin (editor)
Ontologie der Selbstbestimmung: Eine operationale Rekonstruktion von Hegels "Wissenschaft der Logik". Dissertationsschrift
  • PDF
  • German
  • Year: 2012
  • Author: Christian Georg Martin
Cardiovascular Disease in the Elderly
  • PDF
  • English
  • Year: 2023
  • Author: Thorsten M. Leucker, Gary Gerstenblith
search