Treffer eingrenzen

• Fach Fach
  • Informatik (1)
• Themen/Schlagwörter (grob) Themen/Schlagwörter (grob)
  • Hochschulschrift (1)
  • Induktion (1)
  • Model Checking (1)
  • Nebenläufigkeit (1)
  • Prozessalgebra (1)
  • Temporales Schließen (1)
  • Mehr anzeigen …
• Themen/Schlagwörter (präzise) Themen/Schlagwörter (präzise)
  • Nebenläufigkeit / Ve… (1)
• Sprache Sprache
  • Englisch (1)
• Erscheinungsform/Code Erscheinungsform/Code
  • Druckwerk (1)
  • Hochschulschrift (1)
  • Monografie (1)
• Autor/Herausgeber Autor/Herausgeber
  • Balser, Michael (1)