Serie
lecture notes in computer science
(20)
programming and software engineering
(16)
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    romanovsky, alexander
    (24)
    lemos, rogério de
    (4)
    troubitsyna, elena
    (4)
    lecomte, thierry
    (3)
    bitsch, friedemann
    (2)
    butler, michael
    (2)
    choren, ricardo
    (2)
    dony, christophe
    (2)
    ezhilchelvan, paul
    (2)
    gacek, c.
    (2)
    gacek, cristina
    (2)
    garcia, alessandro
    (2)
    lucena, carlos
    (2)
    thomas, martyn
    (2)
    collart-dutilleul, simon
    (1)
    fantechi, alessandro
    (1)
    garcia, a.
    (1)
    gashi, ilir
    (1)
    giorgini, paolo
    (1)
    gorbenko, anatoliy
    (1)
    guelfi, nicolas
    (1)
    holvoet, tom
    (1)
    jones, cliff
    (1)
    jones, cliff b.
    (1)
    kharchenko, vyacheslav
    (1)
    knudsen, j. l.
    (1)
    lindskov, joergen
    (1)
    lucena, c.
    (1)
    pinger, ralf
    (1)
    reggio, gianna
    (1)
    schoitsch, erwin
    (1)
    troubitsyna, elena a.
    (1)
    vardanega, tullio
    (1)
    Verlag / Hersteller
    springer berlin heidelberg
    (16)
    springer international publishing
    (6)
    springer us
    (2)
    Verlag
    springer berlin heidelberg
    (16)
    springer international publishing
    (6)
    springer us
    (2)
    Genre
    mathematik
    (22)
    medizin
    (22)
    naturwissenschaften
    (22)
    technik
    (22)
    Schlagwort
    edv
    (24)
    informatik
    (24)
    software engineering
    (18)
    software-entw.
    (13)
    theorie
    (13)
    artificial intelligence
    (8)
    distributed systems
    (7)
    formal methods
    (7)
    modeling
    (7)
    distributedsystems
    (6)
    softwareengineering
    (6)
    computer communication networks
    (5)
    formalmethods
    (5)
    netzwerk (elektronisch)
    (5)
    software architecture
    (5)
    software engineering/programming and operating systems
    (5)
    verification
    (5)
    agent (edv) - agentensystem
    (4)
    agent-oriented software engineering
    (4)
    data security
    (4)
    dependability
    (4)
    dependable systems
    (4)
    dependablesystems
    (4)
    design
    (4)
    mda
    (4)
    agent-orientedsoftwareengineering
    (3)
    betriebssystem (edv)
    (3)
    component-based systems
    (3)
    component-basedsystems
    (3)
    concurrent systems
    (3)
    concurrentsystems
    (3)
    connectors
    (3)
    datasecurity
    (3)
    dependable computing
    (3)
    dependablecomputing
    (3)
    embedded systems
    (3)
    error handling
    (3)
    event-b
    (3)
    exception handling
    (3)
    intelligenz
    (3)
    ki
    (3)
    künstliche intelligenz
    (3)
    künstliche intelligenz - ai
    (3)
    language design
    (3)
    middleware
    (3)
    operating system
    (3)
    programmiersprachen
    (3)
    programming languages, compilers, interpreters
    (3)
    programming techniques
    (3)
    real-time systems
    (3)
    security
    (3)
    software evaluation
    (3)
    softwarearchitecture
    (3)
    system
    (3)
    theory of computation
    (3)
    validation
    (3)
    algorithmen und datenstrukturen
    (2)
    algorithms
    (2)
    allgemeines
    (2)
    artificialintelligence
    (2)
    attribut
    (2)
    certification
    (2)
    communication
    (2)
    compiler
    (2)
    complexity
    (2)
    computer networks
    (2)
    computer vision
    (2)
    computervision
    (2)
    concurrency
    (2)
    data structures and information theory
    (2)
    datensicherheit
    (2)
    datensicherung
    (2)
    deploy project
    (2)
    deployment
    (2)
    deployproject
    (2)
    distributed computing
    (2)
    distributedcomputing
    (2)
    embeddedsystems
    (2)
    engineering methods
    (2)
    engineeringmethods
    (2)
    errorhandling
    (2)
    exception
    (2)
    exception management
    (2)
    exceptionhandling
    (2)
    fault handling
    (2)
    fault tolerance
    (2)
    faulttolerance
    (2)
    formal method
    (2)
    formalmethod
    (2)
    industrial deployment
    (2)
    industrialdeployment
    (2)
    information
    (2)
    information systems applications (incl. internet)
    (2)
    internet
    (2)
    java
    (2)
    logics and meanings of programs
    (2)
    model checking
    (2)
    model driven architecture
    (2)
    model-checking
    (2)
    modeldrivenarchitecture
    (2)
    Erscheinungsjahr
    2001
    (1)
    2002
    (1)
    2003
    (1)
    2004
    (2)
    2005
    (2)
    2006
    (3)
    2007
    (2)
    2009
    (1)
    2010
    (1)
    2011
    (1)
    2013
    (2)
    2015
    (1)
    2016
    (1)
    2017
    (2)
    2019
    (3)
    Ergebnis: 24 Artikel
    Autor: romanovsky, alexander

    Datenschutz-Einstellungen