|
941.
|
Resilience- the new research frontier
: proceedings ...
by | 20th Annual International Sustainable Development Research Conference Trondheim 2014. Material type: Book Description: 52p.Publisher: Trondheim Norwegian University of Science and Technology 2014Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 338.927 An78r] (1).
|
|
942.
|
Analysis of outcome of extramural R & D projects
: 1995-96 to 1999-2000
by | India. Department of Science and Technology | Department of Science and Technology, New Delhi. Material type: Book Description: iv, 155p.Publisher: New Delhi NSTMIS 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 607 An13] (1).
|
|
943.
|
General information on research & development funding schemes of central government departments/agencies
by | India. Ministry of Science and Technology | Ministry of Science and Technology, New Delhi. Material type: Book Description: 132p.Publisher: New Delhi National Science & Technology Management Information System 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 607 G286] (1).
|
|
944.
|
Directory of extramural research & development projects approved for funding by selected central government agencies/departments during 2009-2010
by Manpower Management Centre (New Delhi, India) National Science & Technology Management Information System (India). Material type: Book Description: xi, 413p.Publisher: New Delhi Govt. of India, Dept. of Science and Technology, National Science & Technology Management Information System 1991Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 607.03 D628] (1).
|
|
945.
|
Foundations of computer science: proceedings ...
: IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
by Annual Symposium on Foundations of Computer Science, California; 1975| 16th. Material type: Book; Format:
print
; Nature of contents: Description: v, 193p.Publisher: New York The Institute of Electrical and Electronics Engineers 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 An89 ] (1).
|
|
946.
|
Foundations of computer science: proceedings ...
: sponsored by The IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing
by Annual Symposium on Foundations of Computer Science, Houston, Texas; 1976| 17th | IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing. Material type: Book; Format:
print
; Nature of contents: Description: v, 276p.Publisher: California IEEE Computer Society 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 An89 ] (1).
|
|
947.
|
Logic language, and probability
: edited by Radu J. Bogdan and Ilkka Niiniluoto
by International congress for logic, methodology, and philosophy of science | Niiniluoto, Ilkka ,ed. Material type: Book; Format:
print
; Nature of contents: Description: ,628.Publisher: D. Reidel Publishing Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 In8l ] (1).
|
|
948.
|
Mathematical Foundations of Computer Science : proceedings
by 9th Symposium on Mathematical Foundations of Computer Science 1980 Rydzyna, Poland 1980. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 723 p.Publisher: New York : Springer-Verlag; 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 V.88] (1).
|
|
949.
|
Logic at Botik '89 : proceedings
by Symposium on logical foundations of computer science( 1989:Pereslavl-Zalessky, USSR) | Meyer, Albert R., ed | Taitslin, M. A., ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 289 p.Publisher: Berlin ; New York : Springer-Verlag, c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 V.363] (1).
|
|
950.
|
Lecture notes in computer science (v.425) Proceedings
by Algebraic Logic and Universal Algebra in Computer Science Conference Ames, Iowa) (1988 : | Bergman, C. H | Maddux, R. D | Pigozzi, Don. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 292 p.Publisher: New York : Springer-Verlag, 1990Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.425] (1).
|
|
951.
|
Lecture notes in computer science CSL '88
: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
by (2nd Workshop on Computer Science Logic Duisburg, Germany) 1988 | Börger, E | Kleine Büning, H | Richter, Michael M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 399 p.Publisher: Berlin ; New York : Springer-Verlag, 1989Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.385] (1).
|
|
952.
|
Communication on pure and applied mathematics [v.5]
by New York. The Institute Of Mathematical Science. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 494p.Publisher: New York John Wiley And Sons 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.5 C732 v.5] (1).
|
|
953.
|
McGraw hill yearbook of science and technology
: comprehensive coverage of the important events of the year 1975Material type: Book; Format:
print
; Literary form:
not fiction
Description: 436p.Publisher: New York McGrraw Hill Book 1962Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 503 M178] (1).
|
|
954.
|
W-Ti-RE-Sb '88 :
: proceedings of the First Conference on the Metallurgy and Materials Science of Tungsten, Titanium, Rare Earths, and Antimony
by (1st International Conference on the Metallurgy and Materials Science of Tungsten, Titanium, Rare Earths, and Antimony Changsha, Hunan Sheng, China) 1988 | Fu, Chongyue [ed.] | Li, Jianchun [ed.] | Li, Songren [ed.]. Edition: 1stMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: 2 v.Publisher: Beijing International Academic publishers 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 669 In8w v.1] (1).
|
|
955.
|
Polymers for high technology
: electronics and photonics
by 192nd Symposium on Polymers for High Technology Anaheim, California September 7-12, 1986 | Bowden, M. J. [ed.] | Turner, S. Richard [ed.] | American Chemical Society. Division of Polymeric Materials: Science and Engineering. Material type: Book Description: x, 628 p.Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 668.9 P769b] (1).
|
|
956.
|
W-Ti-RE-Sb' 88 : proceedings....
by Conference on the Metallurgy and Materials Science of Tungsten, Titanium, rare Earths and Anatomy Oxford | Chongyue, Fu [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: various pagings.Publisher: Oxford Pergamon Press 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 669 In8w v.2] (1).
|
|
957.
|
Science and technology of ironmaking and steelmaking
: proceedings...
by Kanpur.Indian Institute of Technology | 3rd International Conference on Science and Technology of Ironmaking and Steelmaking Kanpur (India) December 11th-13th, 2017 | Indian Institute of Technology Kanpur. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 442p.Publisher: Kanpur (India) Indian Institute of Technology 2017Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.17 In8] (1).
|
|
958.
|
Science of ceramics
: proceedings...
by 12th International conference on science of ceramics Saint-Vincent, Italy June 27 - 30 1983 | Vincenzini, P. [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 770p.Publisher: Faenza National Research Council Research Institute for Ceramics Technology 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 666 Sci27 v. 12] (1).
|
|
959.
|
Science classic archive (1880-1996) Material type: Continuing resource Publisher: Washington, DC. American Association for the Advancement of Science (AAAS) Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (7).
|
|
960.
|
Structural ceramics processing, microstructure and properties
: proceedings...
by 11th International conference on metallurgy and materials science Denmark September 3-7, 1990 | Bentzen, J. J. [ed.] | Bilde-Sørensen, J. B. [ed.] | Christiansen, N. [ed.] | Horsewell, A. [ed.] | Ralph, B. [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 539p.Publisher: Denmark Risø National Laboratory 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 553.61 St89] (1).
|