181. Guide to the Unified Process Featuring UML, Java and Design Patterns

by Hunt, John.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.117 HUN] (1).
182. Constructing correct software

by Cooke, John.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 005.1 COO] (1).
183. Complete IS-IS routing protocol

by Goralski, Walter | Gredler, Hannes.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2005Availability: Items available for loan: [Call number: 004.62 GRE] (1).
184. Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems

by Bowman, Howard | Gomez, Rodolf.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2006Availability: Items available for loan: [Call number: 004.015113 BOW] (1).
185. Agent technology from a formal perspective

by Rouff, Christopher A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.3 ROU] (1).
186. Code book : the secret history of codes and codebreaking

by Singh, Simon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Fourth Estate, 2000Availability: Items available for loan: [Call number: 652.8 SIN] (1).
187. Dynamic vision : from images to face recognition

by Gong, Shaogang | McKenna, Stephen J | Psarrou, Alexandra.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Imperial College Press, 2005Availability: Items available for loan: [Call number: 006.3721 GON] (1).
188. Debugging with GDB : the GNU source-level debugger

by Stallman, Richard M | Pesch, Roland | Shebs, Stan | Stallman, Richard M | Stallman, Richard M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Free Software Foundation, 2003Availability: Items available for loan: [Call number: 005.14 STA] (1).
189. JUnit in action

by Husted, Ted.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Greenwich: Manning Publications, 2003Availability: Items available for loan: [Call number: 005.133 MAS] (1).
190. Discrete mathematics for computer science

by Bogart, Kenneth P | Drysdale, Robert L | Stein, Clifford.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Emeryville: Key College Publishing, 2006Availability: Items available for loan: [Call number: 004.0151 BOG] (1).
191. Code optimization : effective memory usage

by Kaspersky, Kris.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Wayne: A-List Publishing, 2003Availability: Items available for loan: [Call number: 003.54 KAS] (2).
192. Neural networks in chemistry and drug design: An introduction

by Zupan, Jure | Gasteiger, Johann.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Weinheim: Wiley-VCH, 1999Availability: Items available for loan: [Call number: 006.32 ZUP] (1).
193. Advanced lectures on networking : networking 2002 tutorials

by Gregori, Enrico | Anastasi, Giuseppe | Basagni, Stefano.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 GRE] (1).
194. Thinking in complexity : the computational dynamics of matter, mind and mankind

by Mainzer, Klaus.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 501 MAI] (1).
195. Computation in cells and tissues : perspectives and tools of thought.

by Paton, Ray.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 571.6 PAT] (1).
196. Functional approach to data management : modeling, analyzing and integrating heterogeneous data

by Gray, Peter M. D | Kerschberg, Larry | King, Peter J. H | Poulovassilis, Alexandra.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.74 GRA] (1).
197. Programming in Prolog : using the ISO standard

by Clocksin, William F | Mellish, Christopher S.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.133 CLO] (1).
198. Perspectives on web services : applying SOAP, WSDL and UDDI to real-world projects

by Tomlinson, Mark | Peuser, Stefan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 005.276 ZIM] (1).
199. Aspect-oriented database systems

by Rashid, Awais.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 005.757 RAS] (1).
200. Theoretical computer science : introduction to automata, computability, complexity, algorithmics, randomization, communication and cryptography

by Hromkovic, Juraj.

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

Powered by Koha