861. Computational intelligence : soft computing and fuzzy-neuro integration with applications

by Kaynak, Okyay.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 006.3 KAY] (1).
862. Lie groups and Lie algebras : Chapters 1-3

by Bourbaki, Nicolas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1989Availability: Items available for loan: [Call number: 512.55 BOU] (1).
863. Artificial immune systems and their applications

by Dasgupta, Dipankar.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 616.0790113 DAS] (1).
864. Computer speech : recognition, compression synthesis

by Schroeder, Manfred R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1999Availability: No items available Checked out (1).
865. Gems of Theoretical Computer Science

by Schoning, Uwe.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1995Availability: Items available for loan: [Call number: 004 SCH] (1).
866. Algorithms and data structures in VLSI design : OBDD - foundations and applications

by Meinel, Christoph | Theobald, Thorsten.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1998Availability: Items available for loan: [Call number: 621.395 MEI] (1).
867. Universal routing strategies for interconnection networks

by Scheideler, Christian.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 004 SCH] (1).
868. Algorithmic Number Theory

by Buhler, J. P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 004 BUH] (1).
869. Real algebraic geometry

by Bochnak, Jacek | Coste, Michel | Roy, Marie-Francoise.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1998Availability: Items available for loan: [Call number: 516.35 BOC] (1).
870. System Configuration Management

by Magnusson, Boris.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 004 MAG] (1).
871. Processor architecture : from dataflow to superscalar and beyond

by Silc, Jurij | Robic, Borut | Ungerer, Theo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1999Availability: Items available for loan: [Call number: 004.22 SIL] (1).
872. Multimedia information analysis and retrieval : IAPR International Workshop MINAR?98, Hong Kong, China, August 1998, proceedings

by Ip, Horace H. S | Smeulders, Arnoldus Wilhelmus Maria.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1998Availability: Items available for loan: [Call number: 004 IPH] (1).
873. Distributed computing : 12th International Symposium, DISC '98, Andros, Greece, September 24-26, 1998 : proceedings

by Kutten, Shay.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 004 KUT] (1).
874. Functions of a real variable : elements of mathematics

by Bourbaki, Nicolas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 515.8 BOU] (1).
875. Approximation algorithms

by Vazirani, Vijay V.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.1 VAZ] (2).
876. Information hiding: Second international workshop, IH'98, Portland, Oregon, USA, April 14-17, 1998, Proceedings

by Aucsmith, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 004 AUC] (1).
877. Principles of program analysis

by Nielson, Flemming | Hankin, Chris | Nielson, Hanne Riis.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 005.1 NIE] (1).
878. Introduction to Formal Hardware Verification

by Kropf, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 621.392 KRO] (1).
879. Logic programming paradigm : a 25-year perspective

by Apt, Krzysztof R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 005.115 APT] (1).
880. Object-process methodology : a holistic system paradigm

by Dori, Dov.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.117 DOR] (2).

Powered by Koha