|
|
|
|
|
|
|
Logics of programs by Parikh, Rohit Ed. Series: Lecture notes in computer science ; 00193Material type: Text;Language: ; Format:
print
Language: Eng Publication details: Berlin Spriger Verlag 1985; Springer-Verlag Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Applications of Generalized Nets by Atanassov, Krassimir T. Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Singapore ; World Scientific ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 7 Call number: 681.324 KRA.
|
|
|
|
Neural Nets Wirn Vietri - 92 Fifth Italian Workshop, Salerno, 1992 by Caianiello, E R. Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Singapore ; World Scientific ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 6 Call number: 681.324 CAI.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Science and the common understanding by Oppenheimer, J Robert. Series: BBC Reith Lecture 1953Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: London ; Oxford University Press ; 1954Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 22, Shelf No: 7 Call number: 5 OPP.
|
|
|
|
|
|
|
|
Science technology and public policy by Barke, Richard. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Madras ; East west Press ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 21, Shelf No: 2 Call number: 5 BAR.
|
|
|
|
Yearbook of science and the future by Encyclopaedia Britannica Inc. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Encyclopaedia Britanica Inc, ; London ; 1977Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 7, Shelf No: 1 Call number: 5 YSF.
|
|
|
|
Computer Science Logic : 6th workshop, CSL '92, San Miniato, Italy, September/October 1992, Selected paers by Borger, E | Jager, G., Martini., Richter,M | Kleine Buning, H. Series: Lecture notes in computer science ; 00702Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.
|
|
|
|
Encyclopedia of library and Information science: Vol 7 by Kent, Allen Ed | Lancour, Harold Ed | Nasri, William Z Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: NewYork ; Marcel Dekker Inc ; 1972Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 1, Shelf No: 1 Call number: 025.3(02) ELIS.
|
|
|
|
Basic principles of automatic control theory by Voronov, A.A. Material type: Text;Language: ; Format:
print
Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 22 Call number: 681.3 VOR.
|