21. First Course in Discrete Mathematics

by Anderson, Ian.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 510 AND] (1).
22. Statistical and neural classifiers : an integrated approach to design

by Raudys, Sarunas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 006.4 RAU] (1).
23. Planning and implementing your final year project - with success!: A guide for students in computer science and information systems

by Berndtsson, M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 BER] (1).
24. Learning and generalisation : with applications to neural networks

by Vidyasagar, M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2002Availability: Items available for loan: [Call number: 006.31 VID] (1).
25. From usenet to cowebs : interacting with social information spaces

by Lueg, Christopher | Fisher, Danyel.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2003Availability: Items available for loan: [Call number: 303.4833 LUE] (1).
26. Ontological engineering : with examples from the areas of knowledge management, e-commerce and the semantic web

by Gomez-Perez, Asuncion | Corcho, Oscar | Fernandez-Lopez, Mariano.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2004Availability: Items available for loan: [Call number: 006.33 GOM] (1).
27. Java and object orientation : an introduction

by Hunt, John.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2002Availability: Items available for loan: [Call number: 005.133 HUN] (1).
28. Computational models for neuroscience : human cortical information processing

by Hecht-Nielsen, Robert | McKenna, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2003Availability: Items available for loan: [Call number: 612.825 HEC] (1).
29. Artificial immune systems : a new computational intelligence approach

by Timmis, Jonathan | De Castro, Leandro N.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 006.3 DEC] (1).
30. Industrial-strength formal methods in practice

by Bowen, Jonathan P | Hinchey, Michael G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 1999Availability: Items available for loan: [Call number: 005.131 HIN] (1).
31. 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).
32. 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).
33. 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).
34. 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).
35. 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).
36. 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).
37. 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).
38. 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).
39. 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).
40. 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).

Powered by Koha