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
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Petri-Netze für Ingenieure : Modellbildung und Analyse diskret gesteuerter Systeme
1990
Signatur: TVG1384
    Datensatz exportieren als...
  • BibTeX
Binary polynomial transforms and nonlinear digital filters
Monographs and textbooks in pure and applied mathematics : 191 (Alle Bände)
1. print, 1995
Signatur: TVG1449
    Datensatz exportieren als...
  • BibTeX
Mensch-Maschine-Schnittstellen elektronischer Geräte : Leitfaden für Design und Schaltungstechnik
1998
Signatur: YGY2212
    Datensatz exportieren als...
  • BibTeX
Petri-Netze : Grundlagen und Anwendungen
Hochschultaschenbuch
2. Aufl, 1996
Signatur: TVG1318(2)
    Datensatz exportieren als...
  • BibTeX
Stochastic Petri nets : an introduction to the theory
2. ed, 2002
Signatur: TVG1732(2)
    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
Petri net algebra
Monographs in theoretical computer science
2001
Signatur: TVG1546
    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
Protokollnetze : eine Verallgemeinerung des Prozeßbegriffs für Petrinetze
1997
Signatur: D11778
    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
Synthese industrieller Steuerungen : kombinatorische Schaltungen, Speicherschaltungen, asynchrone sequentielle Schaltungen
1975
Signatur: TVG1075
    Datensatz exportieren als...
  • BibTeX
Synthese industrieller Steuerungen : kombinatorische Schaltungen, Speicherschaltungen, asynchrone sequentielle Schaltungen ; mit 29 Tabellen
1975
Signatur: TVG1075
    Datensatz exportieren als...
  • BibTeX
Hierarchische Petrinetze : Beiträge zur Theorie und formale Basis für zugehörige Werkzeuge
1992
Signatur: TVG1415
    Datensatz exportieren als...
  • BibTeX
Petri nets for systems engineering : a guide to modeling, verification and applications ; with 9 tables
2003
Signatur: TVG1627
    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
Analog-to-digital and digital-to-analog conversion techniques
A Wiley-Interscience publication
2. ed, 1994
Signatur: TVG1033(2)
    Datensatz exportieren als...
  • BibTeX
Fluide stochastische Petri-Netze
1998
Signatur: D12214
    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
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
Coloured petri nets : modelling and validation of concurrent systems
2009
Signatur: TVG1685
    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
High level Petri nets : theory and application
1991
Signatur: TVG1376
    Datensatz exportieren als...
  • BibTeX
Coloured Petri nets : basic concepts, analysis methods and practical use. 1
Coloured Petri nets (Alle Bände)
1992
Signatur: TVG1392-1
    Datensatz exportieren als...
  • BibTeX
Coloured Petri nets : basic concepts, analysis methods and practical use
Monographs in theoretical computer science: an EATCS series
1992-
Signatur: TVG1392-...
    Datensatz exportieren als...
  • BibTeX
Dynamic analysis of Petri net-based discrete systems
Lecture notes in control and information sciences : 356 (Alle Bände)
2007
Signatur: TVG1651
1 – 25 von 59
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen