|
1801.
|
Courant computer science symposium 2
: formal semantics of programming languages
by Rustin, Randall [ed.]. Description: 248p.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1972Availability: No items available Withdrawn (1).
|
|
1802.
|
ADVANCED PROGRAMMING SYSTEMS Description: 536.Publisher: Jerusalem Iltam Corp. For Planning And Research Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 In8] (1).
|
|
1803.
|
Computers and Automata : Proceedings
by Symposium on Computers and Automata(1971:New York). Description: 653p.Publisher: Brooklyn Polytechnic Press 1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 537 B7855] (1).
|
|
1804.
|
DESIGN AND OPTIMIZATION OF COMPILERS
by Rustin, Randall. Description: 141.Publisher: Englewood Cliffs Prentice-Hall 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 C833] (1).
|
|
1805.
|
Graphic languages
: proceedings ...
by IFIP Working Conference on Graphic languages Canada 1972 | Nake, F [ed.] | Rosenfeld, A [ed.]. Description: viii, 442p.Publisher: Amsterdam North-Holland 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 In8] (3).
|
|
1806.
|
DESIGN AND OPTIMIZATION OF COMPILERS
by Rustin, Randall. Description: 141.Publisher: Englewood Cliffs Prentice-Hall 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 C833] (1).
|
|
1807.
|
INFORMATION PORCESSING 71
by Freiman, C. V | Griffith, J. E | . Description: 2v.Publisher: Amsterdam North-Halland Pub. Co. Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.5 In8] (1).
|
|
1808.
|
INFORMATION PORCESSING 71
by Freiman, C. V | Griffith, J. E | . Description: 2v.Publisher: Amsterdam North-Halland Pub. Co. Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.5 In8] (1).
|
|
1809.
|
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).
|
|
1810.
|
OPERATING SYSTEMS TECHNIQUES
by Hoare, C. A. R | Perrott, R. H | . Description: 390.Publisher: London Academic Press 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 In8o] (1).
|
|
1811.
|
Complexity of computer computations
: proceedings...
by Symposium on the Complexity of Computer Computations New York March 20-22, 1972 | Miller, Raymond E., ed | Thatcher, James W., ed. Description: x, 225p.Publisher: New York Plenum Press 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 Sy68] (1).
|
|
1812.
|
FORMAL SEMANTICS OF PROGRAMMING LANGUAGES
by Rustin, Randall. Description: 248.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C833] (1).
|
|
1813.
|
REDUNDANCY TECHNIQUES FOR COMPUTING SYSTEMS
by Wilcox, Richard H | Mann, William C | . Description: 403.Publisher: Washington Spartan Books 1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.7834 Sy68r] (1).
|
|
1814.
|
Operating systems theory
by Coffman, Edward G | Denning, Peter J. Description: xvi, 331p.Publisher: Englewood Cliifs, New Jersey Prentice-Hall 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C654o] (1).
|
|
1815.
|
Machine oriented higher level languages
: proceedings ...
by IFIP Working Conference on Machine Oriented Higher Level Languages (Norway, 1973) Norway 1973 | Poel, W.L. Van Der [ed.] | Maarssen, L. A [ed.]. Description: xi, 534p.Publisher: Amsterdam North Holland Publishing 1974Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 In8w] (2).
|
|
1816.
|
A mathematical theory of global program optimization
by Schaefer, Marvin. Description: xvii, 198p.Publisher: New Jersey Prentice-Hall 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 Sch13] (1). Withdrawn (1).
|
|
1817.
|
SOFTWARE ENGINEERING FOR TELECOMMUNICATION SWITCHING SYSTEMS Description: 338.Publisher: Institution Of Electrical Engineers 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 C76] (1).
|
|
1818.
|
COMPUTER LANGUAGES FOR NUMERICAL CO.
by Hatvany, J. Description: .Publisher: Amsterdam North Halland Pub. 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 In8c] (1).
|
|
1819.
|
COLLECTION OF TECHNICAL PAPERS Description: 1 v.Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381958 Am35] (1).
|
|
1820.
|
GRAPHIC LANGUAGES
by Nake, F | | Rosenfeld, A | . Description: 442.Publisher: Amsterdam North-Holland Pub. 1972Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 In8] (1).
|