|
|
|
|
Course in game Theory by Osborne, Martin J | Rubinstein, Ariel. Material type:  Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: Eng Publication details: Cambridge ; MIT Press ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:36 Shelf No:8 Call number: 519.83 OSB.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Cellular Biophysics, Transport, Vol.1 by Weiss, Thomas Fischer. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: England ; MIT Press ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 46, Shelf No: 44 Call number: 574.87 WEI.
|
|
|
|
|
Simple science of flight from insects to jumbo jets by Tennekes, Henk. 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: 47, Shelf No: 39 Call number: 629 TEN.
|
|
|
|
|
Model Checking by Clarke, Edmund M | Grumberg, Orna | Peled. Doron A. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT Press ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 43 Call number: 681.3 CLA.
|
|
|
|
|
Introduction to Computational Learning Theory by Kearns, Michael J | Vazirani, Umesh V. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Mass., ; MIT Press ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681.3 KEA.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Hilbert's Tenth Problem by Matiyasevich, Yuri V. Series: Foundations of ComputingMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: USA ; MIT Press ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 30, Shelf No: 16 Call number: 512.7 MAT.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Language in Action : Categories, Lambdas and Dynamic Logic by van Benthem, Johan. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: USA ; MIT Press ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BEN.
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
The formal semantics of programming languages by Winskel, Glynn. Series: Foundations of computingMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: USA ; MIT Press ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 23 Call number: 681.3 WIN.
|
|
|
|
|
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.
|
