Zum Inhalt springen

Fleischhack, Hans [Verfasser:in]

P-superfairness in nets

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 ; 199206
Battige, Ulrich [Verfasser:in] ; Trauerschmidt, Heike [Sonstige Person, Familie und Körperschaft]; Fleischhack, Hans [Sonstige Person, Familie und Körperschaft]

Organisation und Betrieb von internationalen Studiengängen : am Beispiel von Masterstudiengängen in den Ingenieurwissenschaften an den Hochschulen Furtwangen und Bremen

Schließen

Merkliste

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

Furtwangen im Schwarzwald: Fachhochschule Furtwangen, 2004

Erschienen in: Bund-Länder-Kommission für Bildungsplanung und Forschungsförderung: BLK-Verbundprojekt Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik, BLK V2 ; 3
Fleischhack, Hans [Verfasser:in]; Grahlmann, Bernd [Verfasser:in]

A compositional Petri net semantics for SDL

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, 1997

Erschienen in: Hildesheimer Informatik-Berichte ; 97,18
Fleischhack, Hans [Verfasser:in]; Grahlmann, Bernd [Verfasser:in]

A Petri net semantics for B(PN)2 with procedures which allows verification

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,21
Fleischhack, Hans

Application and Theory of Petri Nets 1992: P-superfairness in nets

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 1992

Erschienen in: Application and Theory of Petri Nets 1992 (1992), Seite 193-204
Fleischhack, Hans; Pelz, Elisabeth

Applications and Theory of Petri Nets 2003: Hierarchical Timed High Level Nets and Their Branching Processes

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2003

Erschienen in: Applications and Theory of Petri Nets 2003 (2003), Seite 397-416
Fleischhack, Hans; Stehno, Christian

Application and Theory of Petri Nets 2002: Computing a Finite Prefix of a Time Petri Net

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2002

Erschienen in: Application and Theory of Petri Nets 2002 (2002), Seite 163-181
Bieber, Burkhard; Fleischhack, Hans

CONCUR’99 Concurrency Theory: Model Checking of Time Petri Nets Based on Partial Order Semantics

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 1999

Erschienen in: CONCUR’99 Concurrency Theory (1999), Seite 210-225
Fleischhack, Hans; Grahlmann, Bernd

Application and Theory of Petri Nets 1998: A Compositional Petri Net Semantics for SDL

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 1998

Erschienen in: Application and Theory of Petri Nets 1998 (1998), Seite 144-164
Fleischhack, Hans; Tapken, Josef

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods: An M-Net semantics for a real-time extension of µSDL

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 1997

Erschienen in: FME '97: Industrial Applications and Strengthened Foundations of Formal Methods (1997), Seite 162-181
Gronewold, Anja; Fleischhack, Hans

Fundamentals of Computation Theory: Computing Petri net languages by reductions

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 1995

Erschienen in: Fundamentals of Computation Theory (1995), Seite 253-262
Ambos-Spies, Klaus; Fleischhack, Hans; Huwig, Hagen

Lecture Notes in Computer Science: Diagonalizing over deterministic polynomial time

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 1988

Erschienen in: Lecture Notes in Computer Science (1988), Seite 1-16
Ambos-Spies, Klaus; Fleischhack, Hans; Huwig, Hagen

Diagonalizations over polynomial time computable sets

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Elsevier BV, 1987

Erschienen in: Theoretical Computer Science, 51 (1987) 1-2, Seite 177-204
Ambos-Spies, Klaus; Fleischhack, Hans; Huwig, Hagen

Automata, Languages and Programming: P-generic sets

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 1984

Erschienen in: Automata, Languages and Programming (1984), Seite 58-68
Eichner, Christoph; Fleischhack, Hans; Meyer, Roland; Schrimpf, Ulrik; Stehno, Christian

SDL 2005: Model Driven: Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2005

Erschienen in: SDL 2005: Model Driven (2005), Seite 133-148
Best, Eike; Fleischhack, Hans; Fraczak, Wojciech; Hopkins, Richard P.; Klaudel, Hanna; Pelz, Elisabeth

Lecture Notes in Computer Science: A class of composable high level Petri nets

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 1995

Erschienen in: Lecture Notes in Computer Science (1995), Seite 103-120
Simon, Arne; Völz, Sebastian; Reiffert, Soo-Mi; Bölefahr, Hans; Marklein, Günter; Büttner, Reinhard; Hepping, Nico; Bode, Udo; Fleischhack, Gudrun

Protracted Cervical Lymphadenitis With Mycobacterium avium and Methylobacterium mesophilicum

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Ovid Technologies (Wolters Kluwer Health), 2007

Erschienen in: Pediatric Infectious Disease Journal, 26 (2007) 10, Seite 971
Nowak-Göttl, Ulrike; Wermes, Cornelia; Junker, Ralf; Koch, Hans-Georg; Schobess, Rosmarie; Fleischhack, Gudrun; Schwabe, Dirk; Ehrenforth, Silke

Prospective Evaluation of the Thrombotic Risk in Children With Acute Lymphoblastic Leukemia Carrying the MTHFR TT 677 Genotype, the Prothrombin G20210A Variant, and Further Prothrombotic Risk Factors

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

American Society of Hematology, 1999

Erschienen in: Blood, 93 (1999) 5, Seite 1595-1599
Nowak-Göttl, Ulrike; Wermes, Cornelia; Junker, Ralf; Koch, Hans-Georg; Schobess, Rosmarie; Fleischhack, Gudrun; Schwabe, Dirk; Ehrenforth, Silke

Prospective Evaluation of the Thrombotic Risk in Children With Acute Lymphoblastic Leukemia Carrying the MTHFR TT 677 Genotype, the Prothrombin G20210A Variant, and Further Prothrombotic Risk Factors

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

American Society of Hematology, 1999

Erschienen in: Blood, 93 (1999) 5, Seite 1595-1599
Simon, Arne; Ammann, Roland A; Bode, Udo; Fleischhack, Gudrun; Wenchel, Hans-Martin; Schwamborn, Dorothee; Gravou, Chara; Schlegel, Paul-Gerhardt; Rutkowski, Stefan; Dannenberg, Claudia; Körholz, Dieter; Laws, Hans Jürgen; Kramer, Michael H

Healthcare-associated infections in pediatric cancer patients: results of a prospective surveillance study from university hospitals in Germany and Switzerland

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Science and Business Media LLC, 2008

Erschienen in: BMC Infectious Diseases, 8 (2008) 1

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