61. Trusted computing platforms : design and applications

by Smith, Sean W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.8 SMI] (1).
62. New horizons of parallel and distributed computing

by Guo, Minyi | Yang, Laurence Tianruo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004.35 GUO] (1).
63. Modeling and simulation in Scilab / Sciocos

by Campbell, Stephen L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 502.855369 CAM] (1).
64. Software engineering techniques applied to agricultural systems : an object-oriented and UML approach

by Pardalos, Panos M | Papajorgji, Petraq J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 630.2085 PAP] (1).
65. Logic synthesis and verification algorithms

by Hachtel, Gary D | Somenzi, Fabio.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.395 HAC] (1).
66. Fundamental algorithms for permutation groups

by Butler, G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1991Availability: Items available for loan: [Call number: 004 BUT] (1).
67. Selected writings on computing : a personal perspective

by Dijkstra, Edsger W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 1982Availability: Items available for loan: [Call number: 001.64 DIJ] (1).
68. Mathematical Statistics with Mathematica

by Rose, Colin | Rose, Colin | Smith, Murray D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 519.5 ROS] (3).
69. Bayesian networks and decision graphs

by Jensen, Finn V.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 519.542 JEN] (1).
70. Scientific computing with ordinary differential equations

by Deuflhard, Peter | Bornemann, Folkmar.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 515.3520285 DEU] (1).
71. Complexity and real computation

by Blum, Lenore.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 511.3 BLU] (1).
72. Clinical decision support systems : theory and practice

by Berner, Eta S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 616.0750285 BER] (1).
73. Beyond calculation : next fifty years of computing

by Denning, Peter J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New york: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 004.0905 DEN] (1).
74. Mathematica in action

by Wagon, Stan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 510.285 WAG] (2).
75. Dynamic modeling

by Ruth, Matthias | Hannon, Bruce.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 003.8501135369 HAN] (2).
76. Philosophy and computing: an introduction

by Floridi, Luciano.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Routledge, 1999Availability: Items available for loan: [Call number: 004.01 FLO] (1).
77. Language of ict : information and communication technology

by Shortis, Tim.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Routledge, 2005Availability: Items available for loan: [Call number: 302.2 SHO] (1).
78. Basic GIS coordinates

by Sickle, Jan Van.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: CRC Press, 2004Availability: Items available for loan: [Call number: 910.285 VAN] (1).
79. Computational modelling of objects represented in images : fundamentals, methods and applications : proceedings of the International Symposium CompIMAGE 2006, Coimbra, Portugal, 20-21 October 2006

by Tavares, Joao Manuel R. S | Jorge, R. M. Natal.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Taylor & Francis, 2007Availability: Items available for loan: [Call number: 621.367 TAV] (1).
80. Computer : a history of the information machine

by Campbell-Kelly, Martin | Aspray, William.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Basic Books, 1996Availability: Items available for loan: [Call number: 004.09 CAM] (1).

Powered by Koha