Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    cavalli, ana rosa
    (1)
    yenigün, hüsnü
    (1)
    yevtushenko, nina
    (1)
    Schlagwort
    allgemeines
    (1)
    berufe
    (1)
    cloud computing
    (1)
    datenverarbeitung
    (1)
    edv
    (1)
    expertensystem, wissensbasiertes system
    (1)
    fault models and test metrics
    (1)
    faultmodelsandtestmetrics
    (1)
    formal specifications
    (1)
    informatik
    (1)
    netzwerk (elektronisch)
    (1)
    programmieren
    (1)
    programmieren (edv)
    (1)
    protocol testing and verification
    (1)
    real-time system specification
    (1)
    software engineering
    (1)
    software functional p
    (1)
    software system models
    (1)
    software-entw.
    (1)
    testing with distributed and oarallel systems
    (1)
    theorem proving and sat solving
    (1)
    theoremprovingandsatsolving
    (1)
    theorie
    (1)

    Datenschutz-Einstellungen