Erscheinungsdatum
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
    • weitere Filter
    Autor
    Autor
    kreowski, hans-jörg
    (2)
    villar, eugenio
    (2)
    a.f.p van putten
    (1)
    berghammer, rudolf
    (1)
    bidoit, michel
    (1)
    clark, tony
    (1)
    henson, martin
    (1)
    jonathan p. bowen
    (1)
    king, steve
    (1)
    lakhnech, yassine
    (1)
    lescanne, pierre
    (1)
    michael g. hinchey
    (1)
    palanque, philippe
    (1)
    paterno, fabio
    (1)
    schneider, steve
    (1)
    till, david
    (1)
    tiuryn, jerzy
    (1)
    treharne, helen
    (1)
    warmer, jos
    (1)
    wolfgang reisig
    (1)
    Verlag / Hersteller
    Verlag / Hersteller
    springer berlin heidelberg
    (7)
    springer london
    (2)
    springer netherlands
    (2)
    Verlag
    Verlag
    springer berlin heidelberg
    (7)
    springer london
    (2)
    springer netherlands
    (2)
    Genre
    Genre
    mathematik
    (10)
    medizin
    (10)
    naturwissenschaften
    (10)
    technik
    (10)
    Schlagwort
    Schlagwort
    system specification
    (14)
    informatik
    (11)
    edv
    (10)
    systemspecification
    (10)
    software engineering
    (8)
    design
    (6)
    formal methods
    (6)
    language
    (6)
    development
    (5)
    programming
    (5)
    semantics
    (5)
    software
    (5)
    softwareengineering
    (5)
    verification
    (5)
    algorithms
    (4)
    formalmethods
    (4)
    modeling
    (4)
    theorie
    (4)
    formal specification
    (3)
    formal verification
    (3)
    formalspecification
    (3)
    software-entw.
    (3)
    system design
    (3)
    unified modeling language (uml)
    (3)
    algorithm
    (2)
    analog
    (2)
    c++ programming language
    (2)
    computer
    (2)
    debugging
    (2)
    distributed systems
    (2)
    electronics
    (2)
    elektronik
    (2)
    elektrotechnik
    (2)
    embedded system
    (2)
    embedded systems
    (2)
    formal method
    (2)
    formalverification
    (2)
    general
    (2)
    logic
    (2)
    mathematical logic and formal languages
    (2)
    mathematical logic and foundations
    (2)
    nachrichtentechnik
    (2)
    program analysis
    (2)
    programanalysis
    (2)
    programming language
    (2)
    programminglanguage
    (2)
    requirements engineering
    (2)
    requirementsengineering
    (2)
    schaltkreise und komponenten (bauteile)
    (2)
    signal
    (2)
    systemc
    (2)
    systemdesign
    (2)
    technik
    (2)
    technology & engineering
    (2)
    technology & industrial arts
    (2)
    theoretische informatik
    (2)
    transistor
    (2)
    uml
    (2)
    abst
    (1)
    ada
    (1)
    algebra
    (1)
    algebraische spezi
    (1)
    analogue electronic measurement
    (1)
    anforderungsanalyse
    (1)
    anforderungsanalysefo
    (1)
    animation
    (1)
    automata
    (1)
    b method
    (1)
    bipolar transistor
    (1)
    bmethod
    (1)
    c++programminglanguage
    (1)
    calculus
    (1)
    category theory
    (1)
    categorytheory
    (1)
    circuits
    (1)
    circuits and systems
    (1)
    communication
    (1)
    computer engineering and networks
    (1)
    computer hardware
    (1)
    computer science
    (1)
    computer systems organization and communication networks
    (1)
    computerhardware
    (1)
    computernetzwerke und maschinelle kommunikation
    (1)
    computers
    (1)
    concurrency
    (1)
    correct software design
    (1)
    correctsoftwaredesign
    (1)
    data structures
    (1)
    data structures and information theory
    (1)
    database management
    (1)
    datastructures
    (1)
    datenkommunikation
    (1)
    digital electronic measurement systems
    (1)
    distributed formalmethods
    (1)
    distributedsystems
    (1)
    electromagnetic compatibility
    (1)
    electronic m
    (1)
    embeddedsystem
    (1)
    embeddedsystems
    (1)
    enzyklopädie
    (1)
    Erscheinungsjahr
    Erscheinungsjahr
    1986
    (1)
    1991
    (1)
    1994
    (1)
    1996
    (1)
    1999
    (2)
    2000
    (1)
    2001
    (1)
    2002
    (1)
    2005
    (1)
    2008
    (1)
    2010
    (1)
    2011
    (1)
    2024
    (1)

    Datenschutz-Einstellungen