1. 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).
2. Differentiable optimization and equation solving : a treatise on algorithmic science and the Karmarkar revolution

by Nazareth, John Lawrence.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 519.3 NAZ] (1).
3. 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).
4. Designing evolutionary algorithms for dynamic environments

by Morrison, Ronald W | Morrison, Ronald W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.1 MOR] (1).
5. Mathematical foundations of computer science 2003: 28th INternational symposium, MFCS 2003 Bratislava, Solvakia, August 25-29, 2003: Proceeedings

by Rovan, Branislav | Vojtas, Peter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 ROV] (1).
6. Graphs, Networks and Algorithms

by Jungnickel, Dieter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 511.8 JUN] (1).
7. Parallel scientific computing and optimization : advances and applications

by Ciegis, Raimondas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2009Availability: Items available for loan: [Call number: 005.275 CIE] (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. Practical Computing on the Cell Broadband Engine

by Koranne, Sandeep.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2009Availability: Items available for loan: [Call number: 005.1 KOR] (1).
10. 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).
11. Mathematical foundations of scientific visualization, computer graphics, and massive data exploration

by Moller, Torsten | Hamann, Bernd | Russell, Robert.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 006.60151 MOL] (1).
12. Algorithmic aspects of bioinformatics

by Bongartz, Dirk | Bockenhauer, Hans-Joachim.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 572.80285 BOC] (1).
13. Bioinformatics : problem solving paradigms

by Sperschneider, Volker | Scheubert, Lena | Sperschneider, Jana.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 572.80285 SPE] (1).
14. Matters computational : ideas, algorithms, source code

by Arndt, Jorg.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Heidelberg: Springer, 2011Availability: Items available for loan: [Call number: 005.1 ARN] (1).
15. Algorithms unplugged

by Vocking, Berthold.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Heidelberg: Springer, 2011Availability: Items available for loan: [Call number: 005.1 VOC] (1).
16. Exact exponential algorithms.

by Fomin, Fedor V | Kratsch, D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 518.1 FOM] (1).
17. Limits of Mathematics

by Chaitin, Gregory J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, Availability: Items available for loan: [Call number: 511.321 CHA] (1).
18. Guide to graph algorithms : sequential, parallel and distributed

by Erciyes, K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland : Springer International Publishing, 2018Availability: Items available for loan: [Call number: 518​.1 ERC] (1).
19. Perspectives on projective geometry : a guided tour through real and complex geometry

by Richter-Gebert, Jürgen.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 2011Availability: Items available for loan: [Call number: 516.5 RIC] (1).
20. Numerical computations with GPUs

by Kindratenko, Volodymyr [edt].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland : Springer, 2014Availability: Items available for loan: [Call number: 004.0151 KIN] (1).

Powered by Koha