|
15281 |
The Role of Norms and Electronic Institutions in Multi-Agent Systems Basel : Birkhäuser Basel, 2004
|
|
|
15282 |
Theorem Proving in Higher Order Logics Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
15283 |
[Types for proofs and programs] [Berlin : [Springer], 2004
|
|
|
15284 |
UML-based test specification for communication systems Ebner, Michael, 2004
|
|
|
15285 |
Visual C++ - Windows-Programmierung mit den MFC Budszuhn, Frank. - München : Pearson Deutschland, 2004
|
|
|
15286 |
Windows XP Home SP2 - Magnum Lackerbauer, Ingo. - München : Pearson Deutschland, 2004
|
|
|
15287 |
Windows XP Professional Tricks SP2 - Magnum Born, Günter. - München : Pearson Deutschland, 2004
|
|
|
15288 |
WLAN (Wireless Local Area Network) - Messwerte zu Reichweiten und Dämpfungen, Empfehlungen zur Planung von Konfigurationen Bonn, 2004
|
|
|
15289 |
A component based approach to human computer interaction Feyer, Thomas, 2003
|
|
|
15290 |
Adaptive Agents and Multi-Agent Systems Cham : Springer International Publishing, 2003
|
|