|
|
|
|
Logic for Applications by Nerode, Anil | Shore, Richard A. Series: Texts and Monographs in Computer ScienceMaterial type:  Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 46 Call number: 681.3.06 NER.
|
|
|
|
|
Linear Programming by Karloff, Howard. Series: Progress in Theoretical Computer ScienceMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Boston ; Birkhauser ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:36 Shelf No:12 Call number: 519.852 KAR.
|
|
|
|
|
|
|
|
|
|
Time and Logic a computational approach by Bolc, Lenoard. Ed | Szalas, Andrzej. Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: London ; UCL Press ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BOL.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
JAVA Workshop Programming by Holzner, Steven. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi ; BPB Publications ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 31 Call number: 681.3.05 HOL.
|
|
|
|
|
|
|
|
|
|
|
