Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    michaelson, greg
    (2)
    trinder, phil
    (2)
    clack, chris
    (1)
    davie, tony
    (1)
    grelck, clemens
    (1)
    gupta, gopal
    (1)
    hammond, kevin
    (1)
    hermenegildo, manuel
    (1)
    huch, frank
    (1)
    jayaraman, bharat
    (1)
    maluszynski, jan
    (1)
    pena, ricardo
    (1)
    puebla, german
    (1)
    taha, walid
    (1)
    wirsing, martin
    (1)
    Genre
    mathematik
    (8)
    medizin
    (8)
    naturwissenschaften
    (8)
    technik
    (8)
    Schlagwort
    edv
    (8)
    informatik
    (8)
    programming languages implementation
    (8)
    programming
    (7)
    programmiersprachen
    (6)
    programmieren (edv)
    (5)
    programminglanguagesimplementation
    (5)
    functional programming
    (3)
    functionalprogramming
    (3)
    logic
    (3)
    logic programming
    (3)
    software engineering
    (3)
    software-entw.
    (3)
    theorie
    (3)
    algorithm
    (2)
    algorithms
    (2)
    compiler
    (2)
    constraint programming
    (2)
    data structure
    (2)
    functional programming languages
    (2)
    functional theorem proving
    (2)
    functionalprogramminglanguages
    (2)
    functionaltheoremproving
    (2)
    funktional
    (2)
    haskell
    (2)
    logicprogramming
    (2)
    ml
    (2)
    object-oriented programming
    (2)
    program analysis
    (2)
    programanalysis
    (2)
    programmier- und skriptsprachen, allgemein
    (2)
    programming language
    (2)
    programming languages, compilers, interpreters
    (2)
    programming techniques
    (2)
    prolog
    (2)
    .net
    (1)
    allgemeines
    (1)
    analyse
    (1)
    assembly language
    (1)
    assemblylanguage
    (1)
    c programming language
    (1)
    c--
    (1)
    chniques
    (1)
    clean
    (1)
    computerprogrammierung und softwar
    (1)
    computerprogrammierung und softwareentwicklung
    (1)
    constraint
    (1)
    constraint languages
    (1)
    constraintlanguages
    (1)
    constraintprogramming
    (1)
    cprogramminglanguage
    (1)
    data structures
    (1)
    databa
    (1)
    datastr
    (1)
    datastructure
    (1)
    datastructures
    (1)
    datenbanken
    (1)
    declarative languages
    (1)
    declarative programming
    (1)
    declarative programming languages
    (1)
    declarativelanguages
    (1)
    declarativeprogramming
    (1)
    declarativeprogramminglanguages
    (1)
    formal methods
    (1)
    formal specification
    (1)
    formal verification
    (1)
    formalmethods
    (1)
    formalspecification
    (1)
    formalverification
    (1)
    fortran
    (1)
    function-based programming
    (1)
    function-basedprogramming
    (1)
    functional logic computation
    (1)
    functionallogiccomputation
    (1)
    generativ
    (1)
    generic programming
    (1)
    genericprogramming
    (1)
    haskell programming
    (1)
    haskellprogramming
    (1)
    higher-order functional programs
    (1)
    higher-orderfunctionalprograms
    (1)
    inheritance
    (1)
    intelligenz
    (1)
    java
    (1)
    ki
    (1)
    künstliche intelligenz
    (1)
    künstliche intelligenz - ai
    (1)
    logics and meanings of programs
    (1)
    logikprogrammierung
    (1)
    mathematical logic and foundations
    (1)
    ml programming
    (1)
    mlprogramming
    (1)
    model checking
    (1)
    nguagesimplementation
    (1)
    object-orientedprogram
    (1)
    object-orientedprogramming
    (1)
    ogramming
    (1)
    opal
    (1)
    optimization
    (1)
    pr
    (1)
    Erscheinungsjahr
    1991
    (1)
    1998
    (1)
    1999
    (1)
    2000
    (1)
    2002
    (1)
    2004
    (2)
    2005
    (1)

    Datenschutz-Einstellungen