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
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
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
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
Hierarchische Petrinetze : Beiträge zur Theorie und formale Basis für zugehörige Werkzeuge
1992
Signatur: TVG1415
    Datensatz exportieren als...
  • BibTeX
Petri-Netze in der Steuerungstechnik
1. Aufl, 1988
Signatur: TVG1300
    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
Petri-Netze für Ingenieure : Modellbildung und Analyse diskret gesteuerter Systeme
1990
Signatur: TVG1384
    Datensatz exportieren als...
  • BibTeX
Coloured petri nets : modelling and validation of concurrent systems
2009
Signatur: TVG1685
    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
    Datensatz exportieren als...
  • BibTeX
Embedded core design with FPGAs. Buch
Embedded core design with FPGAs (Alle Bände)
2007
Signatur: TVE3734
    Datensatz exportieren als...
  • BibTeX
Control of discrete-event systems : automata and Petri net perspectives
Lecture notes in control and information sciences : 433 (Alle Bände)
2013
Signatur: TVG1724
    Datensatz exportieren als...
  • BibTeX
Run time reconfigurable co-emulation for hardware assisted functional verification and test of FPGA designs
Computing science
2007
Signatur: TVE3726
    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
Petri net algebra
Monographs in theoretical computer science
2001
Signatur: TVG1546
    Datensatz exportieren als...
  • BibTeX
The magic garden of George B and other logic puzzles
2015
Signatur: TVG1740
    Datensatz exportieren als...
  • BibTeX
Stochastic Petri nets : an introduction to the theory
2. ed, 2002
Signatur: TVG1732(2)
    Datensatz exportieren als...
  • BibTeX
Petrinetze : Modellierungstechnik, Analysemethoden, Fallstudien
Studium, Leitfäden der Informatik
1. Aufl, 2010
Signatur: TVG1693
    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
Petri-Netze : Grundlagen und Anwendungen
Hochschultaschenbuch
2. Aufl, 1996
Signatur: TVG1318(2)
    Datensatz exportieren als...
  • BibTeX
Petri-Netz-Bilder-Buch : (eine elementare Einführung in die beste bildliche Darstellung zeitlicher Veränderungen)
2002
Signatur: TVG1588
    Datensatz exportieren als...
  • BibTeX
Rechnergrundlagen : vom Rechenwerk zum Universalrechner ; mit 44 Tabellen, 11 Beispielen, 15 Aufgaben und einer CD-ROM
Informatik interaktiv
2003
Signatur: TUA3560
26 – 50 von 57
Suche als RSS-Feed
Aktive Filter
SchlagwortVerteiltes System
Suchergebnisse filtern
Filter anzeigen