41. Modern formal methods and applications

by Gabbar, Hossam A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 004 GAB] (1).
42. Networks of learning automata : techniques for online stochastic optimization

by Thathachar, M. A. L | Sastry, P. S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Kluwer Academic Publishers, 2004Availability: Items available for loan: [Call number: 519.23 THA] (1).
43. Embedded Systems Design

by Berger, Arnold S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Kansas: CMP Books, 2002Availability: Items available for loan: [Call number: 004.16 BER] (1).
44. Statistical signal processing : modelling and estimation

by Chonavel, T.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 621.3822 CHO] (2).
45. Practical Software Reuse

by Ezran, Michel.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.1 EZR] (1).
46. Logarithmic combinatorial structures : a probabilistic approach

by Arratia, Richard | Barbour, A. D | Tavare, Simon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Zurich: European Mathematical Society, 2003Availability: Items available for loan: [Call number: 519.2 ARR] (1).
47. Handbook of stochastic methods: for Physics, Chemistry and the Natural Sciences

by Gardiner, C. W.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 519.2 GAR] (1).
48. Quantum noise : a handbook of markovian and non-markovian quantum stochastic methods with applications to quantum optics

by Gardiner, Crispin W | Zoller, P.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 535 GAR] (1).
49. Introduction to Markov processes

by Stroock, Daniel W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: No items available Checked out (1).
50. Design and analysis of randomized algorithms : introduction to design paradigms

by Hromkovic, Juraj.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 519.23 HRO] (1).
51. Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings

by Bravetti, Mario | Kloul, Leila | Zavattaro, Gianluigi.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 BRA] (1).
52. Probability, statistical optics, and data testing : a problem solving approach

by Frieden, B. Roy.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 519.2 FRI] (1).
53. Agent based manufacturing : advances in the holonic approach

by Deen, S. M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 670.285 DEE] (1).
54. Elements of queueing theory: Palm martingale calculus and stochastic recurrences

by BAccelli, Francois | Bremaud, Pierre.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 519.82 BAC] (1).
55. Natural introduction to probability theory

by Meester, Ronald.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Birkhauser, 2003Availability: Items available for loan: [Call number: 519.23 MEE] (1).
56. Processes and materials of manufacture

by Lindberg, Roy A.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2000Availability: Items available for loan: [Call number: 670 LIN] (3).
57. Practical Parallel Programming

by Wilson, Gregory V.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 1998Availability: Items available for loan: [Call number: 004.35 WIL] (1).
58. Red Hat Linux

by Cox, Kerry.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2001Availability: Items available for loan: [Call number: 005.754 COX] (4).
59. Elements of manufacturing processes

by Parashar, B. S. Nagendra | Mittal, R. K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2003Availability: Items available for loan: [Call number: 670 PAR] (1).
60. Water works engineering : planning, design and operation

by Qasim, Syed R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2002Availability: Items available for loan: [Call number: 627 QAS] (1).

Powered by Koha