Serie
Serie
lecture notes in computer science
(12)
theoretical computer science and general issues
(4)
lecture notes in artificial intelligence
(3)
Erscheinungsdatum
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
    • weitere Filter
    Autor
    Autor
    alur, rajeev
    (2)
    bjørner, nikolaj
    (1)
    cook, byron
    (1)
    damm, werner
    (1)
    dill, david l.
    (1)
    etessami, kousha
    (1)
    giesl, jürgen
    (1)
    gupta, aarti
    (1)
    henzinger, thomas a.
    (1)
    hermanns, holger
    (1)
    hutter, d.
    (1)
    hähnle, reiner
    (1)
    jackson, paul
    (1)
    malik, sharad
    (1)
    peled, doron a.
    (1)
    rajamani, sriram k.
    (1)
    sofronie-stokkermans, viorica
    (1)
    stephan, w.
    (1)
    thiagarajan, p. s.
    (1)
    touili, tayssir
    (1)
    wolper, pierre
    (1)
    yap, roland h.
    (1)
    Bestseller
    Bestseller
    unsere aufsteiger
    (2)
    unsere klassiker
    (2)
    Genre
    Genre
    mathematik
    (12)
    medizin
    (12)
    naturwissenschaften
    (12)
    technik
    (12)
    Schlagwort
    Schlagwort
    computer aided verification
    (12)
    edv
    (12)
    informatik
    (12)
    algorithms
    (8)
    formal methods
    (8)
    formal verification
    (7)
    theorie
    (7)
    automated deduction
    (6)
    intelligenz
    (6)
    ki
    (6)
    künstliche intelligenz
    (6)
    künstliche intelligenz - ai
    (6)
    software engineering
    (6)
    verification
    (6)
    software-entw.
    (5)
    allgemeines
    (4)
    automata
    (4)
    automateddeduction
    (4)
    informatik, computer
    (4)
    logics and meanings of programs
    (4)
    mathematik
    (4)
    modeling
    (4)
    roboter - robotik - industrieroboter
    (4)
    theory of computation
    (4)
    artificial intelligence
    (3)
    computational logic
    (3)
    computationallogic
    (3)
    computeraidedverification
    (3)
    erfüllbarkeitsproblem der aussagenlogik
    (3)
    erfüllbarkeitsproblemderaussagenlogik
    (3)
    formal program analysis
    (3)
    hybrid systems
    (3)
    logic
    (3)
    logik
    (3)
    theorem proving
    (3)
    ai logics
    (2)
    automated reasoning
    (2)
    compiler
    (2)
    computer
    (2)
    computeraidedformalmethods
    (2)
    computerprogrammierung und softwareentwicklung
    (2)
    formal method
    (2)
    formalmethod
    (2)
    formalmethods
    (2)
    formalverification
    (2)
    hardware
    (2)
    hardware verification
    (2)
    model checking
    (2)
    netzwerk (elektronisch)
    (2)
    petri net
    (2)
    policy monitoring
    (2)
    programmiersprachen
    (2)
    proving
    (2)
    real-time
    (2)
    real-time systems
    (2)
    real-timesystems
    (2)
    system
    (2)
    verifikation - verifizieren
    (2)
    action
    (1)
    ailogics
    (1)
    algorithm
    (1)
    analytic tableaux
    (1)
    anwendungen
    (1)
    anwendungs-software
    (1)
    artificial neural network
    (1)
    artificialintelligence
    (1)
    assembler
    (1)
    assertion
    (1)
    audio
    (1)
    automated verification
    (1)
    automateddedformalmethods
    (1)
    automatedreasoning
    (1)
    betrieb, verwaltung
    (1)
    calculus
    (1)
    communication
    (1)
    computer communication networks
    (1)
    computer system implementation
    (1)
    computeraidedve
    (1)
    computergestützte verifikation
    (1)
    computergestützteverifikation
    (1)
    computergestüzte verifikation
    (1)
    computergestüzteverifikation
    (1)
    computerprogrammi
    (1)
    computerprogrammieru
    (1)
    computers
    (1)
    concurrent algorithms
    (1)
    datalog
    (1)
    datenverarbeitung
    (1)
    debugging
    (1)
    dienstleistung
    (1)
    distributed systems
    (1)
    distributedsystems
    (1)
    echtzei-systeme
    (1)
    electronics and microelectronics, instrumentation
    (1)
    endliche systeme
    (1)
    endlichesysteme
    (1)
    extension
    (1)
    finite-state systems
    (1)
    finite-statesystems
    (1)
    formale methoden
    (1)
    Erscheinungsjahr
    Erscheinungsjahr
    1994
    (1)
    1995
    (1)
    1996
    (1)
    1999
    (1)
    2004
    (1)
    2005
    (2)
    2007
    (1)
    2008
    (1)
    2010
    (2)
    2011
    (1)

    Datenschutz-Einstellungen