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

Your search returned 832 results. Subscribe to this search

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

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

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

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

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

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

807. ACM GUIDE TO COMPUTING LITERATURE

Description: viii,494.Publisher: New York Association For Computing Machinery 1979Availability: No items available Withdrawn (1).

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

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

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

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

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

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

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

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

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

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

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

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

820. CHEMICAL ENGINEERING PROGRESS SYMPOSIUM SERIES :

Material type: book Book; Format: print ; Nature of contents: biography Description: xvi,408.Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 660.6 Am3s ] (1).

Powered by Koha