1021. Advanced arithmetic for the digital computer : Design of arithmetic units

by Kulisch, Ulrich W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004.01513 KUL] (1).
1022. Neural networks in chemistry and drug design: An introduction

by Zupan, Jure | Gasteiger, Johann.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Weinheim: Wiley-VCH, 1999Availability: Items available for loan: [Call number: 006.32 ZUP] (1).
1023. Virtual screening for bioactive molecules

by Bohm, Hans-Joachim | Schneider, Gisbert.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Weinheim: Wiley-VCH, 2000Availability: Items available for loan: [Call number: 615.19 BOH] (1).
1024. Advanced lectures on networking : networking 2002 tutorials

by Gregori, Enrico | Anastasi, Giuseppe | Basagni, Stefano.

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

by Hansmann, Uwe.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004.165 HAN] (1).
1026. Thinking in complexity : the computational dynamics of matter, mind and mankind

by Mainzer, Klaus.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 501 MAI] (1).
1027. Plan-based control of robotic agents : improving the capabilities of autonomous robots

by Beetz, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 006.3 BEE] (1).
1028. Computation in cells and tissues : perspectives and tools of thought.

by Paton, Ray.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 571.6 PAT] (1).
1029. Functional approach to data management : modeling, analyzing and integrating heterogeneous data

by Gray, Peter M. D | Kerschberg, Larry | King, Peter J. H | Poulovassilis, Alexandra.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.74 GRA] (1).
1030. Cryptographic hardware and embedded systems - CHES 2002: 4th international workshop Redwood shores, CA, USA, August 13-15, 2002 revised papers

by Kaliski, Burton S | Koc, Cetin Kaya | Paar, Christof.

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

by Petitcolas, Fabien A. P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PET] (1).
1032. Programming in Prolog : using the ISO standard

by Clocksin, William F | Mellish, Christopher S.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.133 CLO] (1).
1033. Secure Systems Development with UML

by Jurjens, Jan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.117 JUR] (1).
1034. Abstract state machines : a method for high-level system design and analysis

by Stark, Robert | Borger, Egon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 004.21 BOR] (2).
1035. Life-like characters : tools, affective functions and applications

by Prendinger, Helmut | Ishizuka, Mitsuru.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.3 PRE] (1).
1036. Algorithms for memory hierarchies

by Meyer, Ulrich | Meyer, Ulrich | Sanders, Peter | Sanders, Peter | Sibeyn, Jop | Sibeyn, Jop.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 MEY] (1).
1037. Perspectives on web services : applying SOAP, WSDL and UDDI to real-world projects

by Tomlinson, Mark | Peuser, Stefan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 005.276 ZIM] (1).
1038. Aspect-oriented database systems

by Rashid, Awais.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 005.757 RAS] (1).
1039. Advanced topics in computational partial differential equations : numerical methods and Diffpack programming

by Langtangen, Hans Petter | Tveito, Aslak.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 518.64 LAN] (1).
1040. Embedded robotics : mobile robot design and applications with embedded systems

by Braunl, Thomas.

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

Powered by Koha