Serie
Serie
lecture notes in computer science
(15)
theoretical computer science and general issues
(4)
Erscheinungsdatum
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
    • weitere Filter
    Autor
    Autor
    backhouse, roland
    (2)
    gibbons, jeremy
    (2)
    möller, bernhard
    (2)
    audebaud, philippe
    (1)
    bird, richard
    (1)
    boiten, eerke a.
    (1)
    bolduc, claude
    (1)
    crole, roy
    (1)
    desharnais, jules
    (1)
    hinze, ralf
    (1)
    hutton, graham
    (1)
    jeuring, johan
    (1)
    kozen, dexter
    (1)
    ktari, bechir
    (1)
    morgan, carroll
    (1)
    nogueira, pablo
    (1)
    nuno oliveira, jose
    (1)
    paulin-mohring, christine
    (1)
    shankland, carron
    (1)
    snepscheut, jan l. a. van de
    (1)
    uustalu, tarmo
    (1)
    voigtlander, janis
    (1)
    woodcock, james c. p.
    (1)
    Verlag / Hersteller
    Verlag / Hersteller
    springer berlin heidelberg
    (12)
    springer international publishing
    (2)
    Verlag
    Verlag
    springer berlin heidelberg
    (12)
    springer international publishing
    (3)
    Bestseller
    Bestseller
    unsere aufsteiger
    (1)
    unsere klassiker
    (1)
    Genre
    Genre
    mathematik
    (15)
    medizin
    (15)
    naturwissenschaften
    (15)
    technik
    (15)
    Schlagwort
    Schlagwort
    edv
    (15)
    informatik
    (15)
    software engineering
    (12)
    theorie
    (11)
    formal methods
    (10)
    software-entw.
    (10)
    algorithms
    (8)
    formalmethods
    (7)
    mathematik
    (7)
    program construction
    (7)
    algorithm
    (6)
    programconstruction
    (6)
    programming
    (6)
    semantics
    (6)
    informatik, computer
    (5)
    programmiersprachen
    (5)
    algorithmus
    (4)
    computerprogrammierung und softwareentwicklung
    (4)
    generic programming
    (4)
    kleene algebra
    (4)
    program analysis
    (4)
    program development
    (4)
    programdevelopment
    (4)
    programming language
    (4)
    algorithmics
    (3)
    compiler
    (3)
    correct software
    (3)
    d programming language
    (3)
    dprogramminglanguage
    (3)
    formal method
    (3)
    haskell
    (3)
    predicative programming
    (3)
    program semantics
    (3)
    program transformation
    (3)
    program verification
    (3)
    programanalysis
    (3)
    programmieren (edv)
    (3)
    programming techniques
    (3)
    programsemantics
    (3)
    software engineering/programming and operating systems
    (3)
    verification
    (3)
    algebra
    (2)
    allgemeines
    (2)
    artificial intelligence
    (2)
    artificialintelligence
    (2)
    betriebssystem (edv)
    (2)
    calculus
    (2)
    computer programming
    (2)
    computerprogramming
    (2)
    databases
    (2)
    dynamic programming
    (2)
    formal logic
    (2)
    formal specification
    (2)
    formale methoden
    (2)
    formalemethoden
    (2)
    formallogic
    (2)
    formalspecification
    (2)
    functional programming
    (2)
    functionalprogramming
    (2)
    genericprogramming
    (2)
    graph algorithms
    (2)
    hardware
    (2)
    kleenealgebra
    (2)
    kombinatorik
    (2)
    logics and meanings of programs
    (2)
    mathematical logic and formal languages
    (2)
    operating system
    (2)
    predicativeprogramming
    (2)
    program logics
    (2)
    programlogics
    (2)
    programminglanguage
    (2)
    programtransformation
    (2)
    query languages
    (2)
    soft
    (2)
    theory of computation
    (2)
    type theory
    (2)
    übersetzer (edv)
    (2)
    algebraic methods
    (1)
    algebraic specification
    (1)
    algebraicmethods
    (1)
    algebraicspecification
    (1)
    algorithm analysis and p
    (1)
    algorithm analysis and probl
    (1)
    allegory theory
    (1)
    allegorytheory
    (1)
    anwendungen
    (1)
    automata
    (1)
    automata theory
    (1)
    automatatheory
    (1)
    automated program construction
    (1)
    automated program verification
    (1)
    automated theorem proving
    (1)
    automatentheorie
    (1)
    bidirectional transformation
    (1)
    bidirectionaltransformation
    (1)
    bisimulation
    (1)
    category theory
    (1)
    categorytheory
    (1)
    coalgebraic methods
    (1)
    coalgebraicmethods
    (1)
    Erscheinungsjahr
    Erscheinungsjahr
    1989
    (1)
    1993
    (1)
    1995
    (1)
    1998
    (1)
    2000
    (1)
    2002
    (2)
    2004
    (1)
    2006
    (1)
    2008
    (1)
    2010
    (1)
    2012
    (1)
    2015
    (1)
    2019
    (1)
    2022
    (1)

    Datenschutz-Einstellungen