821. 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).
822. 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).
823. 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).
824. Advances in computing and information--ICCI '91

by Fiala, F | Dehne, Frank | Koczkodaj, W. W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1991Availability: Items available for loan: [Call number: 004 DEH] (1).
825. Ordinary differential equations

by Cooke, Roger | Arnold, Vladimir I.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 1992Availability: No items available Checked out (1).
826. Nonmonotonic logic : context-dependent reasoning

by Marek, V. W | Truszczynski, Miroslaw.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1993Availability: Items available for loan: [Call number: 006.3 MAR] (1).
827. Computer, my life

by Zuse, Konrad.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 1993Availability: Items available for loan: [Call number: 621.39092 ZUS] (1).
828. Algebraic function fields and codes

by Stichtenoth, Henning.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 1993Availability: Items available for loan: [Call number: 512.74 STI] (1).
829. Stochastic Analysis

by Malliavin, Paul.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 519.23 MAL] (1).
830. Differential forms and applications

by Carmo, Manfredo Perdigao do.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 1994Availability: No items available Checked out (1).
831. Abstract harmonic analysis. Volume II : structure and analysis for compact groups analysis on locally compact abelian groups

by Hewitt, Edwin | Ross, Kenneth A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1970Availability: Items available for loan: [Call number: 515.2433 HEW] (1).
832. Functional analysis

by Yosida, Kosaku.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 515.7 YOS] (1).
833. Homology

by Mac Lane, Saunders.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 514.23 MAC] (1).
834. Topological methods in algebraic geometry

by Hirzebruch, Friedrich.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 516.35 HIR] (1).
835. STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings

by Mayr, Ernst W | Puech, Claude.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 004 MAY] (1).
836. Efficient checking of polynomials and proofs and the hardness of approximation problems

by Sudan, Madhu.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 004 SUD] (1).
837. Disconnected operation in a distributed file system

by Kistler, James Jay.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1996Availability: Items available for loan: [Call number: 004 KIS] (1).
838. Geometric measure theory

by Federer, Herbert.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1996Availability: Items available for loan: [Call number: 515.42 FED] (1).
839. Genetic Algorithms + Data Structures = Evolution Programs

by Michaelewicz, Zbigniew.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 005.1 MIC] (1).
840. Logics for concurrency : structure versus automata

by Moller, Faron | Birtwistle, Graham.

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

Powered by Koha