|
381.
|
PRINCIPLES OF PROGRAMMING LANGUAGES Description: 230.Publisher: New York 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 As78p] (1).
|
|
382.
|
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).
|
|
383.
|
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).
|
|
384.
|
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).
|
|
385.
|
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).
|
|
386.
|
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).
|
|
387.
|
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).
|
|
388.
|
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).
|
|
389.
|
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).
|
|
390.
|
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).
|
|
391.
|
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).
|
|
392.
|
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).
|
|
393.
|
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).
|
|
394.
|
Formal models in programming
: proceedings...
by IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing Vienna, Austria 1985 | Neuhold, E. J. [ed.] | Chroust, G. [ed.]. Description: xix, 425p.Publisher: Amsterdam North-Holland 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 In8f] (1).
|
|
395.
|
COMPUTER PROGRAM SYNTHESIS METHODOLOGIES
by BIERMANN, ALAN W | GUIHO, GERARD. Description: ix,374.Publisher: Dordrecht D. Reidel Pub. 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 N214c] (1).
|
|
396.
|
Highly-level language computer architecture
by Chu, Yaohan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 273p.Publisher: New York Academic 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C47] (1).
|
|
397.
|
Fast algorithms and their implementation on specialized parallel computers /
by Miklǒsko, J. [et al.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 261 p.Publisher: Bratislava : New York VEDA, Pub. House of the Slovak Academy of Sciences 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 F265m] (1).
|
|
398.
|
Lectures on convex optimization
by Nesterov, Yurii. Edition: 2nd ed Description: xxiii, 589p.Publisher: Switzerland Springer 2018Availability: No items available Checked out (1).
|
|
399.
|
Storing clocked programs inside DNA
: a simplifying framework for nanocomputing /
: [electronic resource] :
by Chang, Jessica P | Shasha, Dennis Elliott. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (viii, 63 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2011Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
400.
|
Data-intensive text processing with MapReduce
: [electronic resource] /
by Lin, Jimmy 1979- | Dyer, Chris. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (ix, 165 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2010Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|