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
Verification and control of hybrid systems : a symbolic approach
2009
Signatur: TVG1716
    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
Systementwurf mit Netzen
Springer compass
1985
Signatur: TVG1198
    Datensatz exportieren als...
  • BibTeX
A probabilistic theory of causality
Acta philosophica Fennica : 24 (Alle Bände)
1970
Signatur: M38129
    Datensatz exportieren als...
  • BibTeX
Petri-Netze in der Steuerungs- und Digitaltechnik
1988
Signatur: TVG1279
    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
Analyse von Petri-Netz-Modellen
Leitfäden und Monographien der Informatik
1990
Signatur: TVG1342
    Datensatz exportieren als...
  • BibTeX
Logikbausteine
Vogel-Fachbuch : Elektronik-Praxis
1. Aufl, 2002
Signatur: TVG1596
    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
Control using logic based switching
Lecture notes in control and information sciences : 222 (Alle Bände)
1997
Signatur: TVG1473
    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
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
1 – 25 von 54
Suche als RSS-Feed
Aktive Filter
Autor / AutorinJensen, Kurt
Suchergebnisse filtern
Filter anzeigen