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
A structuring mechanism for Petri nets
1989
Signatur: D483
    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
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
Petri nets : an introduction
EATCS monographs on theoretical computer science : 4 (Alle Bände)
1985
Signatur: TVG1122-EN
    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
The mathematical theory of nonblocking switching networks
Series on applied mathematics : 11 (Alle Bände)
1999
Signatur: TVG1538
    Datensatz exportieren als...
  • BibTeX
Petrinetze : eine Einführung
Studienreihe Informatik
2., überarb. u. erw. Aufl., 2. unveränd. Nachdr, 1991
Signatur: TVG1122(2)
    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
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
Rechnergrundlagen : von der Binärlogik zum Schaltwerk ; mit 54 Tabellen, 70 Beispielen, 25 Aufgaben sowie einer CD-ROM
Informatik interaktiv
2003
Signatur: TUA3552
    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
Elements of distributed algorithms : modeling and analysis with Petri nets
1998
Signatur: TVG1512
    Datensatz exportieren als...
  • BibTeX
Äquivalenzuntersuchungen an diskreten Systemen im Petrinetz-Modell
1989
Signatur: D5774
1 – 25 von 47
Suche als RSS-Feed
Aktive Filter
Autor / AutorinBaumann, Konrad
Autor / AutorinJensen, Kurt
SchlagwortDigitale Steuerung
SchlagwortField programmable gate array
SchlagwortProzessalgebra
Suchergebnisse filtern
Filter anzeigen