Erscheinungsdatum
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
    • weitere Filter
    Autor
    Autor
    horváth, andrás
    (1)
    wolter, katinka
    (1)
    Schlagwort
    Schlagwort
    edv
    (1)
    formal methods
    (1)
    formalmethods
    (1)
    informatik
    (1)
    logics and meanings of programs
    (1)
    mathematics of computing
    (1)
    mathematicsofcomputing
    (1)
    model checking
    (1)
    modelchecking
    (1)
    performance evaluation
    (1)
    performance modeling
    (1)
    performanceevaluation
    (1)
    performancemodeling
    (1)
    probability and statistics
    (1)
    probability and statistics in computer science
    (1)
    probabilityandstatistics
    (1)
    queueing theory
    (1)
    queueingtheory
    (1)
    simulatio
    (1)
    software engineering
    (1)
    system performance and evaluation
    (1)
    systemanalyse und -design
    (1)
    theory of computation
    (1)
    theoryofcomputation
    (1)

    Datenschutz-Einstellungen