|
201.
|
History of the logarithmic slide rule and allied instruments, and On the history of Gunter?s scale and the slide rule during the seventeenth century
by Cajori, Florian. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Astragal Press, 1994Availability: Items available for loan: [Call number: 681.14 CAJ] (1).
|
|
202.
|
Network optimization : continuous and discrete models
by Bertsekas, Dimitri P. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Belmont: Athena Scientific, 1998Availability: Items available for loan: [Call number: 004.6 BER] (1).
|
|
203.
|
Simulation of semiconductor processes and devices 2004 : SISPAD 2004
by Wachutka, Gerhard | Schrag, G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 621.3815 WAC] (2).
|
|
204.
|
Principles and Practice of Semantic Web reasoning : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003 : proceedings
by Bry, Francois | Henze, Nicola | Maluszynski, Jan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 004 BRY] (1).
|
|
205.
|
Arnold's problems
by Arnold, Vladimir I. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 510.76 ARN] (1).
|
|
206.
|
Software engineering 1 : abstraction and modelling.
by Bjorner, Dines | Bjorner, Dines. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 005.1 BJO] (1).
|
|
207.
|
Elements of finite model theory
by Libkin, Leonid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 511.3 LIB] (1).
|
|
208.
|
Modeling spatial and economic impacts of disasters
by Okuyama, Yasuhide | Chang, Stephanie E. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 910.285 OKU] (1).
|
|
209.
|
Statistical learning theory and stochastic optimization : Ecole d'Ete de Probabilites de Saint-Flour XXXI-2001
by Catoni, Olivier. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 519.2 CAT] (1).
|
|
210.
|
New developments in classification and data analysis : proceedings of the meeting of the Classification and Data Analysis Group (CLADAG) of the Italian Statistical Society, University of Bologna, September 22-24, 2003
by Monari, P | Mignani, Stefania | Montanari, Aangela | Vichi, Maurizio. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 519.535 VIC] (1).
|
|
211.
|
Network analysis : methodological foundations
by Brandes, Ulrik | Erlebach, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 BRA] (1).
|
|
212.
|
Biologically inspired algorithms for financial modelling
by Brabazon, Anthony | O'Neill, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 332.01519 BRA] (1).
|
|
213.
|
Theorem Proving in Higher Order Logics : Eighteenth International Conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005 ; proceedings
by Hurd, Joe | Melham, Tom. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 HUR] (1).
|
|
214.
|
Multiobjective optimization : principles and case studies
by Siarry, Patrick | Collette, Yann. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 519.3 COL] (1).
|
|
215.
|
Mathematical foundations of computer science 2003: 28th INternational symposium, MFCS 2003 Bratislava, Solvakia, August 25-29, 2003: Proceeedings
by Rovan, Branislav | Vojtas, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 ROV] (1).
|
|
216.
|
Advances in Intelligent Data Analysis V: 5th International Symposium on Intelligent Data Analysis, IDA 2003: Proceedings
by Berthold, Michael R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BER] (1).
|
|
217.
|
Probability, statistical optics, and data testing : a problem solving approach
by Frieden, B. Roy. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 519.2 FRI] (1).
|
|
218.
|
Paul Erdos and his mathematics
by Lovasz, Laszlo | Halasz, Gabor | Lovasz, Laszlo | Simonovits, Miklos | Simonovits, Miklos | Sos, Vera T | Sos, Vera T. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 510.8 HAL] (2).
|
|
219.
|
B2B Integration: Concepts and architecture
by Bussler, Christopher. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004.62 BUS] (1).
|
|
220.
|
Algorithms in Bioinformatics
by Guigo, Roderic | Guigo, Roderic | Guigo, Roderic | Gusfield, Dan | Gusfield, Dan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 GUI] (1).
|