|
101.
|
Database Systems for Advanced Applications : 10th international conference, DASFAA 2005, Beijing, China, April 17-20, 2005 ; proceedings
by Zhou, Lizhu | Meng, Xiaofeng | Ooi, Beng Chin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 ZHO] (1).
|
|
102.
|
Evolutionary computation in combinatorial optimization : fifth European conference, EVOCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005 ; proceedings
by Gottlieb, Jens | Raidl, Gunther R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 RAI] (1).
|
|
103.
|
Applications of evolutionary computing : EvoWorkshops 2005 : EvoCOMNET, EvoHOT EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 - April 1, 2005 ; proceedings
by Rothlauf, Franz. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 ROT] (1).
|
|
104.
|
Genetic programming : eigth European conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005 ; proceedings
by Keizer, Maarten. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 KEI] (1).
|
|
105.
|
Passive and active network measurement : sixth international workshop, PAM 2005, Boston, Ma, USA, March 31 - April 1, 2005 ; proceedings
by Dovrolis, Constantinos. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 DOV] (1).
|
|
106.
|
Operational Semantics for Timed Systems : a Non-standard Approach to Uniform Modeling of Timed and hybrid systems
by Rust, Heinrich. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 RUS] (1).
|
|
107.
|
Dependable Computing EDCC 2005 : fifth European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 ; proceedings
by Dal Cin, MArio | Kaaniche, Mohamed | Pataricza, Andras. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 DAL] (1).
|
|
108.
|
Scientific Applications of Grid Computing : First International Workshop, SAG 2004, Beijing, China, September 2004 ; revised slected and invited papers
by Herrero, Pilar | Perez, Maria S | Robles, Victor. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 HER] (1).
|
|
109.
|
Rapid Integration of Software Engineering Techniques : First International Workshop, rise 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised selected papers
by Guelfi, Nicolas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 GUE] (1).
|
|
110.
|
Location-and Context-Awareness : First International Workshop, LOCA 2005, Oberpfaffenhofen, Germany, May 12-13, 2005; proceedings
by Strang, Thomas | Linnhoff-Popien, Claudia. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 STR] (1).
|
|
111.
|
Web and wireless geographical information systems : 4th international workshop, W2GIS 2004, Goyang, Korea, November 26-27, 2004, revised selected papers
by Kwon, Yong-Jin | Bouju, Alain | Claramunt, Christophe. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 KWO] (1).
|
|
112.
|
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).
|
|
113.
|
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).
|
|
114.
|
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).
|
|
115.
|
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).
|
|
116.
|
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).
|
|
117.
|
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).
|
|
118.
|
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).
|
|
119.
|
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).
|
|
120.
|
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).
|