4 Treffer

• 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

• Kompetenzmodell für den Mathematikunterricht in Sachsen-Anhalt Halle, S. : LISA, 2014 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2014

• 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