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)
    pettorossi, alberto
    (1)
    Genre
    Genre
    mathematik
    (14)
    medizin
    (14)
    naturwissenschaften
    (14)
    technik
    (14)
    Schlagwort
    Schlagwort
    edv
    (15)
    functional programming
    (15)
    functionalprogramming
    (15)
    imperative programming
    (15)
    imperativeprogramming
    (15)
    informatik
    (15)
    logic programming
    (12)
    logicprogramming
    (12)
    programming
    (9)
    compilers
    (6)
    computational logic
    (6)
    high-level programming
    (6)
    high-levelprogramming
    (6)
    interpreters
    (6)
    logic
    (6)
    machine architectures
    (6)
    machinearchitectures
    (6)
    object-oriented programming
    (6)
    object-orientedprogramming
    (6)
    virtual machines
    (6)
    virtualmachines
    (6)
    program analysis
    (5)
    programanalysis
    (5)
    programmiersprachen
    (5)
    programming languages, compilers, interpreters
    (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)
    data structures
    (2)
    datastructures
    (2)
    debugging
    (2)
    lambda calculus
    (2)
    lambdacalculus
    (2)
    lisp
    (2)
    logic program manipulation
    (2)
    logicprogrammanipulation
    (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, compil
    (2)
    programming style
    (2)
    programmingstyle
    (2)
    programsyntesis
    (2)
    software-entw.
    (2)
    theorie
    (2)
    type theory
    (2)
    typetheory
    (2)
    verification
    (2)
    algorithms
    (1)
    algorithmus
    (1)
    allgemeines
    (1)
    automata
    (1)
    comp
    (1)
    compilers and interpreters
    (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)
    logics and meanings of programs
    (1)
    logikprogrammierung
    (1)
    mathematical
    (1)
    mode
    (1)
    model checking
    (1)
    operational semantics
    (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)

    Datenschutz-Einstellungen