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