61. Foundations of software technology and theoretical computer science

by Rangan, C. Pandu.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 004 RAN] (1).
62. Large-scale parallel data mining

by Zaki, Mohammed J | Ho, Ching-Tien.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 006.3 ZAK] (1).
63. Petri Net algebra

by Devillers, Raymond | Koutny, Maciej.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004.35 BES] (1).
64. Essentials of constraint programming

by Fruhwirth, Thom | Abdennadher, Slim.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.1121 FRU] (1).
65. Essential Java fast: How to write object oriented software for the internet

by Cowell, John.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 005.276 COW] (1).
66. Introduction to assembly language programming : from 8086 to Pentium processors

by Dandamudi, Sivarama P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.265 DAN] (1).
67. Algebraic combinatorics and computer science

by Crapo, H | Senato, D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Milano: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 511.6 CRA] (1).
68. Intelligent Database Systems

by Bertino, Elisa.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.74 BER] (1).
69. Multimedia data hiding

by Wu, Min | Liu, Bede.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.7 WUM] (1).
70. Planiverse : computer contact with a two-dimensional world

by Dewdney, Alexander Keewatin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 DEW] (1).
71. Management of Multimedia Networks and Services: 6th IFIP/IEEE International Conference, MMNS 2003 Belfast, Northern Ireland, UK, September 7-10, 2003: Proceedings

by Marshall, Alan | Agoulmine, Nazim.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 MAR] (1).
72. Advances in Computing Science - ASIAN 2003 : Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : Proceedings

by Saraswat, Vijay A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 SAR] (1).
73. Multi-agent systems and applications III: 3rd International central and Eastern European conference on multi-agent systems. CEEMAS 2003 Prague, Czech Republic, June 16-18, 2003

by Marik, Vladimir.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 MAR] (1).
74. Membrane computing : an introduction

by Paun, Gheorghe.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004.1 PAU] (1).
75. Explorations in quantum computing

by Williams, Colin P | Clearwater, Scott H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 004.1 WIL] (2).
76. Component-Based Software Testing with UML

by Gross, Hans-Gerhard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.117 GRO] (2).
77. UML 2000 - The Unified Modeling Language : Advancing the Standard : Third International Conference York, UK, October 2-6, 2000 : Proceedings

by Kent, Stuart | Evans, Andy | Selic, Bran.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 EVA] (1).
78. Cryptographic Hardware and Embedded Systems - CHES 2000: Second International Workshop Worecester, MA, USA 17-18, 2000 Proceddings

by Koc, Cetin Kaya | Paar, Christof.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 KOC] (1).
79. Advances in Spatial and Temporal Databases: 7th Internatinal Symposium, SSTD 2001 Redondo Beach, CA, USA, July 2001 Proceedings

by Jensen, Christian S.

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

by Chaitin, Gregory J.

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

Powered by Koha