PKK Library

Your cart is empty.

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

Your search returned 763 results. Subscribe to this search

Unhighlight Highlight
|
421.
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
422.
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
423.
PARALLEL COMPUTATIONAL GEOMETRY

by Akl, Selim G | Lyons, Kelly A.

Material type: book Book Description: viii,215.Publisher: Englewood Cliffs Prentice Hall c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 516.00285435 Ak57p] (1).

Place hold Add to cart
424.
SEMANTICS OF PROGRAMMING LANGUAGES

by Gunter,Carl A.

Material type: book Book Description: xviii,419.Publisher: Mit Press, Cambridge c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 G957S] (1).

Place hold Add to cart
425.
THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES

by Winskel,Glynn.

Material type: book Book Description: xviii,361.Publisher: Mit Press, Cambridge c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 W732F] (1).

Place hold Add to cart
426.
INTELLIGENT MANUFACTURING : PROGRAMMING ENVIRONMENTS FOR CIM

by Gruver, W. A | Boudreaux, J. C.

Material type: book Book Description: xii, 280p.Publisher: London Springer-Verlag c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 670.28551 IN8G] (1).

Place hold Add to cart
427.
HIGH-PERFORMANCE COMPUTING IN ENGINEERING

by H. No Power,C. A. Brebbia | Brebbia,C. A.

Material type: book Book Description: viii,282.Publisher: Computational Mechanics Pub., Southampton c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.00285 H537P] (1).

Place hold Add to cart
428.
HIGH-PERFORMANCE COMPUTING IN ENGINEERING

by H. No Power,C. A. Brebbia | Brebbia,C. A.

Material type: book Book Description: viii,326.Publisher: Computational Mechanics Pub., Southampton c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.00285 H537P] (1).

Place hold Add to cart
429.
FORMAL SYNTAX AND SEMANTICS OF PROGRAMMING LANGUAGES

by Slonneger,Kenneth | Kurtz,Barry L.

Material type: book Book Description: xviii,637.Publisher: Addison-Wesley, Reading,Mass. c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 SL54F] (1).

Place hold Add to cart
430.
A human factors experimental comparison of two database query languages

by Yen, Minnie Yi-Miin.

Material type: book Book; Format: print ; Literary form: not fiction Description: vii, 264p.Publisher: Ann Arbor University Microfilms International 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.74 Y39h] (1).

Place hold Add to cart
431.
PARALLEL SUPERCOMPUTING IN SIMD ARCHITECTURES

by Hord, R. Michael.

Material type: book Book Description: 378.Publisher: Boca Raton, Fl. Crc Pr. c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 H781p] (1).

Place hold Add to cart
433.
INTRODUCTION TO DISTRIBUTED AND PARALLEL COMPUTING

by Crichlow, Joel M.

Material type: book Book Description: x,209.Publisher: New York Prentice Hall c1988Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 C867i] (1).

Add to cart
434.
PARALLEL PROCESSING-OCEAN AND THE TRANSPUTER

by Carling, Alison.

Material type: book Book; Format: print ; Literary form: not fiction Description: 256.Publisher: New Delhi Galgotia 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 C194p] (1).

Place hold Add to cart
435.
MICROPROGRAMMABLE PARALLEL COMPUTER

by Baba, Takanobu.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvii,291.Publisher: Cambridge, Ma. Mit Press 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 B112m] (1).

Place hold Add to cart
436.
LOGICAL DESIGN OF OPERATING SYSTEMS

by Bic, Lubomir | Shaw, Alan C.

Edition: 2ndMaterial type: book Book Description: xiv,370.Publisher: Englewood Cliffs Prentice Hall c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.644 B473L2] (1).

Place hold Add to cart
437.
DESIGNING EFFICIENT ALGORITHMS FOR PARALLEL COMPUTERS

by Quinn, Michael J.

Material type: book Book Description: xvi,288.Publisher: New York Mcgraw-Hill c1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 Qu42d] (1).

Place hold Add to cart
438.
DESIGNING EFFICIENT ALGORITHMS FOR PARALLEL COMPUTERS

by Quinn, Michael J.

Material type: book Book Description: xvi,288.Publisher: New York Mcgraw-Hill c1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 Qu42d] (1).

Place hold Add to cart
439.
PARALLEL COMPUTING 89

by Evans, David J | Peters, Frans J.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,630.Publisher: Amsterdam North-Holland 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 P212e] (1).

Place hold Add to cart
440.
Data types and persistence

by Atkinson, Malcolm P [ed.] | Buneman, Peter [ed.] | Morrison, Ronald [ed.].

Material type: book Book Description: xviii, 292p.Publisher: Berlin Springer Verlag 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 D262] (1).

Place hold Add to cart

Powered by Koha