|
|
841.
|
FORMAL DESCRIPTION OF PROGRAMMING
by Neuhold, Erich J. Description: xviii,648.Publisher: Amsterdam North-Holland 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 In8f] (1).
|
|
|
842.
|
Software engineering environments
: proceedings...
by Symposium on Software Engineering Environments Lahnstein, Germany June 16-20, 1980 | Hunke, Horst, ed. Description: viii,410p.Publisher: Amsterdam North-Holland 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 Sy68s] (1).
|
|
|
843.
|
MULTIPLE-VALUED LOGIC Description: v,272.Publisher: Institute Of Electrical And Electronics Engineers 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3819572 In8m] (1).
|
|
|
844.
|
PRINCIPLES OF PROGRAMMING LANGUAGES Description: vi,302.Publisher: New York American Computing Machinery 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 As78p] (1).
|
|
|
845.
|
PRINCIPLES OF PROGRAMMING LANGUAGES Description: ii,340.Publisher: New York Association For Computing Machinery 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 As78p] (1).
|
|
|
846.
|
HIGH-SPEED COMPUTATION
by Kowalik, Janusz S. Description: ix,441.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 N214h] (1).
|
|
|
847.
|
Software engineering
: proceedings ...
by 7th International Conference on Software Engineering Florida 1984. Description: xiv, 545p.Publisher: New York Institute Of Electrical And Electronics Engineering 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 In8s] (1).
|
|
|
848.
|
PROGRAM TRANSFORMATION AND PROGRAMMING ENVIRONMENTS
by Pepper, Peter | . Description: xiv,378.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 N214p] (1).
|
|
|
849.
|
FUNDAMENTAL ALGORITHMS FOR COMPUTER GRAPHICS
by Earnshaw, Rae A | . Description: xvi,1042.Publisher: Berlin Springer-Verlag Pub. 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6443 N214f] (1).
|
|
|
850.
|
Database machines
: modern trends and applications
by NATO Advanced Study Institute on Relational Database Machine Architecture Les Arcs 1985 | Sood, A. K. [ed.] | Qureshi, A. H. [ed.]. Description: viii, 570p.Publisher: Berlin Springer-Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6442 N214d] (1).
|
|
|
851.
|
Natural language understanding and logic programming
: proceedings ...
by International Workshop on Natural Language Understanding and Logic Programming Rennes, France 1984 | Dahl,Veronica [ed.] | Saint - Dizier, Patrick [ed.]. Description: xi, 243p.Publisher: Amsterdam North-Holland 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 In8n] (1).
|
|
|
852.
|
ACM GUIDE TO COMPUTING LITERATURE Description: viii,494.Publisher: New York Association For Computing Machinery 1979Availability: No items available Withdrawn (1).
|
|
|
853.
|
ACM GUIDE TO COMPUTING LITERATURE
by Association For Computing Machinery | Sammet, Jean E. [ed.]. Description: viii,494p.Publisher: New York Association For Computing Machinery 1980Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 016.00164 As78] (3). Withdrawn (4).
|
|
|
854.
|
PROGRAMMING OF FUTURE GENERATION COMPUTER
by Fuchi, K | | Nivat, M | . Description: xvii,456.Publisher: Amsterdam North-Holland 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 F848p] (1).
|
|
|
855.
|
PROCEEDINGS OF THE TWENTIETH ANNUAL ACM SYMPOSIUM ON THEORY OF COMPUTING, CHICAGO, ILLINOIS, MAY 2-4, 1988 Description: viii,553.Publisher: New York Association For Computing Machinery 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381953 As78t] (1).
|
|
|
856.
|
Tool integration and design environments
: edited by Franz J. Rammig
by Workshop on Tool Integration and Design Environments (1987, Paderborn, Germany) Paderborn 26-27 November, 1987 | Rammig, Franz J., Ed. Description: ix, 323p.Publisher: Amsterdam North-Holland 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 In8t] (1).
|
|
|
857.
|
EXPERIMENTAL DISTRIBUTED SYSTEMS Description: xii,119.Publisher: Los Alamitos Ieee Computer Society Press c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 In7e] (1).
|
|
|
858.
|
SELECTED PAPERS IN DIGITAL SIGNAL PROCESSING, II
by DIGITAL SIGNAL PROCESSING COM. Description: ,582.Publisher: New York Mcgraw-Hill Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38043 In7] (1).
|
|
|
859.
|
COMPLEXITY OF SEQUENTIAL AND PARALLEL NUMRICAL ALGORITHMS
by TRAUB, J. F. Description: ,300.Publisher: N. Y. Academic Press 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 Sy68] (1).
|
|
|
860.
|
Control Flow and Data Flow
: concepts of distributed programming
by Broy, Manfred [ed.]. Description: viii, 525p.Publisher: Berlin Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.644 N214c] (1).
|
