Home Advanced Search

Advanced Search - Page 1

Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Bernd Finkbeiner, Leonardo Mariani
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
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.)
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
Practice Management for the Dental Team
  • PDF
  • English
  • Year: 2019
  • Author: Betty Ladley Finkbeiner, Charles Allan Finkbeiner
Special Types of Life Cycle Assessment
  • PDF
  • English
  • Year: 2016
  • Author: Matthias Finkbeiner (eds.)
Social Media for Knowledge Sharing in Automotive Repair
  • PDF
  • English
  • Year: 2017
  • Author: Patric Finkbeiner (auth.)
Keep marching: how every woman can take action and change our world, one woman at a time
  • EPUB
  • English
  • Year: 2018
  • Author: Rowe-Finkbeiner, Kristin
Elements of Linear Algebra
  • PDF
  • English
  • Year: 1972
  • Author: Daniel Talbot Finkbeiner
Final Reports of the Syrian-German Excavations at Tell El-'Abd, Volume III: Small Objects and Environmental Studies: 5.2 (Marru)
  • PDF
  • English
  • Year: 2019
  • Author: Uwe Finkbeiner (editor)
search