|
671 |
Block-zerlegbare divisible Designs Giese, Sabine, 2005
|
|
|
672 |
Coalgebras, monads and semantics Milius, Stefan, 2005
|
|
|
673 |
Crossings in clustered level graphs Forster, Michael, [2005]
|
|
|
674 |
Discrepancy of arithmetic structures Hebbinghaus, Nils, 2005
|
|
|
675 |
Discrepancy of arithmetic structures Hebbinghaus, Nils, 2005, [Online-Ausg.]
|
|
|
676 |
Effiziente Algorithmen zur Bestimmung der Unabhängigkeitszahl in Graphen Mahfud, Suhail, 2005
|
|
|
677 |
Explanation of independence Adler, Hans, 2005
|
|
|
678 |
Flexible heuristic control for combining automation and user-interaction in inductive theorem proving Schmidt-Samoa, Tobias, 2005
|
|
|
679 |
From constructive mathematics to computable analysis via the realizability interpretation Lietz, Peter, [2005]
|
|
|
680 |
Higher gap morasses Cárdenas, Franqui, 2005
|
|