821. 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).
822. Ordinary differential equations

by Cooke, Roger | Arnold, Vladimir I.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 1992Availability: Items available for loan: [Call number: 515.352 ARN] (1).
823. 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).
824. 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).
825. 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).
826. 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).
827. 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).
828. 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).
829. 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).
830. 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).
831. 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).
832. 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).
833. 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).
834. 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).
835. 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).
836. 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).
837. 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).
838. Connectionist, statistical and symbolic approaches to learning for natural language processing

by Wermter, Stefan | Riloff, Ellen | Scheler, Gabriele.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 006.3 WER] (1).
839. Coloured petri nets : basic concepts, analysis methods and practical use. Volume 1

by Jensen, Kurt.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 511.321 JEN] (1).
840. Public-key cryptography

by Salomma, Arto.

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

Powered by Koha