Serie
lecture notes in computer science
(6)
theoretical computer science and general issues
(3)
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    acuna, silvia t.
    (1)
    ajith abraham
    (1)
    albada, geert d. van
    (1)
    araki, keijiro
    (1)
    bo yang
    (1)
    clark, tony
    (1)
    dongarra, jack
    (1)
    gnesi, stefania
    (1)
    juristo, natalia
    (1)
    kowalewski, stefan
    (1)
    kun ma
    (1)
    mandrioli, dion
    (1)
    maragria, tiziana
    (1)
    mathias kirchmer
    (1)
    muggleton, stephen
    (1)
    otero, ramon
    (1)
    philippou, anna
    (1)
    runyuan sun
    (1)
    sloot, peter m. a.
    (1)
    steffen, bernhard
    (1)
    sunderam, v. s.
    (1)
    tamaddoni-nezhad, alireza
    (1)
    warmer, jos
    (1)
    Genre
    mathematik
    (8)
    medizin
    (8)
    naturwissenschaften
    (8)
    technik
    (8)
    Schlagwort
    software engineering/
    (9)
    edv
    (8)
    informatik
    (8)
    software engineering
    (5)
    verification
    (5)
    formal methods
    (4)
    software-entw.
    (4)
    theorie
    (4)
    algorithms
    (3)
    formalmethods
    (3)
    model checking
    (3)
    modeling
    (3)
    algorithm
    (2)
    allgemeines
    (2)
    bioinformatics
    (2)
    complexity
    (2)
    computer science
    (2)
    computerscience
    (2)
    design
    (2)
    formale sprache
    (2)
    operating system
    (2)
    optimization
    (2)
    organization
    (2)
    programmieren (edv)
    (2)
    programmiersprachen
    (2)
    programming
    (2)
    softwareengineering
    (2)
    sprache
    (2)
    system modeling
    (2)
    theorem proving
    (2)
    unified modeling language (uml)
    (2)
    a
    (1)
    abstraction
    (1)
    algorithmic learning
    (1)
    algorithmiclearning
    (1)
    algorithmus
    (1)
    alignment
    (1)
    anwendungssoftware
    (1)
    artificial intelligence
    (1)
    bayesian networks
    (1)
    bayesiannetworks
    (1)
    betriebssystem (edv)
    (1)
    biological systems
    (1)
    biologicalsystems
    (1)
    bpr
    (1)
    business process reengineering (bpr)
    (1)
    business process reengingeering (bpr)
    (1)
    businessprocessreengineering(bpr)
    (1)
    businessprocessreengingeering(bpr)
    (1)
    change management
    (1)
    changemanagement
    (1)
    classification
    (1)
    classifier systems
    (1)
    classifiersystems
    (1)
    cloud computing
    (1)
    cloudcomputing
    (1)
    communications protocols
    (1)
    communicationsprotocols
    (1)
    compiler
    (1)
    computational engineering
    (1)
    computational intelligence
    (1)
    computational intelligence in software engineering
    (1)
    computational science
    (1)
    computationalengineering
    (1)
    computationalintelligenceinsoftwareengineering
    (1)
    computationalscience
    (1)
    computer
    (1)
    computer algebra
    (1)
    computer engineering
    (1)
    computeralgebra
    (1)
    correct software design
    (1)
    correctsoftwaredesign
    (1)
    deductive databases
    (1)
    deductive verification
    (1)
    deductivedatabases
    (1)
    deductiveverification
    (1)
    development
    (1)
    entwicklung
    (1)
    entwurf
    (1)
    erp
    (1)
    formal analysis
    (1)
    formal modeling
    (1)
    formal verification
    (1)
    formalanalysis
    (1)
    formalmodeling
    (1)
    generalisation operators
    (1)
    generalisationoperators
    (1)
    grid computing
    (1)
    gridcomputing
    (1)
    heuristics
    (1)
    hybrid petri nets
    (1)
    hybridpetri
    (1)
    image processing
    (1)
    imageprocessing
    (1)
    inductive inference
    (1)
    inductive logic programming
    (1)
    inductiveinference
    (1)
    inductiveogramming
    (1)
    informatik, computer
    (1)
    intelligent web data management
    (1)
    Erscheinungsjahr
    2002
    (1)
    2003
    (1)
    2005
    (2)
    2006
    (1)
    2007
    (1)
    2009
    (1)
    2012
    (1)
    2018
    (1)

    Datenschutz-Einstellungen