1. Handbook of mathematics and computational science

by Harris, John W | Stocker, Horst.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 510 HAR] (1).
2. Discrete mathematics : elementary and beyond

by Lovasz, Laszlo | Pelikan, J | Vesztergombi, K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 510 LOV] (1).
3. 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).
4. Information and Communications Security : 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003 : Proceedings

by Qing, Sihan | Gollmann, Dieter | Zhou, Jianying.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 QIN] (1).
5. Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

by Kreowski, Hans-Jorg | Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 KRE] (1).
6. Cryptographic Hardware and Embedded Systems - CHES 2003: 5th International Workshop Cologne, Germany, September 8-10, 2003: Proceedings

by Wlater, Colin D | Koc, Cetin Kaya | Paar, Christof.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 WLA] (1).
7. Randomness and Completeness in Computational Complexity

by Melkebeek, Dieter van.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 MEL] (1).
8. Data streams : models and algorithms

by Aggarwal, Charu C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2007Availability: Items available for loan: [Call number: 518.1 AGG] (1).
9. Computing the continuous discretely : integer-point enumeration in polyhedra

by Beck, Matthias | Robins, Sinai.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2007Availability: Items available for loan: [Call number: 516.11 BEC] (1).
10. Beginner's guide to discrete mathematics

by Wallis, W. D.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2012Availability: Items available for loan: [Call number: 510 WAL] (1).
11. Ranking queries on uncertain data

by Hua, Ming | Pei, Jian.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2011Availability: Items available for loan: [Call number: 003.54 HUA] (1).
12. Fundamentals of discrete math for computer science : a problem-solving primer

by Jenkyns, Tom A | Stephenson, Ben.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2013Availability: Items available for loan: [Call number: 004.015 JEN] (1).
13. Mathematics in computing : an accessible guide to historical, foundational and application contexts

by O'Regan, Gerard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2013Availability: Items available for loan: [Call number: 004.0151 ORE] (1).
14. Theory of computation

by Kozen, Dexter C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2006Availability: Items available for loan: [Call number: 511.352 KOZ] (1).
15. Sets, logic and maths for computing

by Makinson, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 004.0151 MAK] (1).
16. Modelling computer systems : mathematics of computer science

by Moller, Faron | Struth, Georg.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2013Availability: Items available for loan: [Call number: 004.0151 MOL] (1).
17. Discrete calculus: applied analysis on graphs for computational science

by Grady, Leo J | Polimeni, Jonathan R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2010Availability: Items available for loan: [Call number: 518.1 GRA] (1).
18. Comprehensive mathematics for computer scientists 1

by Mazzola, Guerino | Milmeister, Gerard | Weissmann, Jody.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 511.3 MAZ] (1).
19. Mathematics and computation, a contemporary view

by Munthe-Kaas, Hans | Owren, Brynjulf.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 510.004015113 MUN] (1).
20. Generalized curvatures

by Morvan, Jean-Marie.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 516.00285 MOR] (1).

Powered by Koha