schliessen

Filtern

 

Bibliotheken

5.

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

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

2010
6.

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

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

2009
7.

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

Publisher: Dresden, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Libraries: UHH HSU TUHH

2017
9.

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

Publisher: Berlin, Universitätsverlag der TU Berlin; Libraries: UHH HSU TUHH

2015
11.

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

Publisher: Dortmund, Universitätsbibliothek Dortmund; Libraries: UHH HSU TUHH

2016
14.

Automatic abstraction for bit-vectors using decision procedures

Publisher: Aachen, RWTH, Fachgruppe Informatik; Libraries: TUHH

2013
15.

Variability bugs in system software
by Sincero, Julio

Publisher: Erlangen, Univ.-Bibliothek Erlangen-Nürnberg; Libraries: UHH HSU TUHH

2013
16.

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

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

2006
20.

Algorithms and hardness results for object nets
by Heitmann, Frank Andreas

Publisher: Hamburg, Staats- und Universitätsbibliothek Hamburg; Libraries: UHH HSU TUHH

2013

Recommended databases

Find more Articles matching your search terms in these recommended databases.

Filter books 176 Hits

Remove Filters