Website der UB
|
Impressum
|
Datenschutzerklärung
|
Drucken
|
Startseite
Stöbern
Volltexte
Universitätsbibliographie
Statistik
Über MADOC
Hilfe
Kontakt
Login
Erweiterte Suche
Zurück zur Übersicht
Exportieren als
ASCII Citation
BibTeX
CSL JSON
Dublin Core
Dublin Core SFX
EP3 XML
EndNote
HTML Citation
JSON
MARC21 XML
Multiline CSV
Office Document
Reference Manager
RSS 1.0
RSS 2.0
Zitation
Gruppieren nach:
Erscheinungsjahr
|
Autoren
|
Keine Sortierung
Anzahl der Einträge:
9
.
Mittal, Neeraj
;
Phaneesh, Kuppahalli L.
;
Freiling, Felix
(2009)
Safe termination detection in an asynchronous distributed system when processes may crash and recover.
Theoretical Computer Science Amsterdam [u.a.] 410 6/7 614-628 [Zeitschriftenartikel]
Majster-Cederbaum, Mila
;
Salger, Frank
(2004)
Towards the Hierarchical Development of Reactive Systems.
Theoretical Computer Science Berlin [u.a.] 318 3 243-296 [Zeitschriftenartikel]
Majster-Cederbaum, Mila
(2001)
Underspecification for a simple process algebra of recursive processes.
Theoretical Computer Science Amsterdam [u.a.] 266 1/2 935-950 [Zeitschriftenartikel]
Hofmeister, Thomas
;
Krause, Matthias
;
Simon, Hans Ulrich
(2000)
Contrast-optimal k out of n secret sharing schemes in visual cryptography.
Theoretical Computer Science Amsterdam [u.a.] 240 2 471-485 [Zeitschriftenartikel]
Krause, Matthias
;
Pudlák, Pavel
(1997)
On the computational power of depth 2 circuits with threshold and modulo gates.
Theoretical Computer Science Amsterdam [u.a.] 174 1/2 137-156 [Zeitschriftenartikel]
Baier, Christel
(1997)
Trees and Semantics.
Theoretical Computer Science Amsterdam [u.a.] 179 1/2 217-250 [Zeitschriftenartikel]
Majster-Cederbaum, Mila
;
Baier, Christel
(1996)
Metric Completion versus Ideal Completion.
Theoretical Computer Science Dordrecht [u.a.] 170 1/2 145-171 [Zeitschriftenartikel]
Krause, Matthias
(1996)
Geometric arguments yield better bounds for threshold circuits and distributed computing.
Theoretical Computer Science Amsterdam [u.a.] 156 1/2 99-117 [Zeitschriftenartikel]
Krause, Matthias
;
Meinel, Christoph
;
Waack, Stephan
(1991)
Separating the eraser Turing machine classes Le, NLe, co-NLe and Pe.
Theoretical Computer Science Amsterdam [u.a.] 86 2 267-275 [Zeitschriftenartikel]
Diese Liste wurde am
Sat Aug 17 03:28:26 2024 CEST
automatisch erstellt.