|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
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.
|
|
|
|
|
Programming with Constraints: An Introduction by Marriott, Kim | Stuckey, Peter J. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 44 Call number: 681.3.06 MAR.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
Methods in Neuronal Modeling : From Ions to Networks by Koch, Christof. Ed | Segev, Idan. Ed. Edition: 2ndMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: USA ; MIT ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 46, Shelf No: 30 Call number: 573 KOCH.
|
