41. UbiComp 2004 : ubiquitous computing : 6th International Conference, Nottingham, UK, September 7-10, 2004, proceedings

by Davies, Nigel | Mynatt, Elizabeth | Siio, Itiro.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 DAV] (1).
42. Advanced lectures on machine learning : ML Summer Schools 2003 : Canberra, Australia, February 2-14 2003 / Tubingen, Germany, August 4-16 2003 : revised lectures

by Bousquet, Olivier | Luxburg, Ulrike von | Ratsch, Gunnar.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 006.3 BOU] (1).
43. Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings

by Wang, Farn.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 WAN] (1).
44. Advanced man-machine interaction : fundamentals and implementation

by Kraiss, Karl-Friedrich.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 004.019 KRA] (2).
45. Algorithmic information theory: mathematics of digital information processing

by Seibt, Peter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 006.31 SEI] (1).
46. Randomness and Completeness in Computational Complexity

by Melkebeek, Dieter van.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 MEL] (1).
47. Logic for learning : learning comprehensible theories from structured data

by Lloyd, J. W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 006.31 LLO] (1).
48. Advances in evolutionary computing: Theory and applications

by Ghosh, Ashish | Tsutsui, Shigeyoshi.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.1 GHO] (1).
49. Automata and computability

by Kozen, Dexter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 1997Availability: Items available for loan: [Call number: 511.3 KOZ] (1).
50. Computer Primer

by Rajaraman, Dharma.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 1996Availability: Items available for loan: [Call number: 005.1 RAJ] (2).
51. Assembly Language for the PC

by Socha, John.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 1996Availability: Items available for loan: [Call number: 005.1 SOC] (1).
52. Elements of the Theory of Computation

by Lewis, Harry R | Papadimitriou, Christos H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2003Availability: Items available for loan: [Call number: 004 LEW] (8).
53. XML : related technologies and programming with java

by International Business Machines Corporation.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2004Availability: Items available for loan: [Call number: 005.72 INT] (1).
54. Advanced data warehouse : multidimensional modeling with DB2 OLAP server

by International Business Machines Corporation.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2004Availability: Items available for loan: [Call number: 005.74 INT] (1).
55. Theory of automata, formal langauges and computation

by Xavier, S. P. Eugene.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: New Age International, 2004Availability: Items available for loan: [Call number: 511 XAV] (1).
56. Theory of automata, formal languages and computation : strictly as per U.P. Tech syllabus

by Xavier, Eugene S. P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: New Age International, 2005Availability: Items available for loan: [Call number: 511.3 XAV] (1).
57. Introduction to automata theory, languages, and computation

by Hopcroft, John E | Motwani, Rajeev | Ullman, Jeffrey D.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Pearson Education Asia, 2007Availability: Items available for loan: [Call number: 511.3 HOP] (1).
58. Artificial intelligence emerging trends & applications : proceedings of the Fifth International Conference on Knowledge Based Computer Systems : KBCS-2004

by Sasikumar, M | Vakil, Rahul D | Kavitha M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Allied Publishers, 2004Availability: Items available for loan: [Call number: 006.3 SAS] (1).
59. System Software

by Beck, Leland L.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Delhi: Pearson Education Asia, 2001Availability: Items available for loan: [Call number: 005.42 BEC] (3).
60. Java Virtual Machine Specification

by Lindholm, Tim.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Delhi: Addison-Wesley, 2001Availability: Items available for loan: [Call number: 005.73 LIN] (1).

Powered by Koha