Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    canal, carlos
    (1)
    counsell, steve
    (1)
    idani, akram
    (1)
    núñez, manuel
    (1)
    Genre
    mathematik
    (2)
    medizin
    (2)
    naturwissenschaften
    (2)
    technik
    (2)
    Schlagwort
    behavioral type theory
    (2)
    behavioraltypetheory
    (2)
    complex systems
    (2)
    complexsystems
    (2)
    edv
    (2)
    formal methods
    (2)
    formalmethods
    (2)
    informatik
    (2)
    knowledge management
    (2)
    knowledgemanagement
    (2)
    logic and verification
    (2)
    logicandverification
    (2)
    open source software
    (2)
    opensourcesoftware
    (2)
    program constructs
    (2)
    programconstructs
    (2)
    programming languages
    (2)
    programminglanguages
    (2)
    sof
    (2)
    software creation and management
    (2)
    software development methods
    (2)
    softwarecreationandmanagement
    (2)
    computerprogra
    (1)
    floss
    (1)
    model checking
    (1)
    modelchecking
    (1)
    oss
    (1)
    petri nets
    (1)
    petrinets
    (1)
    railways
    (1)
    softw
    (1)
    softwar
    (1)
    software engineering
    (1)
    software-entw.
    (1)
    softwaredevelopmentmethods
    (1)
    theorie
    (1)
    Erscheinungsjahr
    2014
    (1)
    2015
    (1)

    Datenschutz-Einstellungen