|
|
|
|
Optoelectronics by Rosencher, Emmanuel | Vinter, Borge. Material type:  Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; CUP ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 17 Call number: 621 ROS.
|
|
|
|
|
Electronic Basis of the Strength of Materials by Gilman, John. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; CUP ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:45 Shelf No:34 Call number: 539.4 GIL.
|
|
|
|
|
Linear Water Waves: A Mathematical Approach by Kuznetsov N | Mazya V | Vainberg B. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; CUP ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 25 Call number: 51 KUZ.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Introduction to Lattices and Order by Davey, B A | Priestley, H A. Edition: 2ndMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; CUP ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DAV.
|
|
|
|
|
Torsors and rational points by Skorobogatov, Alexei. Series: Cambridge tracts in mathematics ; 00144Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; CUP ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 29, Shelf No: 13 Call number: 512 SKO.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Thinking about biology by Webster, Stephen. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; CUP ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 47, Shelf No: 2 Call number: 579 WEB.
|
|
|
|
|
|
|
|
|
|
Dynamic logic by Harel, David | Kozen, Dexter | Touryn, Jerzy. Series: Foundations of ComputingMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT Press ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HAR.
|
|
|
|
|
Foundations for programming languages by Mitchell, John C. Series: Foundations of ComputingMaterial 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: 49, Shelf No: 11 Call number: 681.3 MIT.
|
|
|
|
|
From logic to logic programming by Doets, Kees. Series: Foundations of computingMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT Press ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DOE.
|
|
|
|
|
|
|
|
|
|
The structure of typed programming languages by Schmidt, David A. Series: Foundations of ComputingMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT Press ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 18 Call number: 681.3 SCH.
|
|
|
|
|
Computability and logic by Boolos, George S | Burgess, John P | Jeffrey, Richard C. Edition: 4Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: UK ; Cambridge university press ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BOO.
|
|
|
|
|
|
