|
|
801.
|
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).
|
|
|
802.
|
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).
|
|
|
803.
|
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).
|
|
|
804.
|
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).
|
|
|
805.
|
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).
|
|
|
806.
|
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).
|
|
|
807.
|
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).
|
|
|
808.
|
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).
|
|
|
809.
|
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).
|
|
|
810.
|
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).
|
|
|
811.
|
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).
|
|
|
812.
|
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).
|
|
|
813.
|
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).
|
|
|
814.
|
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).
|
|
|
815.
|
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).
|
|
|
816.
|
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).
|
|
|
817.
|
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).
|
|
|
818.
|
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).
|
|
|
819.
|
NINTH COLLOQUIUM ON TREES IN ALGEBRA AND PROGRAMMING
by COURCELLE, B [ed.]. Description: 326p.Publisher: Cambridge University 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.5 C698] (1).
|
|
|
820.
|
DATA COMMUNICATIONS IN THE ISDN ERA
: IFIP TC6 INTERNATIONAL CONFERENCE ON DATA COMMUNICATIONS IN THE ISDN ERA (1985 : TEL-AVIV)
by PERRY, Y [ed.]. Description: viii, 187p.Publisher: Amsterdam North-Holland 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 In8d] (1).
|
