|
|
1.
|
A concise introduction to languages and machines
by Parkes, Alan P. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: vii, 343p.Publisher: London Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005 P229c] (1).
|
|
|
2.
|
Sets, logic and maths for computing
by Makinson, David. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 301p.Publisher: London Springer-Verlag 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.0151 M289s] (1).
|
|
|
3.
|
Principles of digital image processing
: core algorithms
by Burger, Wilhelm | Burge, Mark J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 327p.Publisher: London Springer 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.367 B911p] (1).
|
|
|
4.
|
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).
|
|
|
5.
|
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).
|
|
|
6.
|
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).
|
|
|
7.
|
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).
|
|
|
8.
|
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).
|
|
|
9.
|
Pattern recognition
: an algorithmic approach
by Murty, M. Narasimha | Devi, V. Susheela. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 263p.Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.4 M969p] (1).
|
|
|
10.
|
Communications and networking
: an introduction
by Cowley, John. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xix, 251p.Publisher: London Springer-Verlag 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.6 C839c2] (1).
|
|
|
11.
|
Principles of data mining
by Bramer, Max. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Publisher: London Springer 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.312 B731p2] (1).
|
|
|
12.
|
Introduction to software quality
by O'Regan, Gerard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiii, 354p.Publisher: New York Springer 2014Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 Or3i] (1).
|
|
|
13.
|
Concise computer vision
: an introduction into theory and algorithms
by Klette, Reinhard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 429p.Publisher: New York Springer 2014Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.37 K679c] (1).
|
|
|
14.
|
Semantics with Applications: An Appetizer
: [electronic resource] /
by Nielson, Hanne Riis [author.] | Nielson, Flemming [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XII, 274 p. 4 illus. online resource.Publisher: London : Springer London, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
15.
|
Object-Oriented Programming Languages: Interpretation
: [electronic resource] /
by Craig, Iain D [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 256 p. online resource.Publisher: London : Springer London, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
16.
|
Introduction to Operating System Design and Implementation
: The OSP 2 Approach /
: [electronic resource] :
by Kifer, Michael [author.] | Smolka, Scott A [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 172 p. online resource.Publisher: London : Springer London, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
17.
|
Practical Distributed Processing
: [electronic resource] /
by Brooke, Phillip J [author.] | Paige, Richard F [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 262 p. 24 illus. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
18.
|
Sets, Logic and Maths for Computing
: [electronic resource] /
by Makinson, David [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 302 p. online resource.Publisher: London : Springer London : Imprint: Springer, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
19.
|
Introduction to Computer Graphics
: Using Java 2D and 3D /
: [electronic resource] :
by Klawonn, Frank [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 286 p. 137 illus. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
20.
|
A Concise Introduction to Data Compression
: [electronic resource] /
by Salomon, David [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
