Treffer
1 - 6
von
6
für Suche '
Grahlmann, Bernd
'
Weiter zum Inhalt
VuFind
Zwischenablage:
0
in der Auswahl
(Voll)
Anmeldung über Ihre Einrichtung
Bootstrap
Reg_test
TUM
GatewayBayern
Rvk
reg_uni
Standard Theme
Mobile Theme
thws
Layout
Englisch
Deutsch
Sprache
OPAC
OPACplus
Stichwort
Titel
Verfasser
Schlagwort
Suchen
Erweitert
Suchergebnisse - Grahlmann, Bernd
Treffer
1 - 6
von
6
für Suche '
Grahlmann, Bernd
'
, Suchdauer: 0,41s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Verfasser
Titel
1
PEP — more than a Petri Net tool
von
Grahlmann, Bernd
,
Best, Eike
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
2
The PEP tool
von
Grahlmann, Bernd
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
3
Combining finite automata, parallel programs and SDL using Petri nets
von
Grahlmann, Bernd
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
4
The reference component of PEP
von
Grahlmann, Bernd
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
5
The State of PEP
von
Grahlmann, Bernd
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
6
A Compositional Petri Net Semantics for SDL
von
Fleischhack, Hans
,
Grahlmann, Bernd
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Zurück
Treffer weiter einschränken
Seite wird neu geladen, wenn Filter aktiviert oder ausgeschlossen wird.
Eingrenzen
Peer Reviewed
6 Treffer
6
Online Resources
6 Treffer
6
Format
Book Chapters
6 Treffer
6
Schlagworte
Pep
5 Treffer
5
Petri Nets
5 Treffer
5
B
4 Treffer
4
Computer Science
4 Treffer
4
Computer Science, Theory & Methods
4 Treffer
4
Science & Technology
4 Treffer
4
Technology
4 Treffer
4
Applied Sciences
3 Treffer
3
Computer Science; Control Theory; Systems
3 Treffer
3
Exact Sciences And Technology
3 Treffer
3
Model Checking
3 Treffer
3
Sdl
3 Treffer
3
Simulation
3 Treffer
3
Temporal Logic
3 Treffer
3
Parallel Finite Automata
2 Treffer
2
Parallel Programs
2 Treffer
2
Software
2 Treffer
2
Verification
2 Treffer
2
3D Visualisation
1 Treffer
1
Arq Protocol
1 Treffer
1
Erscheinungsjahr
Von:
Bis:
Quelle
Ingentaconnect
6 Treffer
6
Ebook Central Perpetual And Dda
2 Treffer
2
Ebooks On Ebscohost
2 Treffer
2
Springer Books
2 Treffer
2