Erscheinungsdatum
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
    • weitere Filter
    Autor
    Autor
    helmut seidl
    (6)
    reinhard wilhelm
    (6)
    sebastian hack
    (4)
    barry jay
    (2)
    bossi, annalisa
    (1)
    bruynooghe, maurice
    (1)
    etalle, sandro
    (1)
    lau, kung-kiu
    (1)
    leuschel, m.
    (1)
    maribel fernández
    (1)
    maurizio gabbrielli
    (1)
    pettorossi, alberto
    (1)
    simone martini
    (1)
    Genre
    Genre
    mathematik
    (14)
    medizin
    (14)
    naturwissenschaften
    (14)
    technik
    (14)
    Schlagwort
    Schlagwort
    functional programming
    (16)
    imperative programming
    (16)
    edv
    (15)
    functionalprogramming
    (15)
    imperativeprogramming
    (15)
    informatik
    (15)
    logic programming
    (12)
    logicprogramming
    (12)
    programming
    (10)
    compilers
    (7)
    interpreters
    (7)
    logic
    (7)
    object-oriented programming
    (7)
    computational logic
    (6)
    high-level programming
    (6)
    high-levelprogramming
    (6)
    machine architectures
    (6)
    machinearchitectures
    (6)
    object-orientedprogramming
    (6)
    programming languages, compilers, interpreters
    (6)
    virtual machines
    (6)
    virtualmachines
    (6)
    program analysis
    (5)
    programanalysis
    (5)
    programmiersprachen
    (5)
    programming techniques
    (5)
    software engineering
    (5)
    computerprogrammierung und softwareentwicklung
    (4)
    constraint programming
    (4)
    formal methods
    (4)
    formalmethods
    (4)
    program transformation
    (4)
    program verification
    (4)
    programmieren (edv)
    (4)
    programtransformation
    (4)
    computationalconstraintprogramming
    (3)
    data structure
    (3)
    entwicklung
    (3)
    program synthesis
    (3)
    programsynthesis
    (3)
    programverification
    (3)
    semantics
    (3)
    software engineering/programming and operating systems
    (3)
    bondi
    (2)
    compilers and interpreters
    (2)
    data structures
    (2)
    datastructures
    (2)
    debugging
    (2)
    lambda calculus
    (2)
    lambdacalculus
    (2)
    lisp
    (2)
    logic program manipulation
    (2)
    logicprogrammanipulation
    (2)
    logics and meanings of programs
    (2)
    ocaml
    (2)
    optimization
    (2)
    pattern calculus
    (2)
    pattern matching
    (2)
    patterncalculus
    (2)
    patternmatching
    (2)
    polymorphism
    (2)
    program syntesis
    (2)
    programmi
    (2)
    programmier- und skriptsprachen, allgemein
    (2)
    programming language
    (2)
    programming languages
    (2)
    programming languages, compil
    (2)
    programming style
    (2)
    programmingstyle
    (2)
    programsyntesis
    (2)
    software-entw.
    (2)
    theorie
    (2)
    theory of computation
    (2)
    type theory
    (2)
    typetheory
    (2)
    verification
    (2)
    algorithms
    (1)
    algorithmus
    (1)
    allgemeines
    (1)
    automata
    (1)
    comp
    (1)
    compiler und übersetzer
    (1)
    compu
    (1)
    computationalconstrainprogramming
    (1)
    computationaldatastructure
    (1)
    computationallogic
    (1)
    constrain programming
    (1)
    constraintprogramming
    (1)
    datastructure
    (1)
    erfüllbarkeitsproblem der aussagenlogik
    (1)
    erfüllbarkeitsproblemderaussagenlogik
    (1)
    extension
    (1)
    formal method
    (1)
    formal methods program verification
    (1)
    formale sprache
    (1)
    formalmethod
    (1)
    formalmethodsprogramverification
    (1)
    generativ
    (1)
    logikprogrammierung
    (1)
    mathematical
    (1)
    Erscheinungsjahr
    Erscheinungsjahr
    2000
    (1)
    2001
    (1)
    2002
    (1)
    2003
    (1)
    2004
    (1)
    2005
    (1)
    2009
    (1)
    2010
    (1)
    2012
    (1)
    2013
    (1)
    2014
    (2)
    2015
    (1)
    2016
    (2)
    2023
    (1)

    Datenschutz-Einstellungen