Home Advanced Search

Advanced Search - Page 1

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
  • PDF
  • English
  • Year: 2015
  • Author: Daniel Kroening, Corina S. Păsăreanu (eds.)
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
  • PDF
  • English
  • Year: 2015
  • Author: Daniel Kroening, Corina S. Păsăreanu (eds.)
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
  • PDF
  • English
  • Year: 2021
  • Author: Radu Calinescu (editor), Corina S. Păsăreanu (editor)
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
  • EPUB
  • English
  • Year: 2021
  • Author: Marieke Huisman, Corina Păsăreanu, Naijun Zhan
Decision Procedures: An Algorithmic Point of View
Decision Procedures: An Algorithmic Point of View
  • PDF
  • English
  • Year: 2016
  • Author: Daniel Kroening, Ofer Strichman (auth.)
Decision procedures : an algorithmic point of view
Decision procedures : an algorithmic point of view
  • PDF
  • English
  • Year: 2008
  • Author: Daniel Kroening, Ofer Strichman, R.E. Bryant
Verhandeln in Briefen: Frauen in der höfischen Diplomatie des frühen 18. Jahrhunderts
  • PDF
  • German
  • Year: 2013
  • Author: Corina Bastian
Patchworkfamilien beraten
  • PDF
  • German
  • Year: 2018
  • Author: Corina Ahlers
Avondrood
  • EPUB
  • Dutch
  • Author: Corina Bomann
search