PKK Library

Your cart is empty.

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

Your search returned 2607 results. Subscribe to this search

Unhighlight Highlight
|
1061.
LECTURE NOTES IN COMPUTER SCIENCE

by .

Material type: book Book; Format: print ; Literary form: not fiction Description: 229.Publisher: Springer-Verlag, Berlin 1994Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

Add to cart
1062.
LECTURE NOTES IN COMPUTER SCIENCE

by .

Material type: book Book; Format: print ; Literary form: not fiction Description: 723.Publisher: Springer-Verlag, Berlin 1994Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

Add to cart
1063.
LECTURE NOTES IN COMPUTER SCIENCE

by .

Material type: book Book; Format: print ; Literary form: not fiction Description: 305.Publisher: Springer-Verlag, Berlin 1993Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

Add to cart
1064.
LECTURE NOTES IN COMPUTER SCIENCE

by .

Material type: book Book; Format: print ; Literary form: not fiction Description: 885.Publisher: Springer-Verlag, Berlin 1994Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

Add to cart
1065.
METAMATHEMATICS MACHINES AND GODELS PROOF

by Shankar,N.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,202.Publisher: Cambridge Univ. Press, Cambridge 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 SH18M] (1).

Place hold Add to cart
1066.
LECTURE NOTES IN COMPUTER SCIENCE Vol. 885 : closed object boundaries from scattered points

Material type: book Book; Format: print ; Literary form: not fiction Description: vi,144p.Publisher: Berlin Springer-Verlag 1994Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

Add to cart
1067.
LECTURE NOTES IN COMPUTER SCIENCE Vol. 889 : towards a CSCW framework for scientific cooperation in Europe

by Lubich, Hannes P.

Material type: book Book; Format: print ; Literary form: not fiction Description: x, 268p.Publisher: Berlin Springer-Verlag 1995Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

Add to cart
1068.
LECTURE NOTES IN COMPUTER SCIENCE Vol. 891 : formal development of reactive systems: case study production cell

by Lindner,Thomas, ed | Lewerentz, Claus, ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,394.Publisher: Berlin Springer-Verlag 1995Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

Add to cart
1069.
INFORMATION RANDOMNESS & INCOMPLETENESS

by Chaitin, Gregory J.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,272.Publisher: Singapore World Scientific 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C349i] (1).

Place hold Add to cart
1070.
DISCRETE OPTIMIZATION

by Parker, R. Gary | Rardin, Ronald L.

Material type: book Book; Format: print ; Literary form: not fiction Description: 472.Publisher: Boston Academic Pr. 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.6 P228d] (1).

Place hold Add to cart
1071.
LOGIC, ALGEBRA AND DATABASES

by Gray, Peter M. D.

Material type: book 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).

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

by Smith, Jeffrey D.

Material type: book Book Description: xi,447.Publisher: Boston Pws-Kent Pub. Co. c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 Sm61d] (1).

Place hold Add to cart
1073.
THE THEORY OF COMPUTABILITY

by Sommerhalder, R | Westrhemen, S. C. Van.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,441.Publisher: Wokingham Addison-Wesley 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 So55t] (1).

Place hold Add to cart
1074.
INITIAL COMPUTABILITY, ALGEBRAIC SPECIFICATIONS, AND PARTIAL ALGEBRAS

by Reichel, Horst.

Material type: book Book; Format: print ; Literary form: not fiction Description: 221.Publisher: Oxford Clarendon Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512 R271i] (1).

Place hold Add to cart
1075.
COMPUTABLE SET THEORY

by Cantone, Domenico | Omodeo, Eugenio.

Material type: book Book; Literary form: Description: v.Publisher: Oxford Clarendon Press Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3220285 C168c] (1).

Place hold Add to cart
1076.
AUTOMATED THEOREM-PROVING IN NON-CLASSICAL LOGICS

by Thistlewaite, Paul B | Meyer, Robert K.

Material type: book Book Description: 154.Publisher: London Pitman c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 T349a] (1).

Place hold Add to cart
1077.
NUMERICAL METHODS FOR INITIAL VALUE PROBLEMS IN ORDINARY DIFFERENTIAL EQUATIONS

by Fatunla, Simeon Ola.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,295.Publisher: Boston Academic Pr. 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 515.35 F269n] (1).

Place hold Add to cart
1078.
INTRODUCTION TO PARALLEL AND VECTOR SOLUTION OF LINEAR SYSTEMS

by Ortega, James M.

Material type: book Book Description: xi,305.Publisher: New York Plenum c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 515.252 Or8i] (1).

Place hold Add to cart
1079.
TOPOLOTY VIA LOGIC

by Vickers, Steven.

Material type: book Book Description: 200.Publisher: Cambridge Cambridge Univ. Pr. c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 514 V663t] (1).

Place hold Add to cart
1080.
ART GALLERY THEOREMS AND ALGORITHMS

by O'Rourke, Joseph.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,282.Publisher: New York Oxford Univ. Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 516.00285 Or6a] (1).

Place hold Add to cart

Powered by Koha