|
301.
|
Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems
by Bowman, Howard | Gomez, Rodolf. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2006Availability: Items available for loan: [Call number: 004.015113 BOW] (1).
|
|
302.
|
Lattices and ordered algebraic structures
by Blyth, T. S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2005Availability: Items available for loan: [Call number: 511.33 BLY] (1).
|
|
303.
|
Introduction to differential manifolds
by Barden, Dennis | Thomas, Charles. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Imperial College Press, 2003Availability: Items available for loan: [Call number: 516.36 BAR] (1).
|
|
304.
|
Information theory and the central limit theorem
by Johnson, Oliver. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Imperial College Press, 2004Availability: Items available for loan: [Call number: 519.2 JOH] (1).
|
|
305.
|
Structure and properties of atomic nanoclusters
by Alonso, Julio A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Imperial College Press, 2005Availability: Items available for loan: [Call number: 539.6 ALO] (1).
|
|
306.
|
Mathematical introduction to control theory
by Engelberg, Shlomo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Imperial College Press, 2005Availability: Items available for loan: [Call number: 515.642 ENG] (1).
|
|
307.
|
Nonlinear and adaptive control : tools and algorithms for the user
by Astolfi, Alessandro. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Imperial College Press, 2006Availability: Items available for loan: [Call number: 629.836 AST] (1).
|
|
308.
|
Fundamentals of electromagnetics with MATLAB
by Lonngren, Karl E | Savov, Sava V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: U.S.A.: SciTech Publishing, 2005Availability: Items available for loan: [Call number: 530.141 LON] (1).
|
|
309.
|
Developing Trust
by Curtin, Matt. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: U.S.A.: Apress, 2002Availability: Items available for loan: [Call number: 005.8 CUR] (1).
|
|
310.
|
Discrete mathematics for computer science
by Bogart, Kenneth P | Drysdale, Robert L | Stein, Clifford. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Emeryville: Key College Publishing, 2006Availability: Items available for loan: [Call number: 004.0151 BOG] (1).
|
|
311.
|
Why knot ? : an Introduction to the mathematical theory of knots
by Adams, Colin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: California: Key College Publishing, 2004Availability: Items available for loan: [Call number: 514.224 ADA] (1).
|
|
312.
|
Logarithmic combinatorial structures : a probabilistic approach
by Arratia, Richard | Barbour, A. D | Tavare, Simon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Zurich: European Mathematical Society, 2003Availability: Items available for loan: [Call number: 519.2 ARR] (1).
|
|
313.
|
Course in error-correcting codes
by Justesen, J | Hoholdt, Tom. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland: Oxford University Press, 2004Availability: Items available for loan: [Call number: 005.72 JUS] (1).
|
|
314.
|
Entropy measures, maximum entropy principle and emerging applications
by Karmeshu, Ed | Karmeshu, Ed. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 003.54 KAR] (1).
|
|
315.
|
Database theory - ICDT 2003 : 9th international conference Siena, Italy, January 2003 ; proceedings
by Calvanese, Diego | Lenzerini, Maurizio | Motwani, Rajeev. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 CAL] (1).
|
|
316.
|
Block error-correcting codes : a computational primer
by Xambo-Descamps, S. Sebastia. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.72 XAM] (1).
|
|
317.
|
Advances in Databases and Information Systems: 7th East European Conference, ADBIS 2003 Dresden, Germany, Septemeber 3-6, 2003: Proceedings
by Kalinichenko, Leonid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 KAL] (1).
|
|
318.
|
Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : Proceedings
by Anderson, Stuart | Felici, Massimo | Littlewood, Bev. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIT] (1).
|
|
319.
|
Advances in Bayesian networks
by Gamez, Jose A | Moral, Serafin | salmeron, Antonio. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 006.32 GAM] (1).
|
|
320.
|
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).
|