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

• 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