|
1.
|
LOGIC, ALGEBRA AND DATABASES
by Gray, Peter M. D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 294.Publisher: New Delhi Affiliated East-West Press Pvt. Ltd. 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 G794l] (1).
|
|
2.
|
LOGIC FOR APPLICATIONS
by Nerode,Anil, Shore,Richard A | Schneider,Fred B. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,456.Publisher: Springer-Verlag,New York 1997Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1015113 N358L2] (1).
|
|
3.
|
Ethical and social issues in the information age
by Kizza, Joseph Migga. Material type: Book Description: xiv,172p.Publisher: Tokyo Springer-Verlag 1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 174.90904 K658e] (1).
|
|
4.
|
FUNDAMENTALS OF THE NEW ARTIFICIAL INTELLIGENCE
by Munakata,Toshinori. Material type: Book Description: xi,231.Publisher: Springer-Verlag, New York c1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 M92F] (1).
|
|
5.
|
Image processing for computer graphics and vision
by Velho, Luiz | Frery, Alejandro C. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 461p.Publisher: London Springer-Verlag 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.6 V543i2] (1).
|
|
6.
|
Elements of computation theory
by Singh, Arindama. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 422p.Publisher: London Springer 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 Si64e] (1).
|
|
7.
|
Fundamentals of predictive text mining
by Weiss, Sholom M | Indurkhya, Nitin. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 226p.Publisher: London Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.312 W436f] (1).
|
|
8.
|
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).
|
|
9.
|
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).
|
|
10.
|
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).
|
|
11.
|
An introduction to Kolmogorov complexity and its applications
by Li, Ming | Vitanyi, Paul. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxiii, 790p.Publisher: New York Springer 2008Availability: No items available Checked out (1).
|
|
12.
|
Digital image processing
: an algorithmic introduction using Java
by Burger, Wilhelm | Burge, Mark J. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxiii, 811p.Publisher: London Springer 2016Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.6633 B911d2] (1).
|
|
13.
|
Introduction to Assembly Language Programming
: For Pentium and RISC Processors /
: [electronic resource] :
by Dandamudi, Sivarama P [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 692 p. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
14.
|
An Integrated Approach to Software Engineering
: [electronic resource] /
by Jalote, Pankaj [author.] | SpringerLink (Online service). Edition: Third Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 566 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
15.
|
Theory of Computation
: [electronic resource] /
by Kozen, Dexter C [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 418 p. 1 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
16.
|
Ethical and Social Issues in the Information Age
: [electronic resource] /
by Kizza, Joseph Migga [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 432 p. 17 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).
|
|
17.
|
An Introduction to Kolmogorov Complexity and Its Applications
: [electronic resource] /
by Li, Ming [author.] | [author.2 ] | . Edition: Third Edition. Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 792 p. 21 illus. online resource.New York, NY : Springer New York : Imprint: Springer, 2008. Online access: Click here to access online Availability: Items available for loan: (1).
|
|
18.
|
Fundamentals of the New Artificial Intelligence
: Neural, Evolutionary, Fuzzy and More /
: [electronic resource] :
by Munakata, Toshinori [editor.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 256 p. 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).
|
|
19.
|
Digital Image Processing
: An Algorithmic Introduction using Java /
: [electronic resource] :
by Burger, Wilhelm [author.] | Burge, Mark James [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 565 p. 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.
|
Automata and Computability [Perpetual]
by Kozen, Dexter C. Description: xiii, 400p.Publisher: Springer 1997Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 K849a] (1).
|