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

Refine your search

Your search returned 2117 results. Subscribe to this search

|
421. A COURSE IN ADVANCED CALCULUS

by Borden, Robert S.

Material type: book Book; Format: print ; Literary form: not fiction Description: ix,388.Publisher: New York North-Holland 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 515 B644c] (1).

422. COMPUTER TECHNOLOGY IMPACT ON MANAGEMENT

by Champine, George A.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,292.Publisher: Amsterdam North-Holland 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.054 C355c] (1).

423. COMPUTERS

by Goudas, Constantine L | Pande, Girish C.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,450.Publisher: Amsterdam North-Holland 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.054 C739] (1).

424. ADVANCES IN GRAPH THEORY

by Bollobas, B.

Material type: book Book; Format: print ; Literary form: not fiction Description: vii,295.Publisher: Amsterdam North-Holland 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.5 Ad95g] (1).

425. ALGEBRA OF PROOFS

by Szabe, M. E.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,297.Publisher: Amsterdam North-Holland Pub. Co. 1978Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Sz12a] (1).

426. TRAFFIC, OPERATIONAL RESEARCH, FUTUROLOGY

by Jensen, Arne.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: North-Holland Publishing Company 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.42 J453T] (1).

427. ALGEBRA OF PROOFS

by Szabe, M. E.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,297.Publisher: Amsterdam North-Holland Pub. Co. 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Sz12a] (1).

428. PROOF THEORY

by Takeuti, Gaisi.

Material type: book Book; Format: print ; Literary form: not fiction Description: vii,372.Publisher: Amsterdam North-Holland 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 T139p] (1).

429. METHODS EN THEORIE DES CHAMPS METHODS IN FIELD THEORY

by Balian, Roger.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: North-Holland Publishing Company 1981Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 530.14 M566] (1).

430. CAD/CAM AS ABASIS FOR THE DEVELOPMENT OF TECHNOLOGY IN DEVELOPING NATIONS

by Encarnacao, Jose L.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: North-Holland 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.514091724 IN8C] (1).

431. ROBOTS AT WORK

by Hartley, John.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: North-Holland 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.514 H255R] (1).

432. Induction, recursion and programming

by Wand, Mitchell.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 202p.Publisher: New York North-Holland 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 W181i Cop.2] (1).

433. UNDERSTANDING SPOKEN LANGUAGE

by Walker, Donald E.

Material type: book Book; Format: print ; Literary form: not fiction Description: xviii,410.Publisher: New York North-Holland 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Un2] (1).

434. CHARACTERISTICS OF SOFTWARE QUALITY

by Boehm, Barry W.

Material type: book Book; Format: print ; Literary form: not fiction Description: 1 v.Publisher: Amsterdam North-Holland 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 C37] (1).

435. A mathematical introduction to Dirac's formalism

by Eijndhoven, S.J.L | Graaf, J. De.

Material type: book Book; Format: print ; Literary form: not fiction Description: 430p.Publisher: Amsterdam North-Holland 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.12 EI47M] (1).

436. COMPUTER PERFORMANCE

by Chandy, K. Mani | Reiser, Martin.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: North-Holland 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 IN8P] (1).

437. Solitons and coherent structures : proceedings...

by Campbell, David K.

Material type: book Book; Format: print ; Literary form: not fiction Description: 490p.Publisher: Amsterdam North-Holland 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.1 C76S] (1).

438. LASER-CONTROLLED CHEMICAL PROCESSING OF SURFACES

by Johnson, A. Wayne | Schlossberg, Howard R.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,425.Publisher: New York North-Holland 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 541.3453 L333] (1).

439. ALGEBRAIC AND AUTOMATA-THEORETIC PROPERTIES OF FORMAL LANGUAGES

by Ginsburg, Seymour.

Material type: book Book; Format: print ; Literary form: not fiction Description: 313.Publisher: Amsterdam North Holland Pub. 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 G435e] (1).

440. MANAGING SOFTWARE RELIABILITY

by Walker, Michael G.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: North-Holland 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 W153M] (1).

Powered by Koha