Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    boer, frank s. de
    (1)
    bonsangue, marcello m.
    (1)
    frank puppe
    (1)
    gimenet, eduardo
    (1)
    gordon, andrew d.
    (1)
    graf, susanne
    (1)
    hölzl, matthias
    (1)
    kang zhang
    (1)
    launchbury, john
    (1)
    lytras, miltiadis d.
    (1)
    najm, elie
    (1)
    nestmann, uwe
    (1)
    ordóñez de pablos, patricia
    (1)
    paulin-mohring, christine
    (1)
    rocha, ricardo
    (1)
    stevens, perdita
    (1)
    wirsing, martin
    (1)
    Verlag / Hersteller
    springer berlin heidelberg
    (7)
    springer us
    (2)
    Verlag
    springer berlin heidelberg
    (7)
    springer us
    (2)
    Genre
    mathematik
    (7)
    medizin
    (7)
    naturwissenschaften
    (7)
    technik
    (7)
    Schlagwort
    edv
    (9)
    informatik
    (9)
    programming languages, compilers, interpret
    (9)
    software engineering
    (8)
    programmiersprachen
    (5)
    programming
    (4)
    software engineering/programming and operating systems
    (4)
    software-entw.
    (4)
    theorie
    (4)
    verification
    (4)
    java
    (3)
    künstliche intelligenz
    (3)
    classification
    (2)
    compiler
    (2)
    computer communication networks
    (2)
    design
    (2)
    formal methods
    (2)
    formalmethods
    (2)
    functional programming
    (2)
    intelligenz
    (2)
    ki
    (2)
    künstliche intelligenz - ai
    (2)
    logics and meanings of programs
    (2)
    performance
    (2)
    programmier- und skriptsprachen, allgemein
    (2)
    programming language
    (2)
    programming techniques
    (2)
    programminglanguage
    (2)
    unified modeling language (uml)
    (2)
    unifiedmodelinglanguage(uml)
    (2)
    übersetzer (edv)
    (2)
    .net
    (1)
    algorithm
    (1)
    algorithms
    (1)
    allgemeines
    (1)
    ants
    (1)
    architecture
    (1)
    artificial intelligence
    (1)
    betriebssystem (edv)
    (1)
    classifikation
    (1)
    cloud computation
    (1)
    component systems
    (1)
    components
    (1)
    computer
    (1)
    computer science
    (1)
    computerprogrammierung und softwareentwicklung
    (1)
    computers
    (1)
    computers - languages
    (1)
    configuration
    (1)
    context-free grammars
    (1)
    coq
    (1)
    decision making
    (1)
    development
    (1)
    distributed data processing
    (1)
    distributed systems
    (1)
    distributedsystems
    (1)
    embedded systems
    (1)
    etaps
    (1)
    expert system
    (1)
    expert systems
    (1)
    expertensysteme
    (1)
    expertsystem
    (1)
    expertsystems
    (1)
    formal method
    (1)
    formal verification
    (1)
    formalismus
    (1)
    formalmethod
    (1)
    formalverification
    (1)
    forschung & entwicklung
    (1)
    functionalgrammar
    (1)
    general
    (1)
    grammar
    (1)
    graph grammar
    (1)
    graph transformation
    (1)
    graphgrammar
    (1)
    graphicallanguages
    (1)
    graphicalprogramming
    (1)
    graphtransformation
    (1)
    haskell
    (1)
    informatik, computer
    (1)
    information technology
    (1)
    information technology (it)
    (1)
    informationssystem
    (1)
    inheritance
    (1)
    innovation
    (1)
    innovation/technology management
    (1)
    isabelle
    (1)
    it management
    (1)
    knowledge
    (1)
    knowledge acquisition
    (1)
    knowledge represeentation
    (1)
    knowledge representation
    (1)
    knowledgeacquisition
    (1)
    knowledgerepreseentation
    (1)
    knowledgerepresentation
    (1)
    language
    (1)
    logic
    (1)
    logic programming
    (1)
    lsc
    (1)
    management
    (1)
    Erscheinungsjahr
    1998
    (1)
    2003
    (2)
    2008
    (1)
    2010
    (1)
    2011
    (4)

    Datenschutz-Einstellungen