|
811 |
Walks on ordinals and their characteristics
Todorcevic, Stevo. - Basel : Birkhäuser, 2007
|
|
|
|
812 |
Zur Frage korrekter und vollständiger Kalküle der Εμ-Logiken [Epsilon-my-Logiken]
Bab, Sebastian. - Berlin : Inst. für Telekommunikationssysteme, Formale Modelle, Logik und Programmierung, Projektgruppe KIT, 2007
|
|
|
|
813 |
A comparison of several models of weighted tree automata
Fülöp, Zoltán. - Dresden : TU, Fak. Informatik, 2006
|
|
|
|
814 |
A conjecture of Borodin and a coloring of Grünbaum
Rautenbach, Dieter. - Bonn : Forschungsinst. für Diskrete Mathematik, 2006
|
|
|
|
815 |
A general method for generating Hermite type sampling expansions associated with regular eigenvalue problems
Annaby, Mahmoud H.. - Duisburg : Univ., 2006
|
|
|
|
816 |
A primal Barvinok algorithm based on irrational decomposition
Köppe, Matthias. - Magdeburg : Univ., Fak. für Mathematik, 2006
|
|
|
|
817 |
Abhandlungen zur Methode der kleinsten Quadrate
Gauß, Carl Friedrich. - Saarbrücken : VDM, Müller, 2006, [Reprint]
|
|
|
|
818 |
Algorithm design techniques for parameterized graph modification problems
Guo, Jiong, 2006
|
|
|
|
819 |
Algorithmic computer reconstructions of stalactite vaults - Muqarnas - in Islamic architecture
Harmsen, Silvia, 2006
|
|
|
|
820 |
Algorithmische Eigenschaften von Branching-Time-Logiken
Bauer, Sebastian, 2006
|
|
Administration
