|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Integrated circuit and system design: power and timing modeling, optimization and simulation : 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004 : proceedings power and timing modeling, optimization and simulation : 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004 : proceedings Enrico Macii, Vassilis Paliouras and Odysseas Koufopavlou (eds.) by Enrico Macii | Macii, Enrico | Paliouras, Vassilis | Koufopavlou, Odysseas. Publisher: Berlin ; London : Springer, 2004Other title: PATMOS 2004..Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: SEECS005608 (1).
|
|
|
|
Grid and cooperative computing : econd International Workshop, GCC 2003, Shanhai [sic], China, December 7-10, 2003 : revised papers second International Workshop, GCC 2003, Shanhai [sic], China, December 7-10, 2003 : revised papers Minglu Li by Li, Minglu | LINK (Online service). Publisher: Berlin ; Hong Kong : Springer-Verlag, c2004Other title: GCC 2003..Online access: Click here to access online | Click here to access online Availability: Items available for loan: Central Library (CL)Call number: 004.36 LIM (1).
|
|
|
|
Scientific applications of grid computing: irst international workshop, SAG 2004, Beijing, China, September, 20-24, 2004 : revised selected and invited papers first international workshop, SAG 2004, Beijing, China, September, 20-24, 2004 : revised selected and invited papers Pilar Herrero, Mar�ia S. Perez, Victor Robles (eds.). by Herrero, Pilar | P�erez, Mar�ia S | Robles, V�ictor. Publisher: Berlin ; New York : Springer, 2005Other title: SAG 2004.Online access: Click here to access online | Publisher description Availability: Items available for loan: Central Library (CL)Call number: 004.36 HER (1).
|
|
|
|
|
|
|
|
Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers Bernhard K. Aichernig, Tom Maibaum by Aichernig, Bernhard K, 1969- | Maibaum, Thomas S. E, 1947- | International Institute for Software Technology. Publisher: Berlin ; New York : Springer-Verlag, 2003Online access: Publisher description Availability: Items available for loan: Central Library (CL)Call number: 005.1 AIC (1).
|
|
|
|
Advances in Web intelligence : First International Atlantic Web Intelligence Conference, AWIC 2003, Madrid, Spain, May 2003 : proceedings Ernestina Menasalvas, Javier Segovia, Piotr S. Szczepaniak, eds. by Menasalvas, Ernestina, 1970- | Segovia, Javier, 1963- | Szczepaniak, Piotr S, 1953- | International Atlantic Web Intelligent Conference. Publisher: Berlin : Springer, cop. 2003Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: 004.678 MEN (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Security in pervasive computing: Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005 : proceedings Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005 : proceedings Dieter Hutter, Markus Ullmann by Hutter, Dieter | Ullmann, Markus. Publisher: Berlin ; New York : Springer, c2005Other title: Security in pervasive computing [electronic resource] | SPC 2005..Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: 005.8 HUT (1).
|
|
|
|
|
|
|
|
|
|
|
|
Advances in artificial intelligence : 19th conference of the Canadian society for computational studies of intelligence, Canadian AI 2006, Quebec City, Quebec, Canada, June 7-9, 2006 : proceedings 19th conference of the Canadian society for computational studies of intelligence, Canadian AI 2006, Quebec City, Quebec, Canada, June 7-9, 2006 : proceedings Luc Lamontagne, Mario Marchand, eds. by Conference of the Canadian Society for Computational Studies of Intelligence | Lamontagne, Luc, 1953- | Marchand, Mario | SpringerLink (Online service). Publisher: Berlin ; New York : Springer, c2006Other title: Advances in artificial intelligence [electronic resource] | AI 2006..Availability: Items available for loan: Central Library (CL)Call number: 006.3 LAM (1).
|
|
|
|
|
|
|
|
Cooperative information agents VII: 7th international workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003: proceedings 7th international workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003: proceedings Matthias Klusch by Klusch, Matthias, 1965-. Publisher: Berlin ; New York : Springer-Verlag, 2003Online access: Publisher description Availability: Items available for loan: Central Library (CL)Call number: 006.3 KIU (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Passive and active network measurement: 5th international workshop, PAM 2004, Antibes Juan-les-Pins, France, April 19-20, 2004 : proceedings 5th international workshop, PAM 2004, Antibes Juan-les-Pins, France, April 19-20, 2004 : proceedings Chadi Barakat, Ian Pratt (eds.). by Barakat, Chadi | Pratt, Ian Edwin. Publisher: Berlin : Springer, 2004Other title: PAM 2004.Online access: Table of contents | Click here to access online | Publisher description Availability: Items available for loan: Central Library (CL)Call number: 621.319 BAR (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
