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
Stochastic Petri nets : an introduction to the theory
2. ed, 2002
Signatur: TVG1732(2)
    Datensatz exportieren als...
  • BibTeX
The magic garden of George B and other logic puzzles
2015
Signatur: TVG1740
    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
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
Coloured petri nets : modelling and validation of concurrent systems
2009
Signatur: TVG1685
    Datensatz exportieren als...
  • BibTeX
Petri net algebra
Monographs in theoretical computer science
2001
Signatur: TVG1546
    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
    Datensatz exportieren als...
  • BibTeX
Embedded core design with FPGAs
McGraw-Hill electronic engineering
2007-
    Datensatz exportieren als...
  • BibTeX
A probabilistic theory of causality
Acta philosophica Fennica : 24 (Alle Bände)
1970
Signatur: M38129
    Datensatz exportieren als...
  • BibTeX
Verification and control of hybrid systems : a symbolic approach
2009
Signatur: TVG1716
    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
Synthese industrieller Steuerungen : kombinatorische Schaltungen, Speicherschaltungen, asynchrone sequentielle Schaltungen ; mit 29 Tabellen
1975
Signatur: TVG1075
    Datensatz exportieren als...
  • BibTeX
Protokollnetze : eine Verallgemeinerung des Prozeßbegriffs für Petrinetze
1997
Signatur: D11778
    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
Modelling with generalized stochastic Petri nets
Wiley series in parallel computing
1995
Signatur: TVG1465
    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
Embedded core design with FPGAs. CD-ROM
Embedded core design with FPGAs (Alle Bände)
2007
    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
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. 2
Coloured Petri nets (Alle Bände)
1995
Signatur: TVG1392-2
    Datensatz exportieren als...
  • BibTeX
Fluide stochastische Petri-Netze
1998
Signatur: D12214
    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
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
Synthese industrieller Steuerungen : kombinatorische Schaltungen, Speicherschaltungen, asynchrone sequentielle Schaltungen
1975
Signatur: TVG1075
1 – 25 von 28
Suche als RSS-Feed
Aktive Filter
Autor / AutorinBaumann, Konrad
SchlagwortDigitale Steuerung
SchlagwortField programmable gate array
SchlagwortPetri-Netz
Suchergebnisse filtern
Filter anzeigen