Treffer eingrenzen

• Fach Fach
  • Informatik (2)
• Themen/Schlagwörter (grob) Themen/Schlagwörter (grob)
  • Algorithmus (2)
  • Automatisches Beweis… (2)
  • Computer (2)
  • Konferenzschrift (2)
  • Modallogik (2)
  • Model Checking (2)
  • Mehr anzeigen …
• Themen/Schlagwörter (präzise) Themen/Schlagwörter (präzise)
  • Algorithmus / Comput… (2)
  • Softwarespezifikatio… (2)
• Erscheinungsjahre Erscheinungsjahre
  • 2005 (1)
  • 2006 (1)
• Sprache Sprache
  • Englisch (2)
• Erscheinungsform/Code Erscheinungsform/Code
  • Aufsatzsammlung (2)
  • Begrenzte Elektronis… (2)
  • Bildliche Darstellung (2)
  • Computerdatei (2)
  • E-Book (2)
  • Elektronische Ressource (2)
  • Mehr anzeigen …
• Autor/Herausgeber Autor/Herausgeber
  • Halbwachs, Nicolas (1)
  • Hermanns, Holger (1)