Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    bird, richard
    (1)
    morgan, carroll
    (1)
    woodcock, james c. p.
    (1)
    Schlagwort
    algorithm
    (1)
    algorithms
    (1)
    algorithmus
    (1)
    edv
    (1)
    formal method
    (1)
    formal methods
    (1)
    formal specification
    (1)
    formale methoden
    (1)
    formale spezifikation
    (1)
    formalemethoden
    (1)
    formalespezifikation
    (1)
    formalmethods
    (1)
    formalspecification
    (1)
    graph algorithms
    (1)
    graph-algorithmen
    (1)
    graphalgorithms
    (1)
    informatik
    (1)
    kombinatorik
    (1)
    mathematical programming
    (1)
    mathematicalprogramming
    (1)
    mathematik
    (1)
    program construction
    (1)
    programconstruction
    (1)
    programming
    (1)
    programmkonst
    (1)
    programmkonstruktion
    (1)
    real-time
    (1)
    software engineering
    (1)
    software engineering/program
    (1)
    software-entw.
    (1)
    theorie
    (1)
    Ergebnis: 1 Artikel
    Redaktion: c.carroll morgan

    Datenschutz-Einstellungen