Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Refine your search

Your search returned 366 results. Subscribe to this search

|
361. 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).

362. 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).

363. 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).

364. 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).

365. 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).

366. Highly-level language computer architecture

by Chu, Yaohan.

Material type: book 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).

Powered by Koha