Home Advanced Search

Advanced Search - Page 1

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
  • PDF
  • English
  • Year: 2018
  • Author: Hana Chockler, Georg Weissenbacher
Computer Aided Verification. 30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Hana Chockler, Georg Weissenbacher
The Core-Periphery Divide in the European Union. A Dependency Perspective
  • PDF
  • English
  • Year: 2022
  • Author: Rudy Weissenbacher
The Core-Periphery Divide in the European Union : A Dependency Perspective
  • EPUB
  • English
  • Year: 2022
  • Author: Rudy Weissenbacher
Digitaltechnik — Eine praxisnahe Einführung
  • PDF
  • German
  • Year: 2008
  • Author: Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)
Digitaltechnik — Eine praxisnahe Einfuhrung
  • PDF
  • German
  • Year: 2008
  • Author: Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)
Frommer's Prague & the best of the Czech Republic
  • PDF
  • English
  • Year: 2004
  • Author: Mastrini, Hana
Countability in Natural Language
  • PDF
  • English
  • Year: 2021
  • Author: Hana Filip
Humanism, Drama, and Performance : Unwriting Theatre
  • PDF
  • English
  • Year: 2020
  • Author: Hana Worthen
Nástin mluvnice slovenské romštiny (pro pedagogické účely)
  • PDF
  • Czech
  • Year: 2000
  • Author: Hana Šebková
search