Serie
lecture notes in computer science
(16)
programming and software engineering
(3)
theoretical computer science and general issues
(3)
Sprache
englisch
(23)
deutsch
(1)
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    bibel, wolfgang
    (2)
    gibbons, jeremy
    (2)
    jeuring, johan
    (2)
    schmitt, p. h.
    (2)
    aichernig, b. k.
    (1)
    alvim, mário s.
    (1)
    baldoni, matteo
    (1)
    barthe, gilles
    (1)
    chatzikokolakis, kostas
    (1)
    dastani, mehdi
    (1)
    datta, ajoy k.
    (1)
    deturck, filip
    (1)
    du, ding-zhu
    (1)
    gutknecht, jürg
    (1)
    harvey, william
    (1)
    helary, jean-michel
    (1)
    heldal, rogardt
    (1)
    herman, ted
    (1)
    holst, carsten k.
    (1)
    hu, xiaodong
    (1)
    kilov, haim
    (1)
    liao, beishui
    (1)
    luck, michael
    (1)
    maibaum, t.
    (1)
    malyshkin, victor
    (1)
    marik, vladimir
    (1)
    mavranicolas, marios
    (1)
    olarte, carlos
    (1)
    ossher, harold
    (1)
    pardalos, panos m.
    (1)
    ramalingam, g.
    (1)
    rashid, awais
    (1)
    raynal, michel
    (1)
    sakurai, yuko
    (1)
    stepankova, olga
    (1)
    stiller, burkhard
    (1)
    tsigas, philippas
    (1)
    uustalu, tarmo
    (1)
    valencia, frank
    (1)
    wadler, philip
    (1)
    weck, wolfgang
    (1)
    wolfgang w. osterhage
    (1)
    zalila wenkstern, rym
    (1)
    Verlag / Hersteller
    springer berlin heidelberg
    (14)
    springer international publishing
    (3)
    springer netherlands
    (2)
    springer us
    (3)
    Verlag
    springer berlin heidelberg
    (14)
    springer international publishing
    (3)
    springer netherlands
    (2)
    springer us
    (3)
    Buchtyp
    softcover
    (19)
    hardcover
    (5)
    Bestseller
    unsere klassiker
    (2)
    unsere aufsteiger
    (1)
    Genre
    mathematik
    (18)
    medizin
    (18)
    naturwissenschaften
    (18)
    technik
    (18)
    Schlagwort
    edv
    (23)
    informatik
    (22)
    software engineering
    (14)
    programming
    (9)
    software engineering/programming and operating systems
    (8)
    algorithms
    (7)
    software-entw.
    (7)
    theorie
    (7)
    betriebssystem (edv)
    (6)
    distributed systems
    (6)
    operating system
    (6)
    programmiersprachen
    (6)
    algorithmus
    (5)
    design
    (5)
    mathematik
    (5)
    processing
    (5)
    programming language
    (5)
    programming languages, compilers, interpreters
    (5)
    routing
    (5)
    compiler
    (4)
    logic programming
    (4)
    netzwerk (elektronisch)
    (4)
    netzwerke
    (4)
    semantics
    (4)
    softwareengineering
    (4)
    algorithm
    (3)
    artificial intelligence
    (3)
    artificialintelligence
    (3)
    automata
    (3)
    data structures
    (3)
    datastructures
    (3)
    datenkommunikation
    (3)
    distributed algorithms
    (3)
    distributedsystems
    (3)
    entwicklung
    (3)
    informatik, computer
    (3)
    informationssystem
    (3)
    internet
    (3)
    model checking
    (3)
    modelchecking
    (3)
    modeling
    (3)
    object-oriented programming
    (3)
    object-orientedprogramming
    (3)
    programmier- und skriptsprachen, allgemein
    (3)
    programmieren (edv)
    (3)
    programminglanguage
    (3)
    scheduling
    (3)
    theory of computation
    (3)
    verification
    (3)
    ada
    (2)
    allgemeines
    (2)
    automated deduction
    (2)
    automated reasoning
    (2)
    automated theorem proving
    (2)
    automateddeduction
    (2)
    automatedreasoning
    (2)
    automatedtheoremproving
    (2)
    autonomous agents
    (2)
    boolean algebra
    (2)
    booleanalgebra
    (2)
    c programming language
    (2)
    cnguage
    (2)
    complex system
    (2)
    complexsystem
    (2)
    computer communication networks
    (2)
    computer science
    (2)
    concurrency
    (2)
    d programming language
    (2)
    data
    (2)
    distributed computing
    (2)
    distributed data processing
    (2)
    dnguage
    (2)
    expert system
    (2)
    formal logic
    (2)
    formal methods
    (2)
    formallogic
    (2)
    haskell
    (2)
    heuristics
    (2)
    information
    (2)
    information retrieval
    (2)
    informationretrieval
    (2)
    intelligent agents
    (2)
    intelligenz
    (2)
    interactive theorem proving
    (2)
    ki
    (2)
    kommunikation (technik)
    (2)
    künstliche intelligenz
    (2)
    künstliche intelligenz - ai
    (2)
    lexika
    (2)
    logic
    (2)
    logicprogramming
    (2)
    logik
    (2)
    mathematics of computing
    (2)
    natural language
    (2)
    object oriented design
    (2)
    organisation
    (2)
    philosophie
    (2)
    program analysis
    (2)
    programming languages
    (2)
    proving
    (2)
    Erscheinungsjahr
    1992
    (1)
    1995
    (1)
    1997
    (1)
    1998
    (1)
    1999
    (1)
    2000
    (1)
    2001
    (2)
    2003
    (2)
    2006
    (1)
    2008
    (2)
    2009
    (2)
    2010
    (3)
    2013
    (2)
    2019
    (2)
    2021
    (2)

    Datenschutz-Einstellungen