Check out our  Cloud-Native-Study 2024.
Zu den Inhalten springen
QAware Logo
  • Services
  • Company
  • Career
  • Resources
  • Community
  • Contact

We contractually assure quality far above the current state of the art.

Kategorie Projects
Compliance secured
Kategorie
Kategorie Projects
Cloud Native Solution Options
Kategorie
  • AI Business Value
    From idea to development
  • Cloud Migration
    Making IT systems fit for the cloud
  • Hotspot Analysis
    Effective help in IT crises
  • Product Discovery
    Invent digital products
  • Product Engineering
    Agile development of digital products
Kategorie News
“What makes QAware a Great Place to Work®?” – Interview with Rahel Gölz and Melina Peter
Sabine Lange
Kategorie
Kategorie Events
22. May @ 18:30
Meetup | Cloud Native Night München | hybrid
  • About us
    Cloud pioneers with high quality demands
  • Our team
    It is the people who make a company
  • News
    Stay up to date
  • Partners
    Partners enrich our perspectives
Career
Your start with us
Professionals and graduates Students Pupils
  • Your job with us
    Friendly, approachable and helpful
  • Your benefits
    How to stay in the flow
  • Your development
    Career paths and further training
  • Your workplace
    Welcome to the New Normal
Kategorie Podcasts
AI in the Insurance World: Transitioning Proof of Concept into Production
Nicole Lontzek
Kategorie
Kategorie Events
22. May @ 18:30
Meetup | Cloud Native Night München | hybrid
  • Ressourcen
    Everything about QAware in one place
Newest article
“What makes QAware a Great Place to Work®?” – Interview with Rahel Gölz and Melina Peter
1 min. | Sabine Lange
Popular topics
AgileProductivityKIKubernetesMicroservices
Language Switch
  • EN
  • DE
Kategorie Articles

Proof pearl: Regular expression equivalence and relation algebra

13.06.2013  |  Alexander Krauss

In: Interactive Theorem Proving (ITP 2013), volume 7998 of Lecture Notes in Computer Science, pages 100–115. Springer Verlag, 2013. (Alexander Krauss, Florian Haftmann, Ondrej Kuncar, Tobias Nipkow) PDF

Alexander Krauss

Fitting the topic

Kategorie News
Great Place to Work 2023 – Triple für QAware
Rahel Gölz
Kategorie
Kategorie News
Wir rollen das 49€ Ticket für unser Team aus!
QAware
Kategorie
Kategorie Articles
QAware gestaltet die Zukunft mit modernen Cloud-Technologien
Michael Rohleder
Kategorie
Kategorie Articles
KubeCon + CloudNativeCon EU: Standardschnittstelle für Service-Meshes
Alex Krause
Kategorie
Kategorie Articles
Technical poster: Service Meshes in Microservice Architectures
Dr. Josef Adersberger
Kategorie
Kategorie Talks
Compliant & Secure Cloud for decision makers and security managers (Workshop)
Michael Frank
Kategorie
Newsletter Anmeldung
QAware Logo
The Futureware
Company

QAware GmbH +49 89 23 23 15 0
info@qaware.de

München Mainz Rosenheim

More about QAware

  • Events
  • Green Manifesto
  • Contact
  • Partners
  • Resources

Legal

  • Sitemap
  • Imprint
  • Privacy
Brandeins LogoBrandeins LogoHandelsblatt Logo
Kontrast Chatbot
Schliessen