Serie
lecture notes in computer science
(33)
theoretical computer science and general issues
(20)
programming and software engineering
(7)
monographs in theoretical computer science. an eatcs series
(4)
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    gabriele taentzer
    (4)
    hartmut ehrig
    (4)
    claudia ermel
    (2)
    frank hermann
    (2)
    kang zhang
    (2)
    karsten ehrig
    (2)
    orejas, fernando
    (2)
    reiko heckel
    (2)
    ulrike golas
    (2)
    ulrike prange
    (2)
    uu, ionu
    (2)
    barbosa, luis soares
    (1)
    blanchette, jasmin christian
    (1)
    bruni, roberto
    (1)
    cabot, jordi
    (1)
    codescu, mihai
    (1)
    de lara, juan
    (1)
    de nicola, rocco
    (1)
    diaconescu, razvan
    (1)
    d'souza, deepak
    (1)
    fiadeiro, josé luiz
    (1)
    gadducci, fabio
    (1)
    gergely mezei
    (1)
    giannakopoulou, dimitra
    (1)
    gibbons, jeremy
    (1)
    gray, jeff
    (1)
    grieskamp, wolfgang
    (1)
    guerra, esther
    (1)
    heckel, reiko
    (1)
    hennicker, rolf
    (1)
    huisman, marieke
    (1)
    höfner, peter
    (1)
    kaklamanis, christos
    (1)
    kehrer, timo
    (1)
    lal, akash
    (1)
    lambers, leen
    (1)
    lara, juan de
    (1)
    larsen, kim gulstrand
    (1)
    leen lambers
    (1)
    liu, zhiming
    (1)
    lumpe, markus
    (1)
    lämmel, ralf
    (1)
    mehta, sameep
    (1)
    merz, stephan
    (1)
    middeldorp, aart
    (1)
    montanari, ugo
    (1)
    münch, manfred
    (1)
    nagl, manfred
    (1)
    nielson, flemming
    (1)
    oostrom, vincent van
    (1)
    paige, richard
    (1)
    pedro pablo pérez velasco
    (1)
    pierantonio, alfonso
    (1)
    plump, detlef
    (1)
    pous, damien
    (1)
    raamsdonk, femke van
    (1)
    rubin, julia
    (1)
    sampaio, augusto
    (1)
    sannella, donald
    (1)
    saraiva, joão
    (1)
    schürr, andreas
    (1)
    srinivasa, srinath
    (1)
    stevens, perdita
    (1)
    struth, georg
    (1)
    sunilkumar hosamani
    (1)
    taentzer, gabriele
    (1)
    tretmans, jan
    (1)
    vallecillo, antonio
    (1)
    veanes, margus
    (1)
    visser, eelco
    (1)
    visser, joost
    (1)
    wang, farn
    (1)
    weber, jens
    (1)
    woodcock, jim
    (1)
    zhu, huibiao
    (1)
    zisman, andrea
    (1)
    Verlag / Hersteller
    lap lambert academic publishing
    (2)
    springer berlin heidelberg
    (20)
    springer international publishing
    (15)
    springer us
    (2)
    springer, berlin springer international publishing springer
    (2)
    springer, berlin springer nature switzerland springer
    (2)
    Verlag
    lap lambert academic publishing
    (2)
    springer
    (4)
    springer berlin heidelberg
    (20)
    springer international publishing
    (17)
    springer nature switzerland
    (2)
    springer us
    (2)
    springer, berlin
    (4)
    Buchtyp
    softcover
    (35)
    hardcover
    (7)
    Genre
    mathematik
    (40)
    medizin
    (40)
    naturwissenschaften
    (40)
    technik
    (40)
    Schlagwort
    graph transformation
    (45)
    informatik
    (43)
    edv
    (41)
    graphtransformation
    (26)
    software engineering
    (25)
    theorie
    (19)
    software-entw.
    (15)
    programmiersprachen
    (13)
    graph theory
    (11)
    model checking
    (11)
    theory of computation
    (11)
    model transformation
    (10)
    semantics
    (9)
    mathematik
    (8)
    modelchecking
    (8)
    artificial intelligence
    (7)
    compiler
    (7)
    formal languages
    (7)
    modeling
    (7)
    modeltransformation
    (7)
    netzwerk (elektronisch)
    (7)
    softwareengineering
    (7)
    übersetzer (edv)
    (7)
    computer communication networks
    (6)
    computer programming
    (6)
    distributed systems
    (6)
    graph grammar
    (6)
    informatik, computer
    (6)
    programming languages, compilers, interpreters
    (6)
    programming techniques
    (6)
    algorithmus
    (5)
    category theory
    (5)
    computer science
    (5)
    graphtheory
    (5)
    logic
    (5)
    logics and meanings of programs
    (5)
    programming languages
    (5)
    static analysis
    (5)
    categorytheory
    (4)
    computer
    (4)
    computer systems
    (4)
    concurrency
    (4)
    context sensitive grammars
    (4)
    databases
    (4)
    directed graphs
    (4)
    diskret (mathematisch)
    (4)
    distributedsystems
    (4)
    formal methods
    (4)
    formallanguages
    (4)
    graphgrammar
    (4)
    mathematical transformations
    (4)
    petri nets
    (4)
    algorithms
    (3)
    allgemeines
    (3)
    architecture
    (3)
    aspect-oriented modeling
    (3)
    calculi
    (3)
    computer software selection and evaluation
    (3)
    computerprogramming
    (3)
    computerscience
    (3)
    database
    (3)
    datenbank
    (3)
    distributed computer systems
    (3)
    domain-specific languages
    (3)
    domain-specificlanguages
    (3)
    formalmethods
    (3)
    graph grammars
    (3)
    graphic methods
    (3)
    graphicmethods
    (3)
    logik
    (3)
    mathematicaltransformations
    (3)
    petrinets
    (3)
    process algebra
    (3)
    programming
    (3)
    programminglanguages
    (3)
    simulation
    (3)
    software engineering/programming and operating systems
    (3)
    specification
    (3)
    staticanalysis
    (3)
    abstraction
    (2)
    algebraic specification
    (2)
    algorithm
    (2)
    algorithmanalysisandproblemcomplexity
    (2)
    anonymity
    (2)
    anwendungs-software
    (2)
    artificialintelligence
    (2)
    aspect-oriented programming
    (2)
    aspect-orientedprogramming
    (2)
    aufrüsten, reparieren, selbstbau
    (2)
    authentication
    (2)
    automata theory
    (2)
    bisimulation
    (2)
    calculus
    (2)
    category theory, homological algebra
    (2)
    computation by abstract devices
    (2)
    computer architecture
    (2)
    computersoftwareselectionandevaluation
    (2)
    computersystems
    (2)
    constraint
    (2)
    contextsensitivegrammars
    (2)
    Erscheinungsjahr
    2000
    (1)
    2005
    (1)
    2006
    (2)
    2007
    (4)
    2008
    (1)
    2009
    (3)
    2010
    (3)
    2011
    (3)
    2012
    (2)
    2013
    (1)
    2014
    (1)
    2015
    (4)
    2016
    (2)
    2017
    (3)
    2018
    (4)
    2019
    (3)
    2020
    (2)
    2021
    (2)
    2022
    (1)
    2023
    (1)
    2024
    (1)

    Datenschutz-Einstellungen