|
|
|
|
|
|
|
|
|
|
|
Software engineering Sommerville, Ian. by Sommerville, Ian. Edition: 8th Publisher: New Delhi Pearson Education 2005Availability: Items available for loan: Central Library (CL)Call number: 005.1 SOM (7). Checked out (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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).
|
|
|
|
Communicating sequential processes / C.A.R. Hoare by Hoare, Charles Antony Richard. Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, cop. 1985Availability: Items available for loan: Central Library (CL)Call number: 004.32 HOA (1).
|
|
|
|
Source coding theory Robert M. Gray by Gray, Robert M. Publisher: Boston : Kluwer Academic Publishers, c1990Availability: Items available for loan: Central Library (CL)Call number: 003.54 GRA (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).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
New trends in computer networks Tuna Tugcu Publisher: London : Singapore ; Hackensack, NJ : Imperial College Press ; Distributed by World Scientific Pub. Co., c2005Other title: Computer networks.Availability: Items available for loan: Central Library (CL)Call number: 004.6 TUG (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).
|
|
|
|
|
|
|
|
Software design David Budgen. by Budgen, D. Edition: 2nd ed. Publisher: Harlow, England ; New York : Pearson/Addison-Wesley, 2003Availability: Items available for loan: Central Library (CL)Call number: 005.1 BUD (1).
|
|
|
|
|
|
|
|
|
|
|
|
Software engineering Sommerville, Ian by Sommerville, Ian. Edition: 6th Publisher: Singapore : Pearson Education Pte. Ltd., 2004Availability: Items available for loan: Central Library (CL)Call number: 005.1 SOM (7).
|
|
|
|
Software engineering Ian Sommerville. by Sommerville, Ian. Edition: 5th ed. Publisher: Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., c1996Availability: Items available for loan: Central Library (CL)Call number: 005.1 SOM (3).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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).
|
|
|
|
|
|
|
|
Introduction to expert systems Peter Jackson. by Jackson, Peter. Edition: 3rd ed. Publisher: Harlow, England ; Reading, Mass. : Addison-Wesley, c1999Availability: Items available for loan: Central Library (CL)Call number: 006.33 JAC (2).
|
|
|
|
|
|
|
|
|
|
|
|
|
