161. 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 Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 RAI] (1).
162. Genetic programming : eigth European conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005 ; proceedings

by Keizer, Maarten.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 KEI] (1).
163. Operational Semantics for Timed Systems : a Non-standard Approach to Uniform Modeling of Timed and hybrid systems

by Rust, Heinrich.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 RUS] (1).
164. 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 Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 DAL] (1).
165. Recent Advances in Intrusion Detection : 6th International Symposium, RAID 2003, Pittsburgh, PA, USA, September 8-10, 2003 : Proceedings

by Vigna, Giovanni | Jonsson, Erland | Kruegel, Christopher.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 VIG] (1).
166. Public Key Cryptography: 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2001 Cheju Island, Korea, February 13-15, 2001: Proceedings

by Kim, Kwangjo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 KIM] (1).
167. Software pioneers and their contributions to software engineering

by Broy, Manfred | Denert, Ernst.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.10922 BRO] (1).
168. Public Key Cryptography : 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002, Paris, France, February 12-14, 2002 : Proceedings

by Naccache, David | Paillier,Pascal.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 NAC] (1).
169. Computer safety, reliability, and security : 21st international conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings

by Anderson, Stuart | Bologna, Sandro | Felici, Massimo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 AND] (1).
170. Security protocols : 9th international workshop Cambridge, UK, April 25-27, 2001

by Christianson, Bruce | Crispo, Bruno | Malcolm, James A | Roe, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 CHR] (1).
171. Computer, my life

by Zuse, Konrad.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 1993Availability: Items available for loan: [Call number: 621.39092 ZUS] (1).
172. Public-key cryptography

by Salomma, Arto.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 005.82 SAL] (1).
173. Physics of quantum information: Quantum cryptography, quantum teleportation, quantum computation

by Bouwmeester, Dirk | Ekert, Artur | Zeilinger, Anton.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004.1 BOU] (1).
174. Elements of parallel computing

by Rajaraman, V.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2004Availability: Items available for loan: [Call number: 004.35 RAJ] (1).
175. Computers Simplified

by Maran, Richard | Feistmantl, Eric.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 1994Availability: Items available for loan: [Call number: 004.1620 MAR] (1).
176. Computer Primer

by Rajaraman, Dharma.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 1996Availability: Items available for loan: [Call number: 005.1 RAJ] (2).
177. Parallel Computers

by Rajaraman, V.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2000Availability: Items available for loan: [Call number: 004.35 RAJ] (1).
178. Microsoft computer dictionary

by Microsoft Corporation.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2003Availability: Items available for loan: [Call number: 004.03 MIC] (1).
179. Digital design

by Mano, M. Morris.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2002Availability: Items available for loan: [Call number: 621.395 MAN] (2).
180. Fundamentals of parallel processing

by Jordan, Harry F | Alaghband, Gita | Jordan, Harry.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2003Availability: Items available for loan: [Call number: 004.35 JOR] (1).

Powered by Koha