|
|
1641.
|
Computer vision
: algorithms and applications
by Szeliski, Richard. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xx, 812p.Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.37 Sz25c] (1).
|
|
|
1642.
|
Explorations in quantum computing
by Williams, Colin P. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxii, 717p.Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 W67q2] (1).
|
|
|
1643.
|
Analysis and synthesis of computer systems
by Gelenbe, Erol | Mitrani, Isi. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: x, 313p.Publisher: London Imperial College Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.24 G281a2] (1).
|
|
|
1644.
|
Bayesian artificial intelligence
by Korb, Kevin B | Nicholson, Ann E. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxv, 463p.Publisher: Boca Raton Crc Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.542 K841b2] (1).
|
|
|
1645.
|
Elements of computer security
by Salomon, David. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix, 374p.Publisher: London Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.8 Sa36e] (1).
|
|
|
1646.
|
Introduction to software process improvement
by O'Regan, Gerard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 246p.Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.10685 Or3i] (1).
|
|
|
1647.
|
Proofs and algorithms
: an introduction to logic and computability
by Dowek, Gilles. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 155p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 D753p] (1).
|
|
|
1648.
|
Fleet telematics
: real-time management and planning of commercial vehicle operations
by Goel, Asvin. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 184p.Publisher: New York Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 388.342 G552f] (1).
|
|
|
1649.
|
Introduction to artificial intelligence
by Ertel, Wolfgang. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 316p.Publisher: London Springer 2011Availability: No items available Checked out (1).
|
|
|
1650.
|
Introduction to compiler design
by Mogensen, Torben Aegidius. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxi, 204p.Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.453 M724i] (1).
|
|
|
1651.
|
Simulation approaches in transportation analysis
: recent advances and challenges
by Kitamura, Ryuichi, Ed | Kitamura, Ryuichi, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 399p.Publisher: Berlin Springer 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 388.30113 Si59] (1).
|
|
|
1652.
|
Simulation-based optimization
: parametric optimization techniques and reinforcement learning
by Gosavi, Abhijit. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxvii, 554p.Publisher: Boston Kluwer Academic Publishers 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.2 G69s] (1).
|
|
|
1653.
|
Neural nets and chaotic carriers [2nd ed.]
by Whittle, Peter. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 230p.Publisher: Singapore World Scientific 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.32 W619n2] (3).
|
|
|
1654.
|
Computability and complexity theory
by Homer, Steven | Selman, Alan L. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 298p.Publisher: New York Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 H752c2] (1).
|
|
|
1655.
|
Specification of software systems
by Alagar, V.S | Periyasamy, K. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxv, 644p.Publisher: London Springer-Verlag 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 Al11s2] (1).
|
|
|
1656.
|
Rigorous software development
: an introduction to program verification
by Almeida, Jose Bacelar | Frade, Maria João | Pinto, Jorge Sousa | Melo de Sousa, Simão. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 263p.Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.14 R449] (1).
|
|
|
1657.
|
Advanced topics in bisimulation and coinduction
by | Sangiorgi, Davide, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 326p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.015113 Ad95] (1).
|
|
|
1658.
|
Learning search control knowledge
by Minton, Steven. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 214p.Publisher: Boston Kluwer Academic Publishers 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 M668l] (1).
|
|
|
1659.
|
Operations research and cyber-infrastructure
by Chinneck, John W., Ed | Bjarni Kristjansson, Ed | Saltzman, Matthew, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 470p.Publisher: New York Springer 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003.5 Op2] (1).
|
|
|
1660.
|
Stochastically-based semantic analysis
by Minker, Wolfgang | Waibel, Alex. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 221p.Publisher: Boston Kluwer Academic Publishers 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.35 M665s] (1).
|
