News
News
Great Place to Work 2023 – Triple für QAware
2 min.
Rahel Gölz
Rahel Gölz
In: K. Schneider and J. Brandt, editors, Theorem Proving in Higher Order Logics (TPHOLs 2007) (Lukas Bulwahn, Alexander Krauss, and Tobias Nipkow) PDF
Articles
Finding lexicographic orders for termination proofs in Isabelle/HOL
| Alexander Krauss
Alexander Krauss
A contribution from
Alexander Krauss
Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the[...]
More informations
Fitting the topic
News
News
News
Wir rollen das 49€ Ticket für unser Team aus!
1 min.
Christian Kamm
Christian Kamm
Podcasts
Podcasts
PRODcast Folge #14: FinTech-Produkte
2 min.
Ekkehard Schmider
Ekkehard Schmider
Articles
Articles
QAware gestaltet die Zukunft mit modernen Cloud-Technologien
2 min.
Michael Rohleder
Michael Rohleder
Talks
Talks
The Cloud Native Stack in a Nutshell
1 min.
Mario-Leander Reimer
Mario-Leander Reimer
News
News
Cloud Migration Studie 2021
2 min.
QAware
QAware
