|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Software product line engineering : foundations, principles, and techniques foundations, principles, and techniques Klaus Pohl, Guenter Boeckle, Frank van der Linden. by Pohl, Klaus | B�ockle, G�unter, 1949- | Linden, Frank van der, 1954-. Edition: 1st ed. Publisher: New York, NY : Springer, 2005Online access: Publisher description | Contributor biographical information | Table of contents only Availability: Items available for loan: Central Library (CL)Call number: 005.1 POH (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).
|
|
|
|
|
|
|
|
|
|
|
|
|
