Inhalt → Informatik, Informations- wissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Datenverarbeitung; Informatik

• Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems Both, Andreas ; Zimmermann, Wolf Halle,S., 2008 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2008

• Efficiency of thread-parallel Java programs from scientific computing Halle : Martin-Luther-Univ. Halle-Wittenberg, Fachbereich Mathematik und Informatik, 2002 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2002 ; Göttingen : Niedersächsische Staats- und Universitätsbibliothek, 2002

• On Oscillation-free e-random Sequences Staiger, Ludwig Halle,S., 2008 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2008

• Refined Bounds on Kolmogorov Complexity for w-Languages Mielke, Jöran Halle,S., 2008 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2008