Ergebnisse
|
1.
|
|
|
2.
|
When to prove theorems by analogy? Erica Melis von Reihen: ; 96,3 | SEKI-Report ; 96,3
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Saarbrücken Universität des Saarlandes, Fachbereich Informatik 1996
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SEKI SR-1996-03.
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
|
|
9.
|
|
|
10.
|
The mechanization of the diagonalization proof strategy Lassaad Cheikhrouhou von Reihen: ; 96,14 | SEKI-Report ; 96,14
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Saarbrücken Universität des Saarlandes, Fachbereich Informatik 1996
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SEKI SR-1996-14.
|
|
11.
|
|
|
12.
|
|
|
13.
|
Network complexity Günter Hotz und Manfred Stadel von Reihen: ; 1977,6 | Universität des Saarlandes Bericht / A ; 1977,6 |
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Saarbrücken Fachbereich Angewandte Mathematik und Informatik, Universität des Saarlandes 1977
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) FB 77/06.
|
|
14.
|
|
|
15.
|
|
|
16.
|
Benchmark data sets for conic arrangments von
Materialtyp: Text; Format:
Druck Verlag: Universität des Saarlandes 2005
Hochschulschriftenvermerk: Saarbrücken, Univ., Bachelor, 2005
Verfügbarkeit: Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): only use on site (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) 2005 Ebert, Franziska. Nicht verfügbar: Gebäude E1 4 (MPI-INF): restricted use (1).
|
|
17.
|
A linear time algorithm for integer programming in the plane von
Materialtyp: Text; Format:
Druck Verlag: Universität des Saarlandes 2004
Hochschulschriftenvermerk: Saarbrücken, Univ., Master, 2004
Verfügbarkeit: Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): only use on site (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) 2004 Laue, Sören. Nicht verfügbar: Gebäude E1 4 (MPI-INF): restricted use (1).
|
|
18.
|
An asymptotic approximation scheme for multigraph edge coloring von
Materialtyp: Text; Format:
Druck Verlag: Universität des Saarlandes 2006
Hochschulschriftenvermerk: Saarbrücken, Univ., Master, 2006
Verfügbarkeit: Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): only use on site (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) 2006 Steurer, David. Nicht verfügbar: Gebäude E1 4 (MPI-INF): restricted use (1).
|
|
19.
|
Tight bounds on the min-max Boundary decomposition cost of weighted graphs von
Materialtyp: Text; Format:
Druck Verlag: Universität des Saarlandes 2006
Hochschulschriftenvermerk: Saarbrücken, Univ., Bachelor, 2006
Verfügbarkeit: Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): only use on site (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) 2006 Steurer, David. Nicht verfügbar: Gebäude E1 4 (MPI-INF): restricted use (1).
|
|
20.
|
EXUS - EXact Union of Spheres von
Materialtyp: Text; Format:
Druck Verlag: Universität des Saarlandes 2004
Hochschulschriftenvermerk: Saarbrücken, Univ., Dipl., 2004
Verfügbarkeit: Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): only use on site (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) 2004 Werth, Kai. Nicht verfügbar: Gebäude E1 4 (MPI-INF): restricted use (1).
|