UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 59

Sortiert nach

Coloured Petri nets : basic concepts, analysis methods and practical use. 1

Coloured Petri nets (Alle Bände)

Jensen, Kurt

1992

Signatur: TVG1392-1

Embedded core design with FPGAs. Buch

Embedded core design with FPGAs (Alle Bände)

Navabi, Zainalabedin

2007

Signatur: TVE3734

Coloured Petri nets : basic concepts, analysis methods and practical use. 2

Coloured Petri nets (Alle Bände)

Jensen, Kurt

1995

Signatur: TVG1392-2

Embedded core design with FPGAs. CD-ROM

Embedded core design with FPGAs (Alle Bände)

Navabi, Zainalabedin

2007

Programmierung einer Klasse von Multiprozessorsystemen mit höheren Petri-Netzen

Hochschultexte Informatik : 3 (Alle Bände)

Hartung, Carl Georg

1988

Signatur: TVG1245

Petri nets : an introduction

EATCS monographs on theoretical computer science : 4 (Alle Bände)

Reisig, Wolfgang

1985

Signatur: TVG1122-EN

The mathematical theory of nonblocking switching networks

Series on applied mathematics : 11 (Alle Bände)

Hwang, Frank K

1999

Signatur: TVG1538

Nonsequential processes : a Petri net view

EATCS monographs on theoretical computer science : 13 (Alle Bände)

1988

Signatur: TVG1237

Solving higher order equations : from logic to programming

Progress in theoretical computer science : 19 (Alle Bände)

Prehofer, Christian

1998

Signatur: TVG1601

Nets, terms and formulas : three views of concurrent processes and their relationship

Cambridge tracts in theoretical computer science : 23 (Alle Bände)

Olderog, Ernst-Rüdiger

1991

Signatur: TVG1368

A probabilistic theory of causality

Acta philosophica Fennica : 24 (Alle Bände)

Suppes, Patrick

1970

Signatur: M38129

Binary polynomial transforms and nonlinear digital filters

Monographs and textbooks in pure and applied mathematics : 191 (Alle Bände)

1. print, 1995

Signatur: TVG1449

Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen

Informatik-Fachberichte : 197 (Alle Bände)

1989

Signatur: TVG1261

Control using logic based switching

Lecture notes in control and information sciences : 222 (Alle Bände)

Morse, A. Stephen[Herausgeber]

1997

Signatur: TVG1473

Dynamic analysis of Petri net-based discrete systems

Lecture notes in control and information sciences : 356 (Alle Bände)

Karatkevich, Andrei

2007

Signatur: TVG1651

Control of discrete-event systems : automata and Petri net perspectives

Lecture notes in control and information sciences : 433 (Alle Bände)

Seatzu, Carla[Herausgeber]

2013

Signatur: TVG1724

Verification and control of hybrid systems : a symbolic approach

Tabuada, Paulo

2009

Signatur: TVG1716

A structuring mechanism for Petri nets

Kiehn, Astrid

1989

Signatur: D483

Synthese industrieller Steuerungen : kombinatorische Schaltungen, Speicherschaltungen, asynchrone sequentielle Schaltungen ; mit 29 Tabellen

1975

Signatur: TVG1075

Synthese industrieller Steuerungen : kombinatorische Schaltungen, Speicherschaltungen, asynchrone sequentielle Schaltungen

1975

Signatur: TVG1075

Proceedings of the Fifth International Workshop on Petri Nets and Performance Models : Toulouse, France, October 19 - 22, 1993

International Workshop on Petri Nets and Performance Models

1993

Signatur: XVI931002

Analog-to-digital and digital-to-analog conversion techniques

A Wiley-Interscience publication

Hoeschele, David F

2. ed, 1994

Signatur: TVG1033(2)

Systementwurf mit Netzen

Springer compass

Reisig, Wolfgang

1985

Signatur: TVG1198

Petri-Netze in der Steuerungs- und Digitaltechnik

1988

Signatur: TVG1279

Coloured Petri nets : basic concepts, analysis methods and practical use

Monographs in theoretical computer science: an EATCS series

Jensen, Kurt

1992-

Signatur: TVG1392-...

1 – 25 von 59

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(59)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(59)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(29)
Deutsch
(23)

Systemstelle

TVG
(59)
TVE
(5)
YGQ
(4)
TUA
(2)
HIN
(1)
HKO
(1)
HLD
(1)
TBP
(1)
TVI
(1)
TVV
(1)
TWG
(1)
WFM
(1)
XVI
(1)
YCG
(1)
YGY
(1)

10 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Coloured Petri nets : basic concepts, analysis methods and practical use. 1

Embedded core design with FPGAs. Buch

Coloured Petri nets : basic concepts, analysis methods and practical use. 2

Embedded core design with FPGAs. CD-ROM

Programmierung einer Klasse von Multiprozessorsystemen mit höheren Petri-Netzen

Petri nets : an introduction

The mathematical theory of nonblocking switching networks

Nonsequential processes : a Petri net view

Solving higher order equations : from logic to programming

Nets, terms and formulas : three views of concurrent processes and their relationship

A probabilistic theory of causality

Binary polynomial transforms and nonlinear digital filters

Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen

Control using logic based switching

Dynamic analysis of Petri net-based discrete systems

Control of discrete-event systems : automata and Petri net perspectives

Verification and control of hybrid systems : a symbolic approach

A structuring mechanism for Petri nets

Synthese industrieller Steuerungen : kombinatorische Schaltungen, Speicherschaltungen, asynchrone sequentielle Schaltungen ; mit 29 Tabellen

Synthese industrieller Steuerungen : kombinatorische Schaltungen, Speicherschaltungen, asynchrone sequentielle Schaltungen

Proceedings of the Fifth International Workshop on Petri Nets and Performance Models : Toulouse, France, October 19 - 22, 1993

Analog-to-digital and digital-to-analog conversion techniques

Systementwurf mit Netzen

Petri-Netze in der Steuerungs- und Digitaltechnik

Coloured Petri nets : basic concepts, analysis methods and practical use

Suchergebnisse filtern