801. Agent based manufacturing : advances in the holonic approach

by Deen, S. M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 670.285 DEE] (1).
802. Environmental standards : combined exposures and their effects on human beings and Their Environment

by Streffer, Christian.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 615.902 STR] (1).
803. Advances in data mining : applications in e-commerce, medicine, and knowledge management

by Perner, Petra.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 006.3 PER] (1).
804. Algorithmics for hard problems

by Hromkovic, Juraj.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.1 HRO] (1).
805. Substitutions in dynamics, arithmetics and combinatorics

by Pytheas Fogg, N | Berthe, V.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 510 PYT] (1).
806. Computer safety, reliability, and security : 21st international conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings

by Anderson, Stuart | Bologna, Sandro | Felici, Massimo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 AND] (1).
807. High-dimensional indexing : transformational approaches to high-dimensional range similarity searches

by Yu, Cui.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 004 YU,] (1).
808. Algorithms in Bioinformatics

by Guigo, Roderic | Guigo, Roderic | Guigo, Roderic | Gusfield, Dan | Gusfield, Dan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 GUI] (1).
809. Image analysis, random fields and Markov chain Monte Carlo methods : a mathematical introduction

by Winkler, Gerhard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 621.367015192 WIN] (2).
810. Security protocols : 9th international workshop Cambridge, UK, April 25-27, 2001

by Christianson, Bruce | Crispo, Bruno | Malcolm, James A | Roe, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 CHR] (1).
811. Infrastructure Security : International Conference, Infrasec 2002 Bristol, UK, October 1-3, 2002 : Proceedings

by Davida, George | Frankel, Yair | Rees, Owen.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 DAV] (1).
812. Unconventional models of computation: Third international conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings

by Calude, Cristian S | Dinneen, Michael J | Peper, Ferdinand.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 CAL] (1).
813. Frontiers in numerical analysis : Durham 2002

by Blowey, James F | Craig, Alan W | Shardlow, Tony.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 519.4 BLO] (1).
814. Web Intelligence

by Zhong, Ning | Liu, Jiming | Yao, Yiyu.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 025.04 ZHO] (1).
815. Invasive software composition

by Abmann, Uwe.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 005.1 ABM] (1).
816. Group-theoretical methods in image understanding

by Kanatani, Kenichi.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 1990Availability: Items available for loan: [Call number: 621.367 KAN] (1).
817. Compiler generators : what they can do, what they might do, and what they will probably never do

by Tofte, Mads.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1990Availability: Items available for loan: [Call number: 005.453 TOF] (1).
818. Parsing theory.

by Sippu, Seppo | Soisalon-Soininen, Eljas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 1990Availability: Items available for loan: [Call number: 511.3 SIP] (1).
819. Group theoretical methods in image processing

by Lenz, Reiner.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1990Availability: Items available for loan: [Call number: 004 LEN] (1).
820. Statistical physics : equilibrium statistical mechanics

by Toda, Morikazu | Kubo, R | Saito, N.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 530.13 TOD] (1).

Powered by Koha