|
|
1121.
|
SEMANTICS OF PROGRAMMING LANGUAGES
by Gunter,Carl A. Material type:  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 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 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 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; 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; 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 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 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 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 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 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 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 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 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; 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; 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; 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 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 Description: x,209.Publisher: New York Prentice Hall c1988Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 C867i] (1).
|
