Erscheinungsdatum
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
    • weitere Filter
    Autor
    Autor
    beyer, dirk
    (1)
    deshmukh, jyotirmoy
    (1)
    hung, dang van
    (1)
    nickovic, dejan
    (1)
    sokolsky, oleg
    (1)
    zufferey, damien
    (1)
    Verlag / Hersteller
    Verlag / Hersteller
    springer international publishing
    (4)
    springer, berlin springer international publishing springer
    (2)
    Verlag
    Verlag
    springer
    (3)
    springer international publishing
    (7)
    springer, berlin
    (3)
    Genre
    Genre
    mathematik
    (7)
    medizin
    (7)
    naturwissenschaften
    (7)
    technik
    (7)
    Schlagwort
    Schlagwort
    architecturedvalidation
    (7)
    artificial intelligence
    (7)
    artificialintelligence
    (7)
    edv
    (7)
    embeddedsystems
    (7)
    informatik
    (7)
    architecture verification and validation
    (6)
    formallogic
    (6)
    modelchecking
    (6)
    computer programming
    (5)
    computerprogramming
    (5)
    embedded systems
    (5)
    formal logic
    (5)
    mathematics
    (5)
    architecting
    (4)
    computer systems
    (4)
    computersystems
    (4)
    distributed computer systems
    (4)
    distributedcomputersystems
    (4)
    model checking
    (4)
    computer science
    (3)
    softwarearchitecture
    (3)
    applications
    (2)
    automata theory
    (2)
    automatatheory
    (2)
    computerhardware
    (2)
    computerscience
    (2)
    conference proceedings
    (2)
    databases
    (2)
    engineering
    (2)
    finiteautomata
    (2)
    formallanguages
    (2)
    informatics
    (2)
    linguistics
    (2)
    object-oriented programming
    (2)
    object-orientedprogramming
    (2)
    parallel processing systems
    (2)
    parallelprocessingsystems
    (2)
    programming lan
    (2)
    research
    (2)
    soft
    (2)
    softwaredesign
    (2)
    arti
    (1)
    automata
    (1)
    automation
    (1)
    computational linguistics
    (1)
    computationallinguistics
    (1)
    compute
    (1)
    computer hardware
    (1)
    computer networks
    (1)
    computer system
    (1)
    computernetworks
    (1)
    correlation analysis
    (1)
    correlationanalysis
    (1)
    distributed systems
    (1)
    distributedsystems
    (1)
    embedded sy
    (1)
    finite automata
    (1)
    formal languages
    (1)
    formal methods
    (1)
    formal modelchecking
    (1)
    formalmethods
    (1)
    graph theory
    (1)
    graphtheory
    (1)
    internet
    (1)
    knowledge-based system
    (1)
    künstliche intelligenz
    (1)
    machine learning
    (1)
    machinelearning
    (1)
    mobile robots
    (1)
    mobilerobots
    (1)
    program compilers
    (1)
    programminglanguages
    (1)
    robotics
    (1)
    signal proce
    (1)
    signalprocessing
    (1)
    softw
    (1)
    softwa
    (1)
    software
    (1)
    software arch
    (1)
    software design
    (1)
    software engineering
    (1)
    softwarearchit
    (1)
    softwarearchitectur
    (1)
    softwareengin
    (1)
    softwareengineeri
    (1)
    Erscheinungsjahr
    Erscheinungsjahr
    2020
    (3)
    2022
    (2)
    2023
    (2)

    Datenschutz-Einstellungen