PKK Library

Your cart is empty.

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

Your search returned 46 results. Subscribe to this search

Unhighlight Highlight
|
21.
Synthesizer generator reference manual

by Reps, Thomas W | Teitelbaum, Tim.

Edition: 3rdMaterial type: book Book; Format: print ; Literary form: not fiction Description: xi, 171p.Publisher: New York Springer-Verlag 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 R299s3] (1).

Place hold Add to cart
22.
Object-oriented database programming

by Alagic, Suad.

Material type: book Book Description: xv, 320p.Publisher: New York Springer c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Al11o] (1).

Place hold Add to cart
23.
DESIGN AND ANALYSIS OF ALGORITHMS

by Kozen, Dexter C.

Material type: book Book Description: x,320.Publisher: New York Springer-Verlag c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 K849d] (2).

Place hold Add to cart
24.
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE

by Fejer, Peter A | Simovici, Dan A.

Material type: book Book Description: x,425.Publisher: New York Springer-Verlag c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.0151 F329m] (1).

Place hold Add to cart
25.
PRACTICAL THEORY OF PROGRAMMING

by Hehner,Eric C.R.

Material type: book Book Description: 244.Publisher: Springer-Verlag, New York c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 H362P] (1).

Place hold Add to cart
26.
ALGORITHMIC ALGEBRA

by Mishra,Bhubaneswar.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,416.Publisher: Springer-Verlag, New York 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512 M68A] (1).

Place hold Add to cart
27.
BEAUTY IS OUR BUSINESS

by Feijen, W. H. J.

Material type: book Book Description: xix,453.Publisher: New York Springer-Verlag c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 B385] (1).

Place hold Add to cart
28.
Computational Geometry : An introduction

by Preparata, Franco P | Shamos, Michael Ian.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,390p.Publisher: New York Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 516.02854 P919c] (1).

Place hold Add to cart
29.
COMPUTATIONAL GEOMETRY

by Preparata, Franco P | Shamos, Michael Ian.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,390.Publisher: New York Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 516.02854 P919c] (1).

Place hold Add to cart
30.
COMPUTATIONAL GEOMETRY

by Preparata, Franco P | Shamos, Michael Ian.

Edition: exp.Material type: book Book; Format: print ; Literary form: not fiction Description: xii,390.Publisher: New York Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 516.02854 P919c] (1).

Place hold Add to cart
31.
COMPUTATIONAL GEOMETRY

by Preparata, Franco P | Shamos, Michael Ian.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,390.Publisher: New York Springer-Verlag 1985Availability: No items available Checked out (1).

Place hold Add to cart
32.
ADAPTIVE SIGNAL PROCESSING

by Alexander, S. Thomas.

Material type: book Book; Format: print ; Literary form: not fiction Description: ix,179.Publisher: New York Springer Verlag 1986Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 621.38043 AL27a] (1).

Add to cart
33.
SYNTHESIZER GENERATOR

by Reps, Thomas W | Teitelbam, Tim.

Material type: book Book Description: xiii,317.Publisher: New York Springer Verlag c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 R299s] (1).

Place hold Add to cart
34.
On a method of multiprogramming

by Feijen, W.H.J | Van Gasteren, A.J.M.

Material type: book Book; Format: print ; Literary form: not fiction Description: xx, 370p.Publisher: New York Springer-Verlag 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.434 F324o] (1).

Place hold Add to cart
35.
THE DESIGN AND ANALYSIS OF ALGORITHMS

by Kozen, Dexter C.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York S[ringer-Verlag 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 K849d cop.7] (1).

Place hold Add to cart
36.
A theory of objects

by Abadi, Martin | Luca Cardelli.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 396p.Publisher: New York Springer 1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 Ab14t] (1).

Place hold Add to cart
37.
The design and analysis of algorithms

by Kozen, Dexter C.

Material type: book Book; Format: print ; Literary form: not fiction Description: x, 320p.Publisher: New York Springer-Verlag 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 K849d] (2).

Place hold Add to cart
38.
Reverse Engineering of Object Oriented Code : [electronic resource] /

by Tonella, Paolo [author.] | Potrich, Alessandra [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 208 p. 80 illus. 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).

Place hold Add to cart
39.
Evolutionary Synthesis of Pattern Recognition Systems : [electronic resource] /

by Bhanu, Bir [author.] | Lin, Yingqiang [author.] | Krawiec, Krzysztof [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXIV, 296 p. 95 illus. 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).

Place hold Add to cart
40.
Super-Recursive Algorithms : [electronic resource] /

by Burgin, Mark [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 304 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).

Place hold Add to cart

Powered by Koha