|
|
|
|
|
|
|
|
|
On Concurrent Programming by Schneider, Fred B. Series: Graduate Texts in Computer ScienceMaterial type:  Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 1 Call number: 681.3.06 SCH.
|
|
|
|
|
Descriptive complexity by Immerman, Neil. Series: Graduate texts in computer scienceMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: 1999; Springer Availability: Items available for loan: IMSc Library (1). Location(s): Call number: 681.3 IMM.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automata and Computability by Kozen, Dexter C. Series: Undergraduate Texts in Computer ScienceMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 42 Call number: 681.3.06 KOZ.
|
|
|
|
|
Software Reliability Methods : (TCS) by Peled, Doron A. Series: Texts in Computer ScienceMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor Rack No:50 Shelf No:20 Call number: 681.9 PEL.
|
|
|
|
|
|
|
|
|
|
computability and complexity theory by Homer, Steven | Selman, Alan L. Series: Texts in Computer ScienceMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 3 Call number: 681.3 HOM.
|
|
|
|
|
Modal and temporal properties of processes by Stirling, Colin. Series: Texts in Computer ScienceMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 20 Call number: 681.3 STI.
|
|
|
|
|
Automata and Computability by Kozen, Dexter C. Series: Undergraduate texts in computer scienceMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: London ; Springer ; 1997Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 49, Shelf No: 42 Call number: 681.3.06 KOZ.
|
|
|
|
|
Theory of computation by Kozen, Dexter C. Series: Texts in computer scienceMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: London ; Springer ; 2006Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681.3 KOZ.
|
