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

Your search returned 2732 results. Subscribe to this search

|
1121. 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).

1122. 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).

1123. ENCYCLOPAEDIC DICTIONARY OF INFORMATION TECHNOLOGY AND SYSTEMS

by Cawkell,A. E.

Material type: book Book Description: vi,339p.Publisher: Bowker-Saur, London 1993Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 004.03 C313E] (1).

1124. 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).

1125. INTEGRATING RULES AND CONNECTIONISM FOR ROBUST COMMONSENSE REASONING

by Sun,Ron.

Material type: book Book; Format: print ; Literary form: not fiction Description: xviii,273.Publisher: Wiley Interscience Pub., New York 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 SU71I] (1).

1126. Understanding neural networks [Vol.1-2] : computer explorations

by Caudill, Maureen | Butler, Charles.

Material type: book Book; Format: print ; Literary form: not fiction Description: 2v., various pagings.Publisher: Cambridge Mit Press 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.6 C31u v.1] (2).

1127. INTERCONNECTION NETWORKS FOR HIGH-PERFORMANCE PARALLEL COMPUTERS

by Isaac D. Scherson,Abdou S. Youssef | Youssef,Abdou S.

Material type: book Book Description: x,802.Publisher: Ieee Computer Society Press, Los Alamitos c1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.35 IN8S] (1).

1128. 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).

1129. 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).

1130. 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).

1131. SOFTWARE IMPLEMENTATION TECHNIQUES

by Merusi,Donald.

Material type: book Book Description: xiv,743.Publisher: Digital Press, Bedford c1992Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 005.43 M558S] (1).

1132. DISTRIBUTED OPERATING SYSTEMS

by Tanenbaum,Andrew S.

Material type: book Book Description: xvii,614.Publisher: Prentice Hall, Englewood Cliffs c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.44 T157D] (1).

1133. BIOMEDICAL DIGITAL SIGNAL PROCESSING

by Tompkins, Willis J.

Material type: book Book Description: xiv,368.Publisher: Englewood Cliffs Prentice Hall c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 610.285 B521] (1).

1134. VLSI ARCHITECTURE FOR CONCURRENT DATA STRUCTURES

by Dally, William J.

Material type: book Book Description: xvi,243.Publisher: Boston Academic Pub. c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 D167v] (1).

1135. COOLING TECHNOLOGY FOR ELECTRONIC EQUIPMENT

by Aung, Win.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,838.Publisher: New York Hemisphere 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.39 C779] (1).

1136. ANALOG COMPUTATION AND SIMULATION

by Rajaraman, V.

Material type: book Book; Format: print ; Literary form: not fiction Description: 102.Publisher: New Delhi Prentice Hall Of India 1971Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381957 R137a] (1).

1137. 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).

1138. 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).

1140. 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).

Powered by Koha