Serie
Serie
lecture notes in computer science
(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
    artur jutman
    (1)
    de almeida, adiel teixeira
    (1)
    giese, martin
    (1)
    gramlich, bernhard
    (1)
    jaan raik
    (1)
    konev, boris
    (1)
    maksim jenihhin
    (1)
    martha schnieber
    (1)
    morais, danielle costa
    (1)
    ondrej lengál
    (1)
    petra perner
    (1)
    philipp niemann
    (1)
    raimund ubar
    (1)
    robert wille
    (1)
    svetlana n. yanushkevich
    (1)
    vlad p. shmerko
    (1)
    waaler, arild
    (1)
    wolter, frank
    (1)
    Verlag / Hersteller
    Verlag / Hersteller
    springer berlin heidelberg
    (4)
    springer international publishing
    (2)
    Verlag
    Verlag
    springer berlin heidelberg
    (4)
    springer international publishing
    (2)
    Genre
    Genre
    mathematik
    (6)
    medizin
    (6)
    naturwissenschaften
    (6)
    technik
    (6)
    Schlagwort
    Schlagwort
    binary decision diagrams
    (10)
    binarydecisiondiagrams
    (5)
    edv
    (5)
    informatik
    (5)
    automated deduction
    (3)
    automateddeduction
    (3)
    formal verification
    (3)
    circuits and systems
    (2)
    constraint solving
    (2)
    constraintsolving
    (2)
    database
    (2)
    declarative programming
    (2)
    electronic circuits and systems
    (2)
    internet
    (2)
    model checking
    (2)
    programming
    (2)
    proof theory
    (2)
    abstract regular tree model checking
    (1)
    advanced digital system design
    (1)
    ai logic
    (1)
    ai logics
    (1)
    ailogic
    (1)
    algebra
    (1)
    algorithm
    (1)
    algorithm learning
    (1)
    algorithmen und datenstrukturen
    (1)
    algorithmlearning
    (1)
    algorithms
    (1)
    allgemeines
    (1)
    applications in test engineering
    (1)
    approximate adders
    (1)
    approximate computing
    (1)
    arbitrary boolean function
    (1)
    artificial
    (1)
    artificial intelligence
    (1)
    artificialintelligence
    (1)
    associate rule mining
    (1)
    associaterulemining
    (1)
    astronomie
    (1)
    automata theory
    (1)
    automatatheory
    (1)
    automated reasoning
    (1)
    automatedreasoning
    (1)
    automation - automatisierung
    (1)
    bandwidth
    (1)
    bedeutung (semantisch)
    (1)
    bedeutungslehre
    (1)
    benutzeroberflächen
    (1)
    betriebssysteme
    (1)
    binary decision
    (1)
    binarydecision
    (1)
    boolean algebra meets graph-theory
    (1)
    boolean function
    (1)
    boolean functions
    (1)
    boolean logic
    (1)
    booleanfunctions
    (1)
    circuits
    (1)
    classification
    (1)
    clustering
    (1)
    cognitive radio
    (1)
    cognitiveradio
    (1)
    computational mathematics and numerical analysis
    (1)
    computer modelling
    (1)
    computer networks
    (1)
    computer science
    (1)
    computer science logic and foundations of programming
    (1)
    computer systems
    (1)
    computermodellierung und -simulation
    (1)
    computernetworks
    (1)
    computers
    (1)
    computerscience
    (1)
    computersystems
    (1)
    conditional logics
    (1)
    conditionallogics
    (1)
    constraint programming
    (1)
    constraintprogramming
    (1)
    data mining
    (1)
    data mining (edv)
    (1)
    data preparation
    (1)
    data structure
    (1)
    data structures and inf
    (1)
    databases
    (1)
    datamining
    (1)
    datapreparation
    (1)
    datastructure
    (1)
    datenbank
    (1)
    davio expansion
    (1)
    decision diagrams
    (1)
    decision procedures
    (1)
    decisionprocedures
    (1)
    decla
    (1)
    declarativeprogramming
    (1)
    description logic
    (1)
    descriptionlogic
    (1)
    digital circuit analysis
    (1)
    distributed systems
    (1)
    distributedsystems
    (1)
    electricity
    (1)
    electronics
    (1)
    electronics design and verification
    (1)
    Erscheinungsjahr
    Erscheinungsjahr
    2002
    (1)
    2005
    (1)
    2007
    (1)
    2008
    (1)
    2009
    (1)
    2012
    (1)
    2017
    (1)
    2020
    (1)
    2023
    (1)
    2024
    (1)

    Datenschutz-Einstellungen