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
|
561.
SYSTEMS DESIGN AND DOCUMENTATION

by Katzan, Harry.

Material type: book Book; Format: print ; Literary form: not fiction Description: 157.Publisher: New York Van Nostrand Reinhold 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 K159s] (1).

Place hold Add to cart
562.
Program construction and verification

by Backhouse, Roland C.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 281p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall International 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B127p] (1).

Place hold Add to cart
563.
Program construction and verification

by Backhouse, Roland C.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 281p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B127p] (1).

Place hold Add to cart
564.
ALGORITHMIC LANGUAGE AND PROGRAM DEVELOPMENT

by Bauer, Friedrich Ludwig | Wossner, Hans.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi,497.Publisher: Berlin Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B326aE] (1).

Place hold Add to cart
565.
ALGORITHMIC LANGUAGE AND PROGRAM DEVELOPMENT

by Bauer, Friedrich Ludwig | Wossner, Hans.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi,497.Publisher: Berlin Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B326aE] (1).

Place hold Add to cart
566.
Denotational semantics : the Scott-Strachey approach to programming language theory

by Stoy, Joseph E.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxx, 414p.Publisher: Cambridge Mit Press 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 St79d] (2).

Place hold Add to cart
567.
PRINCIPLES OF PROGRAMMING LANGUAGES

by Tennent, R. D.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,271.Publisher: Englewood Cliffs Prentice-Hall 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 T256p] (1).

Place hold Add to cart
568.
INTRODUCTORY ADA

by Texel, Putnam P.

Material type: book Book; Format: print ; Literary form: not fiction Description: xx,441.Publisher: Belmont Wadsworth 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 T312i] (1).

Place hold Add to cart
569.
PROGRAMMING LANGUAGES

by Tucker, Allen B.

Material type: book Book; Format: print ; Literary form: not fiction Description: 439.Publisher: New York Mcgraw-Hill 1977Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 T791p] (1).

Add to cart
570.
PROGRAMMING LANGUAGES

by Tucker, Allen B.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: xvii,590.Publisher: New York Mcgraw-Hill 1986Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 T795p2] (1).

Add to cart
571.
AUTOMATIC CONTROL

by Thaler, George J.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii,431.Publisher: Stroudsburg, Dowden Hutchinson & Ross 1974Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.8312 Au82] (1).

Place hold Add to cart
572.
Robot vision

by Horn, Berthold K.P.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,509p.Publisher: Cambridge Mit Press 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.892 K668r] (1).

Place hold Add to cart
573.
Computer organization

by Hamacher, V. Carl | Vranesic, Zvonko G | Zaky, Safwat G.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv, 465p.Publisher: New York Mcgraw-Hill 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381952 H17c cop..2] (1).

Place hold Add to cart
574.
DESING OF OFFICE INFORMATION SYSTEMS

by Ellis, C. A | Naffah, Naiah.

Material type: book Book; Format: print ; Literary form: not fiction Description: vi,248.Publisher: Berlin Springer-Verlag 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 651.8 EL59d] (1).

Place hold Add to cart
575.
DATA PROCESSING COST REDUCTION AND CONTROL

by Brandon, Dick H.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi,191.Publisher: New York Van Nostrand Reinhold 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.1552 B734d] (1).

Place hold Add to cart
576.
DIGITAL IMAGE PROCESSING OF REMOTELY SENSED DATA

by Hord, R. Michael.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii,256.Publisher: New York Academic Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3678 H781d] (1).

Place hold Add to cart
577.
SEMICONDUCTOR POWER ELECTRONICS

by Hoft, Richard Gibson.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,324.Publisher: New York Van Nostrand Reinhold 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38152 H678s] (1).

Place hold Add to cart
578.
DIGITAL FILTERS AND THE FAST FOURIER TRANSFORM

by Liu, Bede.

Material type: book Book; Format: print ; Literary form: not fiction Description: 423.Publisher: Stroudsburgh, Pa. Dowden, Hutchinson & Ross 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381532 D589] (1).

Place hold Add to cart
579.
SPECTRAL TECHNIQUES AND FAULT DETECTION

by Karpovsky, Mark G [ed.].

Material type: book Book; Format: print ; Literary form: not fiction Description: ix,608.Publisher: Orlando Academic Press 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381536 Sp31] (1).

Place hold Add to cart
580.
INQUIRY DRIVEN VISION SYSTEM BASED ON VISUAL AND CONCEPTUAL HIERARCHIES

by Rosenthal, David A.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,198.Publisher: Michigan Umi Research 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3819598 R727i] (1).

Place hold Add to cart

Powered by Koha