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

Your search returned 2734 results. Subscribe to this search

|
761. Mechanism for reliable distributed real-time operating systems : The Alpha Kernel

by Northcutt, J. Duane.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv, 245p.Publisher: Boston Academic Press 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 N814m] (1).

762. DATABASE MECHINES AND DATABASE MANAGEMENT

by Ozkarahan, Esen.

Material type: book Book; Format: print ; Literary form: not fiction Description: xx,636.Publisher: Englewood Cliffs Prentice-Hall 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6443 Oz5d] (1).

763. MASSIVELY PARALLEL PROCESSOR

by Potter, Jerry L.

Material type: book Book; Format: print ; Literary form: not fiction Description: vii,304.Publisher: Cambridge Mit Pr. 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 M387p] (1).

764. PARALLEL COMPUTING

by Lipovski, G. Jack | Malek, Miroslaw.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,384.Publisher: New York Wiley 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 L664p] (1).

765. An American national standard : IEEE standard FASTBUS modular high-speed data acquisition and control system

by IEEE Nuclear and Plasma Sciences Society. Nuclear Instruments and Detectors Committee.

Material type: book Book; Format: print ; Literary form: not fiction Description: various pagings.Publisher: New York Institute of Electrical and Electronics Engineers 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 In8] (1).

766. FORMAL SPECIFICATION OF INTERACTION GRAPHICS PROGRAMMING LANGUAGES

by Mallgren, William R.

Material type: book Book; Format: print ; Literary form: not fiction Description: viii,269.Publisher: Cambridge Mit 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6443 M296f] (1).

767. THEORY AND PRACTICE OF COMPILER WRITING

by Tremblay, Jean-Paul | Sorenson, Paul G.

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

768. COMPILER CONSTRUCTION

by Waite, William Mccastine | Goos, Gerhard.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,446.Publisher: New York Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 W134c] (1).

769. ABSTRACTION MECHANISMS AND LANGUAGE DESIGN

by Hilfinger, Paul N.

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

770. FUNDAMENTALS OF PROGRAMMING LANGUAGES

by Horowitz, Ellis.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,450.Publisher: Berlin Springer-Verlag 1983Availability: No items available Checked out (1).

771. FUNDAMENTALS OF PROGRAMMING LANGUAGES

by Horowitz, Ellis.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,450.Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 H785f] (1).

772. RELIABLE SOFTWARE THROUGH COMPOSITE DESIGN

by Myers, Glenford J.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii,150.Publisher: New York Van Nostrand 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 M992r] (1).

773. OPERATING SYSTEMS

by Lorin, Harold | Deitel, Harvey M.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxi,378.Publisher: Massachusetts Addison-Wesley 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 L891o] (1).

774. STRUCTURED ANALYSIS

by Wsinberg, Victor.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,328.Publisher: Englewood Cliffs Prentice-Hall 1980Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 003 W43s] (1).

775. Fourth generation languages. [2v.]

by Martin, James.

Material type: book Book; Format: print ; Literary form: not fiction Description: 500p.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M364f] (1).

776. Principles of programming languages : design, evaluation, and implementation

by Maclennan, Bruce J.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi, 544p.Publisher: New York Holt, Rinehart And Winston 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M225p] (1).

777. PARALLEL LOGIC PROGRAMMING IN PROLOG

by Gregory, Steve.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,217.Publisher: Wokingham Addison-Wesley 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 G862p] (1).

778. PROGRAMMING LANGUAGES, DESIGN AND IMPLEMENTATION

by Pratt, Terrence W.

Material type: book Book; Format: print ; Literary form: not fiction Description: 530.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1975Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 P889p] (1).

779. PROGRAM DESIGN CONCEPTS

by Philippakis, Andreas S | Kazmier, Leonard J.

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

780. FORMAL SPECIFICATION OF PROGRAMMING LANGUAGES

by Pagan, Frank G.

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

Powered by Koha