schliessen

Filtern

 

Bibliotheken

3.

Verifying probabilistic systems : new algorithms and complexity results
von Fu, Hongfei

Verlag: Aachen, RWTH, Department of Computer Science; Bibliotheken: UHH HSU TUHH

2014
4.

The Discrete Logarithm Problem in Finite Fields of Small Characteristic
von Zumbrägel, Jens

Verlag: Dresden, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Bibliotheken: UHH HSU TUHH

2017
5.

Modeling Petri net-based multi-agent applications
von Cabac, Lawrence

Verlag: Hamburg, Staats- und Universitätsbibliothek Carl von Ossietzky; Bibliotheken: UHH HSU TUHH

2010
8.

Degree-constrained editing of small-degree graphs
von Nichterlein, André

Verlag: Berlin, Universitätsverlag der TU Berlin; Bibliotheken: UHH HSU TUHH

2015
10.

Axiomatische digitale Geometrie und der Satz von Jordan-Brouwer
von Hünniger, Martin

Verlag: Jena, Thüringer Universitäts- und Landesbibliothek; Bibliotheken: UHH HSU TUHH

2009
11.

Automatic abstraction for bit-vectors using decision procedures

Verlag: Aachen, RWTH, Fachgruppe Informatik; Bibliotheken: TUHH

2013
12.

Variability bugs in system software
von Sincero, Julio

Verlag: Erlangen, Univ.-Bibliothek Erlangen-Nürnberg; Bibliotheken: UHH HSU TUHH

2013
16.

Non-asymptotic performance evaluation and sampling-based parameter estimation for communication networks with long memory traffic
von Rizk, Amr

Verlag: Hannover, Technische Informationsbibliothek u. Universitätsbibliothek; Bibliotheken: UHH HSU TUHH

2013
17.

Zum Pfadverlust bei automatischer Testdatengenerierung mit dem Verkettungsansatz
von Makowka, Thorsten

Verlag: Göttingen, Niedersächsische Staats- und Universitätsbibliothek; Bibliotheken: UHH HSU TUHH

2006
18.

Min-max-min robust combinatorial optimization
von Kurtz, Jannis

Verlag: Dortmund, Universitätsbibliothek Dortmund; Bibliotheken: UHH HSU TUHH

2016

Empfehlenswerte Datenbanken

Suchen Sie auch in den folgenden Datenbanken, um noch mehr Aufsätze zu Ihrer Suche zu finden.

Suchfilter Bücher 173 Treffer

Filter entfernen