|
7501 |
Kompositionale Softwareverifikation mechatronischer Systeme Schilling, Daniela, 2006
|
|
|
7502 |
Konstruktion betriebswirtschaftlicher Standard-Anwendungssysteme aus Anwendungselementen Lang, Klaus-Peter, 2006
|
|
|
7503 |
Konzept, Realisierung und Anwendung nutzerdefinierter Replikation in mobilen Datenbanksystemen Gollmick, Christoph, 2006
|
|
|
7504 |
Kooperationsanreize für autonome Einheiten in selbst-organisierenden Informationssystemen Obreiter, Philipp, 2006
|
|
|
7505 |
Languages and compilers for parallel computing Berlin : Springer, 2006
|
|
|
7506 |
Leveraging applications of formal methods Berlin : Springer, 2006
|
|
|
7507 |
Logic programming Berlin : Springer, 2006
|
|
|
7508 |
Lotus Notes Domino 7-Administration Ebel, Nadin. - München : Pearson Deutschland, 2006
|
|
|
7509 |
Mathematical Foundations of Computer Science 2006 Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
|
|
|
7510 |
MCSE für Windows Server 2003 Joos, Thomas. - München : Pearson Deutschland, 2006
|
|