|
|
|
BioInformatics The Machine Learning Approach by Baldi, Pierre | Brunak, Soren. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: USA ; MIT ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 46, Shelf No: 31 Call number: 574 BAL.
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
The Handbook of brain theory and neural networks by Arbib, Michael A, Ed. Edition: 2Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Camdridge ; MIT Press ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 20, Shelf No: 8 Call number: 599(02) ARB.
|
|
|
|
Nightwork: A history of hacks and pranks at MIT by Peterson, T F. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: London ; MIT Press ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 57, Shelf No: 3 Call number: 82-7 PET.
|
|
|
|
Foundations of systems biology by Kitano, Hiroaki Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT Press ; c2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 46, Shelf No: 30 Call number: 573 KIT.
|
|
|
|
Types and programming languages by Pierce, Benjamin C. Material type: Text;Language: ; Format:
print
Publication details: Cambridge, Mass. ; MIT Press ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 47 Call number: 681.3.06 PIE.
|
|
|
|
Collective electrodynamics: quantum foundations of electromagnetism by Mead, Carver A. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT Press ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 39, Shelf No: 24 Call number: 530.145 MEA.
|
|
|
|
Computational molecular biology an algorithmic approach by Pevzner, Pavel. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge, Mass. ; MIT Press ; c2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 46, Shelf No: 48 Call number: 577 PEV.
|
|
|
|
|
|
|
|
Turing (a Novel about Computation) by Christos H. Papadimitriou. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT Press ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 49 Shelf No: 14 Call number: 681.3 PAP.
|
|
|
|
|
|
|
|
|