|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Proof and types by Girard, Jean-Yves | Taylor, Paul | Lafont, Yves. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Cambridge: Cambridge University press: 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 36 Call number: 681.3.06 GIR.
|
|
|
|
Topology via logic by Vickers, Steven. Series: Cambridge tracts in theoretical computer science ; 5Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Cambridge University Press ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 10 Call number: 510.6 VIC.
|
|
|
|
Perturbation Methods by Hinch, E J. Series: Cambridge Texts in Applied MathematicsMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; Cambridge University press ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 38, Shelf No: 14 Call number: 530.1 HIN.
|
|
|
|
|
|
|
|
|
|
|
|
Random walks in biology by Berg, Howard C. Material type: Text;Language: ; Format:
print
Language: English Publication details: New Jersey Princeton University Press 1993Availability: No items available : Checked out (1).
|
|
|
|
Process Algebra by Baeten, J C M | Weijland, W P. Series: Cambridge Tracts in Theoretical Computer Science, 18Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; Cambridge University Press ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 BAE.
|
|
|
|
Introduction to Dynamics by Percival, Ian | Richards, Derek. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; Cambridge University Press ; 1991Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 40, Shelf No: 32 Call number: 531.3 PER.
|
|
|
|
|
|
|
|
Intervening sequences in evolution and development by Stone, Edwin M. Ed | Schwartz, Robert J. Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New york ; Oxford University press ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 46, Shelf No: 48 Call number: 577.2 STO.
|
|
|
|
Genes VI by Lewin, Benjamin. Edition: 6thMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Oxford ; Oxford University press ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 46, Shelf No: 37 Call number: 574 LEW.
|
|
|
|
Logic and Information by Devlin, Keith. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; Cambridge University press ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 34 Call number: 681.3.06 DEV.
|
|
|
|
Logical Frameworks Workshop, Sophia Antipolis,France, 1990 by Huet, Gerard. Ed | Plotkin, G. Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; Cambridge university press ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 4 Call number: 681.3.07 HUET.
|
|
|
|
|
|
|
|
Twistor Geometry and Field Theory by Ward, R S | Wells, Raymond O.(Jr.). Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; Cambridge University press ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 38, Shelf No: 20 Call number: 530.1 WARD.
|
|
|
|
Influence of computers and informatics on mathematics and its teaching by Churchhouse, R.F., Ed | Cornu, B, Ed | Howson, A.G, Ed | Kahane, J.P, Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; Cambridge University Press ; 1986Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 43 Call number: 681.3 CHU.
|
|
|
|
Introduction to automatic digital computers by Livesley, R.K. Edition: 2Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; Cambridge University Press ; 1960Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 5 Call number: 681.32 LIV.
|