21. Mathematical logic : a course with exercises

by Cori, Rene.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford Oxford University Press 2001Availability: Items available for loan: [Call number: 511.3 COR] (2).
22. Statistical thought : a perspective and history

by Chatterjee, Shoutir Kishore.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford: Oxford University Press, 2003Availability: Items available for loan: [Call number: 519.509 CHA] (1).
23. Visual complex analysis

by Needham, Tristan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford: Clarendon Press, 1998Availability: Items available for loan: [Call number: 515.9 NEE] (1).
24. Mathematical techniques : an introduction for the engineering, physical and mathematical sciences

by Jordan, Dominic.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford: Oxford University Press, 2002Availability: Items available for loan: [Call number: 511.2 JOR] (1).
25. Statistics for science and engineering

by Kinney, John J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Addison-Wesley, 2002Availability: Items available for loan: [Call number: 519.5 KIN] (1).
26. Modeling and analysis of security protocols

by Ryan, Peter | Goldsmith, Michael | Lowe, Gavin | Schneider, Steve.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Harlow: Addison-Wesley, 2001Availability: Items available for loan: [Call number: 005.8 RYA] (1).
27. Ant colony optimization

by Stutzle, Thomas | Dorigo, Marco.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2004Availability: Items available for loan: [Call number: 519.6 DOR] (1).
28. Reasoning about uncertainty

by Halpern, Joseph Y.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2003Availability: Items available for loan: [Call number: 003.54 HAL] (1).
29. Immunological bioinformatics

by Lund, Ole | Lund, Ole.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2005Availability: Items available for loan: [Call number: 571.960285 LUN] (1).
30. Word and object

by Quine, Willard Van Orman.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 1960Availability: Items available for loan: [Call number: 149.94 QUI] (1).
31. Calculating the secrets of life : applications of the mathematical sciences in molecular biology

by Lander, Eric S | Waterman, Michael S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Washington: National Academies Press, 1985Availability: Items available for loan: [Call number: 574.880151 LAN] (1).
32. Math for accounting and finance: Using the HP calculator

by Toy, Norman.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Australia: Thomson Learning, 2002Availability: Items available for loan: [Call number: 519.5 TOY] (1).
33. Simulation for the social scientist

by Troitzsch, Klaus G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Philadelphia: Open University Press, 1999Availability: Items available for loan: [Call number: 300.11 GIL] (1).
34. Mathematical foundations of speech and language processing

by Khudanpur, Sanjeev P | Johnson, Mark | Ostendorf, Mari | Rosenfeld, Roni.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.454 JOH] (1).
35. Optimization primer : on models, algorithms, and duality

by Nazareth, John Lawrence.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 519.6 NAZ] (1).
36. Monte Carlo statistical methods

by Robert, Christian P | Casella, George.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 519.5 ROB] (1).
37. Evolutionary computation for modeling and optimization

by Ashlock, Daniel.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 519.6 ASH] (1).
38. Search methodologies : introductory tutorials in optimization and decision support techniques.

by Burke, Edmund K | Burke, Edmund K | Kendall, Graham.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 658.403 BUR] (1).
39. Adapting proofs-as-programs : the Curry-Howard protocol

by Crossley, John N | Poernomo, Iman Hafiz | Wirsing, Martin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.36 POE] (1).
40. Curves and surfaces for computer graphics

by Salomon, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.6 SAL] (1).

Powered by Koha