Treffer eingrenzen

• Fach Fach
  • Informatik (1)
• Themen/Schlagwörter (grob) Themen/Schlagwörter (grob)
  • Algebraische Methode (1)
  • Algebraische Spezifi… (1)
  • Automatentheorie (1)
  • Berechnungstheorie (1)
  • Evolutionärer Algori… (1)
  • HOL (1)
  • Mehr anzeigen …
• Themen/Schlagwörter (präzise) Themen/Schlagwörter (präzise)
  • Algebraische Methode… (1)
  • Berechnungstheorie /… (1)
  • Evolutionärer Algori… (1)
  • HOL / Isabelle <Prog… (1)
  • Relationenalgebra /… (1)
• Sprache Sprache
  • Englisch (1)
• Erscheinungsform/Code Erscheinungsform/Code
  • Aufsatzsammlung (1)
  • Begrenzte Elektronis… (1)
  • Bildliche Darstellung (1)
  • Computerdatei (1)
  • E-Book (1)
  • Elektronische Ressource (1)
  • Mehr anzeigen …
• Autor/Herausgeber Autor/Herausgeber
  • Desharnais, Jules (1)
  • Guttmann, Walter (1)
  • Joosten, Stef (1)