121. Security Protocols : 10th International Workshop, Cambridge, UK, April, 2002 : Revised Papers

by Christianson, Bruce.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 CHR] (1).
122. Testing commercial-off-the-shelf components and systems

by Gruhn, Volker | Beydeda, Sami.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 005.1 BEY] (1).
123. Agent-mediated electronic commerce V : AAMAS 2003 Workshop, AMEC 2003, Melbourne, Australia, July 15, 2003 ; revised selected papers

by Faratin, Peyman | Parkes, David C | Rodriguez-Aguilar, Juan A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 006.3 FAR] (1).
124. UML 2004 - The Unified Modeling Language : Modeling Languages and Applications : 7th international conference, Lisbon, Portugal, October 11-15, 2004, proceedings

by Baar, Thomas | Mellor, Stephen J | Moreira, Ana | Strohmeier, Alfred.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 BAA] (1).
125. FSTTCS 2004 : Foundations of software technology and theoretical computer science: twenty fourth International conference Chennai, India, December 2004 : proceedings

by Lodaya, Kamal | Mahajan, Meena.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 LOD] (1).
126. Agent-oriented software engineering V : 5th international workshop, AOSE 2004, New York, NY, USA, July 19, 2004 ; revised selected papers

by Giorgini, Paolo | Muller, Jorg P | Odell, James.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 ODE] (1).
127. Software Product Line Engineering : foundations, principles and techniques

by Pohl, Klaus | Bockle, Gunter | Linden, Frank van der.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 005.1 PHO] (1).
128. Service availability : first international service availability symposium, ISAS 2004, Munich, Germany, May 13-14, 2004 ; revised selected papers

by Reitenspiess, Manfred | Kaiser, Jorg | Malek, Miroslaw.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 MAL] (1).
129. Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings

by Godefroid, Patrick.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GOD] (1).
130. Socionics : scalability of complex social systems (LNAI - 3413)

by Fischer, Klaus | Fischer, Klaus | Florian, Michael | Malsch, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 006.3 FIS] (1).
131. Agents and peer-to-peer computing : first international workshop, AP2PC 2002, Bologna, Italy, July 15, 2002 ; revised and invited papers

by Koubarakis, Manolis | Moro, Gianluca.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 MOR] (1).
132. Intelligent technologies for information analysis

by Liu, Jiming | Zhong, Ning.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 006.3 ZHO] (1).
133. Intelligent Search on XML Data: Applications, Languages, Models, Implementations and Benchmarks

by Blanken, Henk.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BLA] (1).
134. Cooperative information agents VII: 7th International workshop, CIA 2003 Helsinki, Finland, August 27-29, 2003: Proceedings

by Klusch, Matthias.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 KLU] (1).
135. Computer safety, reliability, and security : 21st international conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings

by Anderson, Stuart | Bologna, Sandro | Felici, Massimo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 AND] (1).
136. Distributed reason maintenance for multiagent systems

by Kraetzschmar, Gerhard K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 006.3 KRA] (1).
137. Customer-based IP service monitoring with mobile software agents

by Gunter, Manuel.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Basel: Birkh�user, 2002Availability: Items available for loan: [Call number: 006.3 GUE] (1).
138. Agent-based approach for coordinated multi-provider service provisioning

by Calisti, Monique.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Basel: Birkhauser, 2002Availability: Items available for loan: [Call number: 621.3821 CAL] (1).
139. Intelligent agents and their applications

by Jain, Lakhmi C | Chen, Zhengxin | Ichalkaranji, Nikhil.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2002Availability: Items available for loan: [Call number: 006.3 JAI] (1).
140. Microprocessors

by Rafiquzzaman, Mohamed.

Edition: Revised ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2000Availability: Items available for loan: [Call number: 004.16 RAF] (4).

Powered by Koha