Home Advanced Search

Advanced Search - Page 1

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
  • EPUB
  • English
  • Year: 2022
  • Author: Bernd Finkbeiner, Thomas Wies
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Bernd Finkbeiner, Leonardo Mariani
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
  • PDF
  • English
  • Year: 2017
  • Author: Andrei Paskevich,Thomas Wies (eds.)
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015 Shanghai, China, October 12–15, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Bernd Finkbeiner, Geguang Pu, Lijun Zhang (eds.)
Automated Verification of Concurrent Search Structures
  • PDF
  • English
  • Year: 2021
  • Author: Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies
Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
  • PDF
  • English
  • Year: 2020
  • Author: Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
Weiterempfehlungen mit Service-Recovery
  • PDF
  • German
  • Year: 2018
  • Author: Jana Wies
’n Beetje leuk ouder worden
  • EPUB
  • Dutch; Flemish
  • Year: 2022
  • Author: Wies Verbeek
Grundlagen der Wirtschaftspolitik
  • PDF
  • German
  • Year: 1986
  • Author: Bernd-Thomas Ramb
Midrasch Wajoscha: Edition - Tradition - Interpretation
  • PDF
  • German
  • Year: 2015
  • Author: Elisabeth Wies-Campagner
search