|
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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; Format:
print
; Literary form:
Not fiction
Publisher: Delhi: Addison-Wesley, 2001Availability: Items available for loan: [Call number: 005.73 LIN] (1).
|