Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 23 results. Subscribe to this search

|
1. A concise introduction to languages and machines

by Parkes, Alan P.

Material type: book 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 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 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 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 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 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 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 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 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 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 Book; Format: print ; Literary form: not fiction Publisher: London Springer 2013Availability: No items available Checked out (1).

12. Introduction to software quality

by O'Regan, Gerard.

Material type: book 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 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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).

Powered by Koha