Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Synthese industrieller Steuerungen : kombinatorische Schaltungen, Speicherschaltungen, asynchrone sequentielle Schaltungen ; mit 29 Tabellen
1975
Signatur: TVG1075
    Datensatz exportieren als...
  • BibTeX
Synthese industrieller Steuerungen : kombinatorische Schaltungen, Speicherschaltungen, asynchrone sequentielle Schaltungen
1975
Signatur: TVG1075
    Datensatz exportieren als...
  • BibTeX
Proceedings of the Fifth International Workshop on Petri Nets and Performance Models : Toulouse, France, October 19 - 22, 1993
1993
Signatur: XVI931002
    Datensatz exportieren als...
  • BibTeX
Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
Informatik-Fachberichte : 197 (Alle Bände)
1989
Signatur: TVG1261
    Datensatz exportieren als...
  • BibTeX
Analog-to-digital and digital-to-analog conversion techniques
A Wiley-Interscience publication
2. ed, 1994
Signatur: TVG1033(2)
    Datensatz exportieren als...
  • BibTeX
Coloured Petri nets : basic concepts, analysis methods and practical use. 2
Coloured Petri nets (Alle Bände)
1995
Signatur: TVG1392-2
    Datensatz exportieren als...
  • BibTeX
A structuring mechanism for Petri nets
1989
Signatur: D483
    Datensatz exportieren als...
  • BibTeX
Protokollnetze : eine Verallgemeinerung des Prozeßbegriffs für Petrinetze
1997
Signatur: D11778
    Datensatz exportieren als...
  • BibTeX
Approximate analysis methods for stochastic process algebras
1998
Signatur: D12298
    Datensatz exportieren als...
  • BibTeX
Embedded core design with FPGAs. CD-ROM
Embedded core design with FPGAs (Alle Bände)
2007
    Datensatz exportieren als...
  • BibTeX
Entwicklung einer Methode zur parallelen verteilten ereignisgesteuerten Simulation von stochastischen Petri-Netzen : = Developing a method for parallel distributed event simulation of stochastic Petri nets
Berichte aus der Informatik
2002
Signatur: TVG1570
    Datensatz exportieren als...
  • BibTeX
Fluide stochastische Petri-Netze
1998
Signatur: D12214
    Datensatz exportieren als...
  • BibTeX
Solving higher order equations : from logic to programming
Progress in theoretical computer science : 19 (Alle Bände)
1998
Signatur: TVG1601
    Datensatz exportieren als...
  • BibTeX
The mathematics of petri nets
1. [Dr.], 1990
Signatur: TVG1326
    Datensatz exportieren als...
  • BibTeX
Nets, terms and formulas : three views of concurrent processes and their relationship
Cambridge tracts in theoretical computer science : 23 (Alle Bände)
1991
Signatur: TVG1368
    Datensatz exportieren als...
  • BibTeX
The mathematical theory of nonblocking switching networks
Series on applied mathematics : 11 (Alle Bände)
1999
Signatur: TVG1538
    Datensatz exportieren als...
  • BibTeX
Erweiterung von Petri-Netzen für den Einsatz in der Wissensverarbeitung
1995
Signatur: D11427
    Datensatz exportieren als...
  • BibTeX
Embedded core design with FPGAs
McGraw-Hill electronic engineering
2007-
    Datensatz exportieren als...
  • BibTeX
High level Petri nets : theory and application
1991
Signatur: TVG1376
    Datensatz exportieren als...
  • BibTeX
Nonsequential processes : a Petri net view
EATCS monographs on theoretical computer science : 13 (Alle Bände)
1988
Signatur: TVG1237
    Datensatz exportieren als...
  • BibTeX
Modelling with generalized stochastic Petri nets
Wiley series in parallel computing
1995
Signatur: TVG1465
    Datensatz exportieren als...
  • BibTeX
Petri-Netze aus der Sicht des Ingenieurs
1980
Signatur: TVG1148
    Datensatz exportieren als...
  • BibTeX
Programmierung einer Klasse von Multiprozessorsystemen mit höheren Petri-Netzen
Hochschultexte Informatik : 3 (Alle Bände)
1988
Signatur: TVG1245
    Datensatz exportieren als...
  • BibTeX
A probabilistic theory of causality
Acta philosophica Fennica : 24 (Alle Bände)
1970
Signatur: M38129
    Datensatz exportieren als...
  • BibTeX
Petri nets for systems engineering : a guide to modeling, verification and applications ; with 9 tables
2003
Signatur: TVG1627
1 – 25 von 45
Suche als RSS-Feed
Aktive Filter
Autor / AutorinReisig, Wolfgang
SchlagwortComputerarchitektur
SchlagwortEntscheidbarkeit
SchlagwortField programmable gate array
SchlagwortGefärbtes Petri-Netz
Suchergebnisse filtern
Filter anzeigen