|
501 |
Completeness theory for propositional logics Basel : Birkhäuser, 2008
|
|
|
502 |
Complexity of constraints Berlin : Springer, 2008
|
|
|
503 |
Computational geometry and graph theory Berlin : Springer, 2008
|
|
|
504 |
Computer Arithmetic and Validity Kulisch, Ulrich. - Berlin/Boston : De Gruyter, 2008
|
|
|
505 |
Concept lattices and their applications Berlin : Springer, 2008
|
|
|
506 |
Das Kontinuum diskret berechnen Berlin : Springer, 2008
|
|
|
507 |
Das Profil zufälliger Binärsuchbäume Sulzbach, Henning. - Saarbrücken : VDM Verlag Dr. Müller, 2008
|
|
|
508 |
Die Berechnungsstärke von Forgetting-Automaten Glöckler, Jens, 2008
|
|
|
509 |
Disturbed diffusive processes for solving partitioning problems on graphs Meyerhenke, Henning, 2008
|
|
|
510 |
Dynamics and evolution of random Boolean networks Mihaljev, Tamara, 2008
|
|