UB Paderborn / Katalog / Suche / im Katalog

1 – 11 von 11

Sortiert nach

Approximate analysis methods for stochastic process algebras

Mertsiotakis, Vassilios

1998

Signatur: D12298

Äquivalenzuntersuchungen an diskreten Systemen im Petrinetz-Modell

Kosack, Peter

1989

Signatur: D5774

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

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

Röbbecke, Michael

1995

Signatur: D11427

The finite representation of abstract programs by automata and Petri nets

Taubner, Dirk A

1988

Signatur: D460

Fluide stochastische Petri-Netze

Horton, Graham

1998

Signatur: D12214

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

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

Czernik, Sofie

1997

Signatur: D11778

Solving higher order equations : from logic to programming

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

Prehofer, Christian

1998

Signatur: TVG1601

A structuring mechanism for Petri nets

Kiehn, Astrid

1989

Signatur: D483

1 – 11 von 11

Suche als RSS-Feed

Aktive Filter

SchlagwortAlgebraische Rekursionstheorie

SchlagwortComputerarchitektur

SchlagwortField programmable gate array

Art des InhaltsHochschulschrift (Sonstige)

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(11)

Autor / Autorin

6 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(11)

Schlagwort

Petri-Netz
(6)
Parallelverarbeitung
(2)
Automatentheorie
(1)
Automatisches Beweisverfahren
(1)
Datenfluss
(1)
Deklarative Programmierung
(1)
Diskretes Ereignissystem
(1)
Ereignisgesteuertes System
(1)
Formale Sprache
(1)
Funktional-logische Programmiersprache
(1)
Gleichungstheorie
(1)
Lambda-Kalkül
(1)
Mehrprozessorsystem
(1)
Paralleler Prozess
(1)
Prädikatenlogik
(1)
Simulation
(1)
Stochastisches Petri-Netz
(1)
Stufe n
(1)
Verteiltes System
(1)
Wissensverarbeitung
(1)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(5)
Deutsch
(5)

Systemstelle

TVG
(11)

Menü

Weitere Dienste

Einstellungen

Approximate analysis methods for stochastic process algebras

Äquivalenzuntersuchungen an diskreten Systemen im Petrinetz-Modell

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

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

The finite representation of abstract programs by automata and Petri nets

Fluide stochastische Petri-Netze

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

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

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

Solving higher order equations : from logic to programming

A structuring mechanism for Petri nets

Aktive Filter

Suchergebnisse filtern