101. Number theory : an introduction to mathematics, Part A

by Coppel, William A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 512.7 COP] (1).
102. Number theory : an introduction to mathematics, Part B

by Coppel, William A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Springer, 2006Availability: Items available for loan: [Call number: 512.7 COP] (1).
103. Handbook of optimization in telecommunications

by Resende, Mauricio G. C | Pardalos, Panos M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 621.382 RES] (1).
104. Logic synthesis and verification algorithms

by Hachtel, Gary D | Somenzi, Fabio.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.395 HAC] (1).
105. Pattern recognition and machine learning

by Bishop, Christopher M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: No items available Checked out (2).
106. Mathematical problems in image processing : partial differential equations and the calculus of variations

by Aubert, Gilles | Kornprobst, Pierre.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.3670151 AUB] (1).
107. Design of systems on a chip: design and test.

by Reis, Ricardo | Jess, Jochen A. G | Lubaszewski, Marcelo | Reis, Ricardo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2006Availability: Items available for loan: [Call number: 621.3815 REI] (1).
108. Security for wireless sensor networks

by Liu, Donggang | Ning, Peng.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2007Availability: Items available for loan: [Call number: 681.2 LIU] (1).
109. SystemVerilog for design

by Sutherland, Stuart | Davidmann, Simon | Flake, Peter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.392 SUT] (1).
110. Abstraction refinement for large scale model checking.

by Wang, Chao | Hachtel, Gary D | Somenzi, Fabio.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 004.21 WAN] (1).
111. Stochastic calculus models for finance I : the binomial asset pricing model

by Shreve, Steven E.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 332.0151922 SHR] (1).
112. Lie groups, Lie algebras, and representations : an elementary introduction

by Hall, Brian C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 512.55 HAL] (1).
113. Inference in hidden Markov models

by Cappe, Olivier | Moulines, Eric | Ryden, Tobias.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 519.233 CAP] (1).
114. Reverse Engineering of Object Oriented Code

by Potrich, Alessandra | Tonella, Paolo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.117 TON] (1).
115. Handbook of nature-inspired and innovative computing : integrating classical models with emerging technologies

by Zomaya, Albert Y.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 005.303 ZOM] (1).
116. Algebra. Volume I

by Waerden, B. L. van der | Schulenberger, John R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1991Availability: Items available for loan: [Call number: 512 WAE] (1).
117. Algebra. Volume II

by Schulenberger, John R | Waerden, B. L. van der.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 1991Availability: Items available for loan: [Call number: 512 WAE] (1).
118. Data compression : the complete reference

by Salomon, David.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 005.746 SAL] (1).
119. Introduction to default logic

by Besnard, Philippe.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1989Availability: Items available for loan: [Call number: 006.3 BES] (1).
120. Fundamental algorithms for permutation groups

by Butler, G.

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

Powered by Koha