|
|
761.
|
Knowledge representation, reasoning and declarative problem solving
by Baral, Chitta. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xiv.Publisher: Cambridge Cambridge University Press 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 B231k] (1).
|
|
|
762.
|
Evolutionary algorithms for solving multi-objective problems
by Coello Coello, Carlos A | Van Veldhuizen, David A. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxi, 800p.Publisher: New York Springer Science+Business Media, Llc 2007Availability: No items available Checked out (1).
|
|
|
763.
|
Algorithmic combinatorics on partial words
by Blanchet-Sadri, Francine. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 385p.Publisher: Boca Raton Chapman & Hall/Crc 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 B595a] (1).
|
|
|
764.
|
The human-computer interaction handbook
by Sears, Andrew (Ed.) | Jacko, Julie A. (Ed.). Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiii, 1358p.Publisher: Crc Press New York 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.019 H88c2] (1).
|
|
|
765.
|
Object-oriented programming languages
by Craig, Jain D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 252p.Publisher: London Springer 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.117 C844o] (1).
|
|
|
766.
|
Verification techniques for system-level design
by Fujita, Masahiro, Ghosh, Indradeep | Prasad, Mukul. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 240p.Publisher: Amsterdam Elsevier 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3815 F955v] (1).
|
|
|
767.
|
Implementation of point-to-point protocol (PPP) for the IP router
by Tangirala S.M. Jagannadh. Material type: Book; Literary form: Description: iv.Publisher: Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 4.62 J181i] (1).
|
|
|
768.
|
Introduction to object-oriented programming
by Timothy Budd. Material type: Book; Literary form: Description: xv.Publisher: Availability: No items available Withdrawn (1).
|
|
|
769.
|
Software visualization
by Diehl, Stephan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 187p.Publisher: Berlin Springer-Verlag 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 D563s] (1).
|
|
|
770.
|
Logic in Computer Science
: Modelling and Reasoning about Systems
by Huth M | Ryan M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 387p.Publisher: Cambridge Cambridge University Press 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.0151 H971L] (1).
|
|
|
771.
|
Model-driven architecture in practice
by Pastor, Oscar | Molina, Juan Carlos. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 302p.Publisher: New York Springer 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.22 P268m] (1).
|
|
|
772.
|
Natural language processing, [IJCNLP 2008]
: proceedings...
by 3rd third international joint conference, Hyderabad, India, Hyderbad January7-12, 2008 | International Joint Conference on Natural Language Processing (3rd : 2008 : Hyderabad, India). Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2v.Publisher: Hyderabad International Institute of Information Technology 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.35 In8n 2008 v.1] (2).
|
|
|
773.
|
Systems engineering with SysML/UML
: Modeling, Analysis, Design
by Weilkiens, T. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 307p.Publisher: Amsterdam Elsevier 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.001171 W429s] (1).
|
|
|
774.
|
Natural language processing and text mining
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 265p.Publisher: London Springer-Verlag 2007Availability: No items available Checked out (1).
|
|
|
775.
|
Parallel programming in OpenMP
by Chandra, Rohit [ed.] | Dagum, Leonardo [ed.] | Kohr, Dave [ed.] | McDonald, Jeff [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 230p.Publisher: San Francisco Morgan Kaufmann Pub. 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.275 P212] (1).
|
|
|
776.
|
Handbook on modelling for discrete optimization Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii, 429p.Publisher: New York Springer Science+Business Media Inc. 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.6 H191] (1).
|
|
|
777.
|
Lecture notes in computer science; vol. 4708
: Mathematical foundations of computer science 2007
by Lecture Notes In Computer Science. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 861p.Publisher: Berlin Springer-Verlag 2007Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
778.
|
Lecture notes in computer science; vol. 4769
: graph-theoretic concepts in computer science
by Lecture Notes In Computer Science. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 340p.Publisher: Berlin Springer-Verlag 2007Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
779.
|
Lecture notes in computer science; vol. 4271
: graph-theoretic concepts in computer science
by Lecture Notes In Computer Science. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 358p.Publisher: Berlin Springer-Verlag 2006Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
780.
|
P C Software made simple
by Taxali, Ravi Kant. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiv, 726p.Publisher: New Delhi Tata Mcgraw-Hill 1994Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 005.26 T119] (1).
|
