Zum Inhalt springen

Best, Eike [Sonstige Person, Familie und Körperschaft]

A class of composable high level Petri nets

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Hildesheim: Institut für Informatik, 1995

Erschienen in: Hildesheimer Informatik-Berichte ; 95,10
Best, Eike [Sonstige Person, Familie und Körperschaft] ; Universität Hildesheim Institut für Informatik

First-year results of the Esprit Basic Research WG 6067 CALIBAN (Causal Calculi Based on Nets)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Hildesheim: Inst. für Informatik, 1993

Erschienen in: Hildesheimer Informatik-Berichte ; 199311
Best, Eike [HerausgeberIn]

PEP: Programming Environment Based on Petri Nets : Workshop, October 11-12, 1994, Berlin; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Hildesheim: Inst. für Informatik, 1995

Erschienen in: Hildesheimer Informatik-Berichte ; 95,14
Best, Eike [HerausgeberIn] ; CONCUR 4 1993 Hildesheim

Proceedings / CONCUR '93

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1993

Erschienen in: Lecture notes in computer science ; 715
Best, Eike [HerausgeberIn] ; Universität Hildesheim Institut für Informatik

What good are partial orders? : Procceedings of a workshop, Sheffield June (1992)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Hildesheim, 1992

Erschienen in: Hildesheimer Informatik-Berichte ; 92,13
Best, Eike [HerausgeberIn] ; Workshop on Concurrency and Compositionality 3 1991 Goslar, Universität Hildesheim Institut für Informatik

3rd Workshop on Concurrency and Compositionality : Goslar, March 5 - 8, 1991

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Sankt Augustin: GMD, 1991

Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: GMD-Studien ; 19100 - Hildesheimer Informatik-Berichte ; 91600
Best, Eike [HerausgeberIn] ; Europäische Kommission Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie

Design methods based on nets : DEMON

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Sankt Augustin: GMD, 19XX-

Erschienen in: GMD-Studien ; .
Best, Eike [VerfasserIn]

A memory module specification using composable high level Petri nets

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Hildesheim: Inst. für Informatik, 1996

Erschienen in: Hildesheimer Informatik-Berichte ; 96,19
Best, Eike [VerfasserIn]

Partial order verification with PEP

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Hildesheim: Inst. für Informatik, 1996

Erschienen in: Hildesheimer Informatik-Berichte ; 96,26
Best, Eike [VerfasserIn]

Semantik : Theorie sequentieller und paralleler Programmierung

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Braunschweig; Wiesbaden: Vieweg, 1995

Erschienen in: Lehrbücher Informatik
Best, Eike [VerfasserIn]

Esprit basic research action 3148 DEMON (design methods based on nets) : aims, scope and achievements

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Hildesheim: Univ., Inst. für Informatik, 1992

Erschienen in: Hildesheimer Informatik-Berichte ; 92,5
Best, Eike [VerfasserIn]

Kausale Semantik nichtsequentieller Programme

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

München; Wien: Oldenbourg, 1989

Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 174
Best, Eike [VerfasserIn]

Overview of the results of the ESPRIT Basic Research Action 3148 : DEMON, Design Methods Based on Nets

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Hildesheim: Univ., 1991

Erschienen in: Hildesheimer Informatik-Berichte ; 91,10
Best, Eike [VerfasserIn]; Thielke, Thomas [VerfasserIn]

Coloured nets with curry

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Hildesheim: Inst. für Informatik, 1996

Erschienen in: Hildesheimer Informatik-Berichte ; 96,10
Best, Eike [VerfasserIn]; Koutny, Maciej [VerfasserIn]

Operational and denotational semantics for the box algebra

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Hildesheim: Institut für Informatik, 1995

Erschienen in: Hildesheimer Informatik-Berichte ; 95,33
Best, Eike [VerfasserIn]; Koutny, Maciej [VerfasserIn]

A refined view of the box algebra

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Hildesheim: Institut für Informatik, 1995

Erschienen in: Hildesheimer Informatik-Berichte ; 95,9
Best, Eike [VerfasserIn]; Esparza, Javier [VerfasserIn]

Model checking of persistent petri nets

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Hildesheim: Inst. für Informatik, 1991

Erschienen in: Hildesheimer Informatik-Berichte ; 91,11
Best, Eike [VerfasserIn]; Fernández, César [VerfasserIn]

Nonsequential processes : a Petri net view

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1988

Erschienen in: European Association for Theoretical Computer Science: EATCS monographs on theoretical computer sciences ; 13
Best, Eike [VerfasserIn]; Devillers, Raymond [VerfasserIn]

Concurrent behaviour : sequences, processes and programming languages

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

St. Augustin [u.a.]: Ges. für Mathematik u. Datenverarbeitung, 1985

Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: GMD-Studien ; 9900
Best, Eike [VerfasserIn]; Hopkins, Richard P. [VerfasserIn] ; Hopkins, Richard Pinder [Sonstige Person, Familie und Körperschaft] Universität Hildesheim Institut für Informatik

B(PN)2 - a basic Petri net programming notation

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Hildesheim: Inst. für Informatik, Univ., 1992

Erschienen in: Hildesheimer Informatik-Berichte ; 199227

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr