Erscheinungsdatum
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
    • weitere Filter
    Autor
    Autor
    clement, timothy p.
    (1)
    lau, kung-kiu
    (1)
    Schlagwort
    Schlagwort
    algorithms
    (1)
    computerprogrammierung und softwareentwicklung
    (1)
    database
    (1)
    edv
    (1)
    informatik
    (1)
    logic
    (1)
    logic programming
    (1)
    logic programming synthesis
    (1)
    logic programming transformation
    (1)
    logicprogramming
    (1)
    mathematical logic and formal languages
    (1)
    ogrammingsynthesis
    (1)
    ogrammingtransformation
    (1)
    optimization
    (1)
    program development
    (1)
    program synthesis
    (1)
    program transformation
    (1)
    programdevelopment
    (1)
    programming
    (1)
    programming techniques
    (1)
    programsynthesis
    (1)
    programtransformation
    (1)
    semantics
    (1)
    variable
    (1)

    Datenschutz-Einstellungen