Serie
lecture notes in computer science
(19)
theoretical computer science and general issues
(8)
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    billington, jonathan
    (2)
    desel, jörg
    (2)
    kleijn, jetty
    (2)
    ajome marsan, marco
    (1)
    azema, pierre
    (1)
    balbo, gianfranco
    (1)
    chatain, thomas
    (1)
    ciardo, gianfranco
    (1)
    colom, josé-manuel
    (1)
    darondeau, philippe
    (1)
    donatelli, susanna
    (1)
    esparza, javier
    (1)
    haddad, serge
    (1)
    janicki, ryszard
    (1)
    jensen, kurt
    (1)
    kofron, jan
    (1)
    lakos, charles
    (1)
    mazzara, manuel
    (1)
    palsberg, jens
    (1)
    pomello, lucia
    (1)
    reisig, wolfgang
    (1)
    rozenberg, grzegorz
    (1)
    sidorova, natalia
    (1)
    silva, manuel
    (1)
    van der aalst, wil m. p.
    (1)
    vojnar, tomás
    (1)
    voronkov, andrei
    (1)
    yakovlev, alex
    (1)
    Verlag / Hersteller
    springer berlin heidelberg
    (14)
    springer international publishing
    (3)
    springer, berlin springer international publishing springer
    (2)
    Verlag
    springer
    (2)
    springer berlin heidelberg
    (14)
    springer international publishing
    (5)
    springer, berlin
    (2)
    Genre
    mathematik
    (19)
    medizin
    (19)
    naturwissenschaften
    (19)
    technik
    (19)
    Schlagwort
    colored petri nets
    (19)
    coloredpetrinets
    (19)
    edv
    (17)
    informatik
    (17)
    petrinets
    (9)
    theory of computation
    (9)
    model checking
    (8)
    modelchecking
    (8)
    petri net
    (8)
    software engineering
    (8)
    petri nets
    (7)
    petri-netz
    (7)
    petrinet
    (6)
    graphtheory
    (5)
    modeling
    (5)
    architecture verification and validation
    (4)
    architectureverificationandvalidation
    (4)
    artificial intelligence
    (4)
    artificialintelligence
    (4)
    calculus
    (4)
    computation by abstract devices
    (4)
    embeddedsystems
    (4)
    graph theory
    (4)
    softwareengineering
    (4)
    theorie
    (4)
    algorithms
    (3)
    architecting
    (3)
    computer communication networks
    (3)
    computer systems
    (3)
    computersystems
    (3)
    concurrency
    (3)
    concurrent systems
    (3)
    concurrentsystems
    (3)
    embedded systems
    (3)
    gefärbte petri-netze
    (3)
    gefärbtepetri-netze
    (3)
    logics and meanings of programs
    (3)
    operating systems
    (3)
    process mining
    (3)
    processmining
    (3)
    semantics
    (3)
    softwarearchitecture
    (3)
    stochastic petri nets
    (3)
    algebra
    (2)
    algorithmanalysisandproblemcomplexity
    (2)
    allgemeines
    (2)
    applications
    (2)
    automata
    (2)
    automata theory
    (2)
    automatatheory
    (2)
    computer networks
    (2)
    computer science
    (2)
    computernetworks
    (2)
    computerprogrammierung und softwareentwicklung
    (2)
    conference proceedings
    (2)
    data structures
    (2)
    data structures and information theory
    (2)
    databases
    (2)
    datastructures
    (2)
    discrete mathematics in computer science
    (2)
    distributed computing
    (2)
    distributed data processing
    (2)
    distributed systems
    (2)
    distributedcomputing
    (2)
    distributedsystems
    (2)
    flow charts
    (2)
    flowcharts
    (2)
    formal logic
    (2)
    formallogic
    (2)
    informatics
    (2)
    informationssystem
    (2)
    mathematical logic and foundations
    (2)
    mathematik
    (2)
    networking
    (2)
    operating system
    (2)
    petri net models
    (2)
    petri-netze
    (2)
    petrinetmodels
    (2)
    petrinetze
    (2)
    probability and statistics in computer science
    (2)
    processor architectures
    (2)
    program semantics
    (2)
    programming
    (2)
    programsemantics
    (2)
    research
    (2)
    software-entw.
    (2)
    softwaredesign
    (2)
    stochasticpetrinets
    (2)
    technik
    (2)
    timed petri nets
    (2)
    verification
    (2)
    verteiltes system
    (2)
    verteiltes system (edv)
    (2)
    visualization
    (2)
    action
    (1)
    adaptive reuse
    (1)
    adaptivereuse
    (1)
    agent-oriented
    (1)
    algebraic methods
    (1)
    algebraic specification
    (1)
    Erscheinungsjahr
    1992
    (1)
    1993
    (1)
    1996
    (1)
    1997
    (1)
    1998
    (1)
    1999
    (1)
    2002
    (1)
    2005
    (1)
    2007
    (1)
    2008
    (1)
    2009
    (1)
    2012
    (1)
    2013
    (1)
    2016
    (2)
    2020
    (1)
    2021
    (2)
    2022
    (1)
    Ergebnis: 19 Artikel
    Schlagwort: coloredpetrinets

    Datenschutz-Einstellungen