|
|
|
Truth and modality for knowledge representation by Turner,Raymond. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: London ; MIT Press ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 22 Call number: 681.3 TUR.
|
|
|
|
|
|
|
|
Mathematics Its content methods and meaning by Aleksandrov, A.D | Komogorov, A.N | Lavrent'ev, M.A. Series: ; 2Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Cambridge MIT Press 1965Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 1 Call number: 51 ALE.
|
|
|
|
Fundamentals of mathematics The Real Number System and Algebra (Volume 1) by Behnke, H | Bachmann, F. (Ed) | Fladt, K.(Ed) | W. Siiss (Ed) | Gould, S.H. (Translator). Series: ; 1Edition: 1st edMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Cambridge MIT Press 1974Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 3 Call number: 51 BEH.
|
|
|
|
|
|
|
|
Lisp 1.5 programmers manual by Mccarthy, John et al | MIT. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: MIT Press ; Massachusetts ; 1966Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor Rack No:49 Shelf No:45 Call number: 681.3.06 MIT.
|
|
|
|
|
|
|
|
Theory of turbulent jets by Abramovich, G.N. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT press ; 1963Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 41, Shelf No: 4 Call number: 533.6 ABR.
|
|
|
|
Symmetries and reflections scientific essays of Eugene P. Wigner by Wigner, Eugene P. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT Press ; 1967Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:44 Shelf No:21 Call number: 539.12 WIG.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Technology of nuclear reactor safety Vol.1 reactor physics and control by Thompson, T.J., Ed | ,Beckerley, J.G., Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT Press ; 1964Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 20 Call number: 621.039.4 THO.
|
|
|
|
Science, Technology and American foreign policy by Skolnikoff, Eugenne B. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT Press ; 1967Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 23, Shelf No: 4 Call number: 5 SKO.
|
|
|
|
Biography of Carl Friedrich Gauss by Gauss, Froderberd. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT Press ; 1970Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 1 Call number: 51(091) GAU.
|
|
|
|
Introduction to Number Theory by Stark, Harold M. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT Press ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 39 Call number: 511 STA.
|
|
|
|
Expanding Protons Scattering at High Energies by Cheng, Hung | Wu, Tai Tsun. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: USA ; MIT Press ; 1987Availability: Items available for loan: IMSc Library (2). Location(s): First Floor Rack No:45 Shelf No:35 Call number: 539.7 CHE.
|
|
|
|
Reasoning about knowledge by Fagin, Ronald | Halpern, Joseph Y | Moses, Yoram | Vardi, Moshe Y. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: USA ; MIT Press ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 FAG.
|
|
|
|
Logic and information flow by Eijck, Jan van. Ed | Eijck, Jan van. Ed | Visser, Albert. Ed. Series: Foundations of computingMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Cambridge The MIT Press 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EIJ.
|
|
|
|
Introduction to Distributed Algorithms by Barbosa, Valmir C. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT Press ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 39 Call number: 681.3 BAR.
|