Suche in der Hochschulbibliografie
Fakultät / Sonst. Einrichtungen
Keine Eingrenzung
Fakultät I - Bildungs- und Sozialwissenschaften
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Fakultät III - Sprach- und Kulturwissenschaften
Fakultät IV - Human- und Gesellschaftswissenschaften
Fakultät V - Mathematik und Naturwissenschaften
Fakultät VI - Medizin und Gesundheitswissenschaften
Sonstige Einrichtungen
Institut / Einrichtungen
Keine Eingrenzung
Fach / AG / Einrichtung
Keine Eingrenzung
Jahr
Titel
Person
Suchen
Suche nach:
Person (Universität Oldenburg) = '
Best, Eike ((DE-588)1021355593)
'
Treffer 61-70 von 79
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 7 von 8
Alle Titel auf dieser Seite auswählen
Ausgewählte Titel exportieren
Alle Titel exportieren
:
[ Export-Format auswählen ]
EndNote Web
EndNote
RIS
BibTeX
MS Excel
COinS
OK
Alle Details anzeigen
Ergebnisse eingrenzen
nach Schlagwort:
Algebraische Rekursionstheorie (1)
Algorithmus (1)
Artificial intelligence (1)
Computer Science (2)
Computer logic (1)
Computer simulation (1)
Endlicher Automat (1)
Halbgeordnete Menge (1)
Invariantentheorie (1)
Machine theory (2)
Mathematical logic (1)
Nebenläufigkeit (3)
Operationale Semantik (1)
Parallel processing (Electronic computers) (1)
Petri nets (3)
Petri-Box (1)
Petri-Netz (6)
Prozessalgebra (1)
Software engineering (1)
Synthese (2)
Theoretische Informatik (1)
Transitionssystem (2)
nach Person:
Aalst, Wil <<van der>> (1)
Aalst, Wil van der (1)
Barylska, Kamila (4)
Best, Eike (79)
Bieber, Burkhard (1)
Boer, Frank S. de (1)
Burchard, Heiko (1)
Darondeau, Philippe (8)
Darondeau, Phillipe (1)
Desel, Jörg (1)
Devillers, Raymond (23)
Devillers, Raymond R (1)
Erofeev, Evgeny (7)
Esparza, Javier (3)
Fernández C., César (1)
Fleischhack, Hans (2)
Fraczak, Wojciech (1)
Frączak, Wojciech (1)
Gorrieri, Roberto (1)
Grahlmann, Bernd (1)
Gribovskaja, Nataliya S (1)
Gribovskaya, Nataliya (1)
Gribovskaya, Natalya (1)
Hackmann, André (1)
Hopkins, Richard P (2)
Hujsa, Thomas (1)
Kiss-Iakab, Kinga (1)
Klaudel, Hanna (2)
Koutny, Maciej (9)
Kretschmann, Ernst (1)
Kühnapfel, Stefan (1)
Lavrov, Alexander A (2)
Mikulski, Lukasz (1)
Mikulski, Łukasz (1)
Oshevskaya, Elena S (2)
Palamidessi, Catuscia (1)
Pelz, Elisabeth (3)
Piatkowski, Marcin (1)
Piątkowski, Marcin (1)
Pomello, Lucia (1)
Rakow, Astrid (2)
Rensink, Arend (1)
Schlachter, Uli (8)
Silva, Manual (1)
Spreckels, Valentin (1)
Stehno, Christian (1)
Strecker, Kerstin (1)
Teruel, Enrique (1)
Theel, Oliver (1)
Thielke, Thomas (2)
Virbickajte, Irina B (1)
Virbiskaite, Irina (2)
Virbitskaite, Irina (2)
Wimmel, Harro (9)
Wolf, Karsten (1)
nach Medientyp:
Artikel (65)
Bücher (13)
E-Books (3)
61
49GBVUOB_ALMA21237054250003501
49GBVUOB_ALMA21237054250003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237054250003501
Artikel
Reducing k-safe petri nets to pomset-equivalent 1-safe petri nets
von
Eike Best ; Harro Wimmel
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wimmel, Harro
Best, Eike
Enthalten in:
Application and theory of Petri nets 2000 Berlin [u.a.], 2000 S. 63 - 82
Sprache:
Englisch
>> Volltext
62
49GBVUOB_ALMA21236430790003501
49GBVUOB_ALMA21236430790003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236430790003501
Artikel
Simulation of DNA-computing
von
Eike Best ; Heiko Burchard ; Hans Fleischhack ; André Hackmann ; Stefan Kühnapfel ; Ernst Kretschmann ; Astrid Rakow
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fleischhack, Hans
Rakow, Astrid
Best, Eike
Enthalten in:
DNA computing Berlin, 2000 S. 249
Sprache:
Englisch
>> Volltext
63
49GBVUOB_ALMA21180406010003501
49GBVUOB_ALMA21180406010003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21180406010003501
Buch
Komplexität von Algorithmen : Vorlesungen im Wintersemester 1996/97 und im Wintersemester 1998/99
von
Eike Best
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Best, Eike
Verlag:
Oldenburg: Univ.
Umfang:
93 S graph. Darst.
Notation:
inf 520
Sprache:
Deutsch
64
49GBVUOB_ALMA21236823780003501
49GBVUOB_ALMA21236823780003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236823780003501
Artikel
Operational and denotational semantics for the box algebra
von
Maciej Koutny ; Eike Best
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Best, Eike
Enthalten in:
Theoretical computer science 211 (1999), S. [1] - 83
Sprache:
Englisch
65
49GBVUOB_ALMA21236151090003501
49GBVUOB_ALMA21236151090003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236151090003501
Artikel
The box algebra : a model of nets and process expressions
von
Eike Best ; Raymond Devillers ; Maciej Koutny
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Best, Eike
Enthalten in:
Applications and theory of Petri nets 1999 Berlin [u.a.], 1999 S. 344 - 363
Sprache:
Englisch
>> Volltext
66
49GBVUOB_ALMA21236914790003501
49GBVUOB_ALMA21236914790003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236914790003501
Artikel
Weak and strong composition of high-level Petri nets
von
Eike Best ; Alexander A. Lavrov
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Lavrov, Alexander A. ([1998-2000])
Best, Eike
Enthalten in:
Concurrency theory Berlin [u.a.], 1999 S. 194 - 209
Sprache:
Englisch
67
49GBVUOB_ALMA71236713520003501
49GBVUOB_ALMA71236713520003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71236713520003501
Artikel
Generalised composition operations for high-level petri nets
von
Eike Best ; Alexander A. Lavrov
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Lavrov, Alexander A. ([1998-2000])
Best, Eike
Enthalten in:
Fundamenta informaticae 40 (1999), S. 125 - 163
Sprache:
Englisch
>> Volltext
68
49GBVUOB_ALMA21236832440003501
49GBVUOB_ALMA21236832440003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236832440003501
Artikel
Petri nets, process algebras and concurrent programming languages
von
Eike Best ; Raymond Devillers ; Maciej Koutny
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Best, Eike
Enthalten in:
Lectures on Petri nets Berlin [u.a.] 2 (1998), S. [1] - 84
Sprache:
Englisch
>> Volltext
69
49GBVUOB_ALMA21236896470003501
49GBVUOB_ALMA21236896470003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236896470003501
Artikel
M-nets : an algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages
von
Eike Best ; Wojciech Fraczak ; Richard P. Hopkins ; Hanna Klaudel ; Elisabeth Pelz
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Best, Eike
Enthalten in:
Acta informatica 35 (1998), S. 813 - 857
Sprache:
Englisch
70
49GBVUOB_ALMA21236822220003501
49GBVUOB_ALMA21236822220003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236822220003501
Artikel
Partial order verification with PEP
von
Eike Best
1997
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Best, Eike
Enthalten in:
Partial order methods in verification Providence, RI, 1997 S. 305 - 328
Sprache:
Englisch
>> Volltext
Seite 7 von 8