|
991 |
A stochastic extension of the logic PDL
Kuntz, Matthias. - Neubiberg : Univ. of the Federal Armed Forces, Dep. of Computer Science, 2004
|
|
|
|
992 |
An extremal property of the reuleaux triangle and the inner distance of graphs
Hering, Franz. - Dortmund : Univ., Fachbereich Statistik, 2004
|
|
|
|
993 |
Boundary labeling
Karlsruhe : Univ., Fak. für Informatik, Bibl., 2004
|
|
|
|
994 |
Counting principles of algebraic combinatorics with an emphasis on topological enumeration
Hofmeister, Michael, 2004
|
|
|
|
995 |
From constructive mathematics to computable analysis via the realizability interpretation
Lietz, Peter, 2004
|
|
|
|
996 |
Lim+, δ+ [delta+], and non-permutability of β-steps [beta-steps]
Wirth, Claus-Peter. - Saarbrücken : Univ., Fachrichtung Informatik, 2004
|
|
|
|
997 |
On the Chebyshev rank of bivariate polynomials and splines in L1-approximation
Sommer, Manfred. - Eichstätt : Kath. Univ., Math.-Geographische Fak., 2004
|
|
|
|
998 |
Proof planning with multiple strategies
Meier, Andreas, 2004
|
|
|
|
999 |
Weighted branching automata
Meinecke, Ingmar, 2004
|
|
|
|
1000 |
Zwei Gedanken zur höherstufigen Unifikation
Kübler, Martin, 2004
|
|
Administration
