1. Security analysis of network protocols : compositional reasoning and complexity-theoretic foundations

by Datta, Anupam.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: U.S.A.: ProQuest, 2005Availability: Items available for loan: [Call number: 005.8 DAT] (1).
2. Online computation and competitive analysis

by Borodin, Allan | El-Yaniv, Ran.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 005.1 BOR] (1).
3. Foundations of geometry

by Hilbert, David | Townsend, E. J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Kessinger Publishing, 2006Availability: Items available for loan: [Call number: 516.1 HIL] (1).
4. Mathematical Foundations of Computer Science 1999

by Kutytowski, Mirostaw.

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

by Hassani, Sadri.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 530.15 HAS] (1).
6. Professional Oracle 8i Application Programming

by Awai, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Mumbai: Shroff Publishers, 2001Availability: Items available for loan: [Call number: 005.74 AWA] (1).
7. Semiconductor-Device Electronics

by Warner, R. M | Grung, B. L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Holt, Rinehart and Winston, 1991Availability: Items available for loan: [Call number: 621.398 WAR] (1).
8. Computer Science Tapestry

by Astrachan, Owen L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston McGraw-Hill 2000Availability: Items available for loan: [Call number: 005.13 AST] (1).
9. Borland C++ builder : the complete reference

by Schildt, Herbert.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Tata McGraw-Hill, 2001Availability: Items available for loan: [Call number: 005.13 SCH] (1).
10. Web Warehousing and Knowledge Management

by Mattison, Rob.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Tata McGraw-Hill, 1999Availability: Items available for loan: [Call number: 658.4038 MAT] (2).
11. Implementing Virtual Private Networks

by Brown, Steven.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Tata McGraw-Hill, 2000Availability: Items available for loan: [Call number: 005.754 BRO] (1).
12. Visual C++ 6

by Pappas, Chris H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Tata McGraw-Hill, 2002Availability: Items available for loan: [Call number: 005.13 PAP] (1).
13. Financial Mangement and Policy

by Horne, James C. Van.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 1985Availability: Items available for loan: [Call number: 658.4 HOR] (1).
14. Foundations of geometry

by Venema, Gerard A.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Pearson Education, 2012Availability: Items available for loan: [Call number: 514 VEN] (1).
15. How the web was born : story of the world wide web

by Gillies, James | Cailliau, Robert.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Oxford University Press, 2000Availability: Items available for loan: [Call number: 004.6 GIL] (5).
16. Management information systems : solving business problems with information technology

by Post, Gerald V | Anderson, David L.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Tata McGraw-Hill, 2003Availability: Items available for loan: [Call number: 658.4 POS] (2).
17. Where the Action Is

by Dourish, Paul.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: MIT Press, 2001Availability: Items available for loan: [Call number: 004.019 DOU] (1).
18. File system forensic analysis

by Carrier, Brian.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Addison-Wesley, 2005Availability: Items available for loan: [Call number: 004 CAR] (1).
19. Naive Set Theory

by Halmos, Paul R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1960Availability: Items available for loan: [Call number: 511.3 HAL] (1).
20. Reason and Revolution

by Marcuse, Herbert.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Routledge, 2000Availability: Items available for loan: [Call number: 320 MAR] (1).

Powered by Koha