781. Protocols for authentication and key establishment

by Boyd, Colin | Mathuria, Anish.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.82 BOY] (2).
782. Quantum hall effect

by Yoshioka, Daijiro.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New york: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 537.6226 YOS] (1).
783. Combinatorial Optimization

by Korte, Bernhard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 519.3 KOR] (1).
784. Public Key Cryptography : 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002, Paris, France, February 12-14, 2002 : Proceedings

by Naccache, David | Paillier,Pascal.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 NAC] (1).
785. Smart card application development using Java

by Hansmann, Uwe.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.73 HAN] (2).
786. Advances in evolutionary computing: Theory and applications

by Ghosh, Ashish | Tsutsui, Shigeyoshi.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.1 GHO] (1).
787. Data mining and knowledge discovery with evolutionary algorithms

by Freitas, Alex A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 006.3 FRE] (1).
788. Isabelle/HOL : a Proof Assistant for Higher-Order Logic

by Paulson, Lawrence C | Nipkow, Tobias | Wenzel, Markus | Paulson, Lawrence C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 NIP] (1).
789. Quantum transport in sub-micron devices : a theoretical introduction

by Magnus, W. C. J | Schoenmaker, W. J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 530.416 MAG] (1).
790. B2B Integration: Concepts and architecture

by Bussler, Christopher.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004.62 BUS] (1).
791. Handbook of mathematics

by Bronshtein, I. N | Muehlig, H | Musiol, G | Semendyayev, K. A.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 510 BRO] (1).
792. Geometry

by Audin, Michele.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 516 AUD] (1).
793. Algorithms on Trees and Graphs

by Valiente, Gabriel.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.1 VAL] (1).
794. Planning support systems in practice

by Geertman, Stan | Stillwell, John.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 333.730285 GEE] (1).
795. Semantic web - ISWC 2002 : first international semantic web conference Sardinia, Italy, june 2002 : proceedings

by Horrocks, Ian | Hendler, James.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 HOR] (1).
796. Third generation communication systems : future developments and advanced topics

by Ma, Jian-Guo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 621.382 MAJ] (1).
797. Probability essentials

by Jacod, Jean | Protter, Philip.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 519.2 JAC] (1).
798. Screen design manual : communicating effectively through multimedia.

by Thissen, Frank | Thissen, Frank.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.437 THI] (1).
799. Passive microwave remote sensing of the Earth : physical foundations

by Sharkov, Eugene A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 550.28 SHA] (1).
800. Digital cities II: Computational and sociological approaches

by Tanabe, Makoto.

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

Powered by Koha