|
401 |
The k-travelling salesman problem Horbach, Andrei, 2005
|
|
|
402 |
Theory of power kernels Mouattamid, Mohammed, 2005
|
|
|
403 |
Counting principles of algebraic combinatorics with an emphasis on topological enumeration Hofmeister, Michael, 2004
|
|
|
404 |
From constructive mathematics to computable analysis via the realizability interpretation Lietz, Peter, 2004
|
|
|
405 |
Proof planning with multiple strategies Meier, Andreas, 2004
|
|
|
406 |
Weighted branching automata Meinecke, Ingmar, 2004
|
|
|
407 |
Zwei Gedanken zur höherstufigen Unifikation Kübler, Martin, 2004
|
|
|
408 |
Classifying discrete temporal properties Wilke, Thomas, 1998
|
|
|
409 |
Aufzählung von kurzen Gittervektoren in allgemeiner Norm Ritter, Harald, 1997
|
|
|
410 |
Weintrauben, polynome, tableaux Kohnert, Axel. - Bayreuth : Univ.-Bibliothek, Geschenk- und Tauschstelle, 1991
|
|