|
7431 |
Automated reasoning Berlin : Springer, 2006
|
|
|
7432 |
Automated technology for verification and analysis Berlin : Springer, 2006
|
|
|
7433 |
Automatische Verteilung mehrsträngiger Java-Programme Le, Dinh Khoi, 2006
|
|
|
7434 |
Autonomic and trusted computing Berlin : Springer, 2006
|
|
|
7435 |
B 2007: formal specification and development in B Berlin : Springer, 2006
|
|
|
7436 |
Betriebssysteme Siegert, Hans-Jürgen. - Berlin/Boston : De Gruyter, 2006, 6., überarbeitete, aktualisierte und erweiterte Auflage
|
|
|
7437 |
BMDFM Pochayevets, Oleksandr, 2006
|
|
|
7438 |
C/C++ - Die Referenz Louis, Dirk. - München : Pearson Deutschland, 2006
|
|
|
7439 |
Cellular automata Berlin : Springer, 2006
|
|
|
7440 |
Central European functional programming school Berlin : Springer, 2006
|
|