UB Paderborn / Katalog / Suche / im Katalog

1 – 12 von 12

Sortiert nach

A structuring mechanism for Petri nets

Kiehn, Astrid

1989

Signatur: D483

Protokollnetze : eine Verallgemeinerung des Prozeßbegriffs für Petrinetze

Czernik, Sofie

1997

Signatur: D11778

Approximate analysis methods for stochastic process algebras

Mertsiotakis, Vassilios

1998

Signatur: D12298

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

Bayarou, Kpatcha M

2002

Signatur: TVG1570

Fluide stochastische Petri-Netze

Horton, Graham

1998

Signatur: D12214

Solving higher order equations : from logic to programming

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

Prehofer, Christian

1998

Signatur: TVG1601

Erweiterung von Petri-Netzen für den Einsatz in der Wissensverarbeitung

Röbbecke, Michael

1995

Signatur: D11427

Hierarchische Petrinetze : Beiträge zur Theorie und formale Basis für zugehörige Werkzeuge

Fehling, Rainer

1992

Signatur: TVG1415

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

Hochschultexte Informatik : 3 (Alle Bände)

Hartung, Carl Georg

1988

Signatur: TVG1245

Run time reconfigurable co-emulation for hardware assisted functional verification and test of FPGA designs

Computing science

Siripokarpirom, Rawat

2007

Signatur: TVE3726

Äquivalenzuntersuchungen an diskreten Systemen im Petrinetz-Modell

Kosack, Peter

1989

Signatur: D5774

The finite representation of abstract programs by automata and Petri nets

Taubner, Dirk A

1988

Signatur: D460

1 – 12 von 12

Suche als RSS-Feed

Aktive Filter

Art des InhaltsHochschulschrift (Sonstige)

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(12)

Autor / Autorin

7 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(12)

Schlagwort

Petri-Netz
(6)
Parallelverarbeitung
(2)
Automatentheorie
(1)
Automatisches Beweisverfahren
(1)
Datenfluss
(1)
Deklarative Programmierung
(1)
Diskretes Ereignissystem
(1)
Ereignisgesteuertes System
(1)
Field programmable gate array
(1)
Formale Sprache
(1)
Funktional-logische Programmiersprache
(1)
Gleichungstheorie
(1)
Hardware-in-the-loop
(1)
Hardwareverifikation
(1)
Lambda-Kalkül
(1)
Logiksynthese
(1)
Mehrprozessorsystem
(1)
Paralleler Prozess
(1)
Prädikatenlogik
(1)
Rekonfiguration
(1)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(6)
Deutsch
(5)

Systemstelle

TVG
(12)
TVE
(1)
YGQ
(1)

Menü

Weitere Dienste

Einstellungen

A structuring mechanism for Petri nets

Protokollnetze : eine Verallgemeinerung des Prozeßbegriffs für Petrinetze

Approximate analysis methods for stochastic process algebras

Entwicklung einer Methode zur parallelen verteilten ereignisgesteuerten Simulation von stochastischen Petri-Netzen : = Developing a method for parallel distributed event simulation of stochastic Petri nets

Fluide stochastische Petri-Netze

Solving higher order equations : from logic to programming

Erweiterung von Petri-Netzen für den Einsatz in der Wissensverarbeitung

Hierarchische Petrinetze : Beiträge zur Theorie und formale Basis für zugehörige Werkzeuge

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

Run time reconfigurable co-emulation for hardware assisted functional verification and test of FPGA designs

Äquivalenzuntersuchungen an diskreten Systemen im Petrinetz-Modell

The finite representation of abstract programs by automata and Petri nets

Aktive Filter

Suchergebnisse filtern