|
201.
|
Trust Management : Third International Conference, iTrust 2005 Paris, France, May 23-26, 2005 ; proceedings
by Herrmann, Peter | Issarny, Valerie | Shiu, Simon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 HER] (1).
|
|
202.
|
Privacy enhancing technologies : 4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004; revised selected papers
by Martin, David | Serjantov, Andrei. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 MAR] (1).
|
|
203.
|
Model-based testing of reactive systems
by Jonsson, Bengt | Broy, Manfred | Katoen, Joost-Pieter | Leucker, Martin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 BRO] (1).
|
|
204.
|
Principles of Distributed Systems : Eighth International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004 : revised selected papers
by Higashino, Teruo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 HIG] (1).
|
|
205.
|
Multilingual Information Access for Text, Speech and Images : Fifth Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17, 2004 : revised selected papers
by Peters, Carol | Clough, Paul | Gonzalo, Julio | Jones, Gareth J. F. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 PET] (1).
|
|
206.
|
Reasoning Web : First International Summer School 2005, MSIDA, Malta, July 25-29, 2005, tutorial lectures
by Eisinger, Norbert | Maluszynski, Jan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 EIS] (1).
|
|
207.
|
Ubiquitous Computing Systems : Second International Symposium, UCS Tokyo, Japan, November 8-9, 2004 ; revised selected papers
by Murakami, Hitomi | Nakashima, Hideyuki | Tokuda, Hideyuki | Yasumura, Michiaki. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 MUR] (1).
|
|
208.
|
Web Engineering : Fifth International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005 ; proceedings
by Lowe, David | Gaedke, Martin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 LOW] (1).
|
|
209.
|
Networking and Mobile Computing : Third International Conference, ICCNMC 2005, Zhangjiajie, China, August 2-4, 2005 : Proceedings
by Zhao, Wei | Lu, Xicheng. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 LU] (1).
|
|
210.
|
Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings
by Godefroid, Patrick. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GOD] (1).
|
|
211.
|
Theorem Proving in Higher Order Logics : Eighteenth International Conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005 ; proceedings
by Hurd, Joe | Melham, Tom. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 HUR] (1).
|
|
212.
|
Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
by Bravetti, Mario | Kloul, Leila | Zavattaro, Gianluigi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 BRA] (1).
|
|
213.
|
Lectures on data security : modern cryptology in theory and practice
by Damgard, Ivan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 1990Availability: Items available for loan: [Call number: 004 DAM] (1).
|
|
214.
|
Applied algebra, algebraic algorithms, and error-correcting codes
by Fossorier, Marc | Hoholdt, Tom | Poli, Alain. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 FOS] (1).
|
|
215.
|
Testing of communicating systems: 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France May 26-28, 2003 proceedings
by Hogrefe, Dieter | Wiles, Anthony. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 HOG] (1).
|
|
216.
|
Advances in Web Intelligence
by Menasalvas, Ernestina | Menasalvas, Ernestina | Segovia, Javier | Segovia, Javier | Szczepaniak, Piotr S | Szczepaniak, Piotr S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 MEN] (1).
|
|
217.
|
Knowledge management in electronic government: 4th IFIP international working conference, KMGov 2003 Rhodes, Greece, May 26-28, 2003 proceedings
by Wimmer, Maria A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 WIM] (1).
|
|
218.
|
Trust Management: First International Conference, iTrust 2003 Heraklion, Crete, Greece, May 28-30, 2003 proceedings
by Nixon, Paddy | Terzis, Sotirios. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 NIX] (1).
|
|
219.
|
ZB 2003: Formal specification and development in Z and B: Third inetrnational conference of B and Z users Turku, Finland, June 4-6, 2003 proceedings
by Bert, Didier. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BER] (1).
|
|
220.
|
Quality of Service - IWQoS 2003: 11th International Workshop Berkeley, CA, USA, June 2-4, 2003 proceedings
by Jeffay, Kevin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 JEF] (1).
|