|
|
|
Computer data-base organization by Martin, James. Series: Prentice-Hall series in automatic computationEdition: 2d ed.Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: New Delhi Prentice-Hall, 1986Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 28 Call number: 681.3.02 MAR.
|
|
|
|
Introductory theory of computer science by Krishnamurthy, E V. Material type: Text;Language: ; Format:
print
Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 8 Call number: 681.3 KRI.
|
|
|
|
Fundamentals of Computer Algorithms by Horowitz, Ellis | Rajasekaran, Sanguthevar. Material type: Text Publication details: New Delhi ; New Delhi Galgotia 2000Availability: Items available for loan: IMSc Library (4). Location(s): Second floor, Rack No: 49, Shelf No: 3 Call number: 681.3 HOR.
|
|
|
|
Numerical Recipes: The art of scientific computing by Press, William H | Teukolsky, Saul A | Vetterling, William T | Flannery, Brian P. Edition: 1st & 2ndMaterial type: Text;Language: ; Format:
print
Language: English Publication details: Cambridge ; Cambridge University Press ; 1987 & 1988Availability: Items available for loan: IMSc Library (8). Location(s): Second floor, Rack No: 49, Shelf No: 15 Call number: 681.3 PRE.
|
|
|
|
C Programming Language by Kernighan, Brian W | Ritchie, Dennis M. Edition: 2Material type: Text Publication details: New Delhi PHI Learning Private Limited 2010Availability: Items available for loan: IMSc Library (6). Checked out (2). Location(s): Second floor, Rack No: 49, Shelf No: 40 Call number: 681.3.06 KER.
|
|
|
|
Introduction to algorithms by Cormen,Thomas H | Leiserson, Charles E | Rivest, Ronald L. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT ; 1990Availability: Items available for loan: IMSc Library (5). Location(s): Second floor, Rack No: 48, Shelf No: 44 Call number: 681.3 COR.
|
|
|
|
Discrete mathematics in computer science by Stanat. Material type: Text;Language: ; Format:
print
Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 25 Call number: 681.3:51 STA.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Proof and types by Girard, Jean-Yves | Taylor, Paul | Lafont, Yves. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Cambridge: Cambridge University press: 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 36 Call number: 681.3.06 GIR.
|
|
|
|
Introduction to ALGOL by Baumann, Richard. Series: Prentice-Hall series in automatic computationMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Englewood Cliffs, N.J., Prentice-Hall [1964]Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 39 Call number: 681.3 BAU.
|
|
|
|
Parallel Program Design a foundation by Chandy,K Mani | Misra, Jayadev. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New york ; Addison-Wesley ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 34 Call number: 681.3.06 CHA.
|
|
|
|
|
|
|
|
Logics of programs by Parikh, Rohit Ed. Series: Lecture notes in computer science ; 00193Material type: Text;Language: ; Format:
print
Language: Eng Publication details: Berlin Spriger Verlag 1985; Springer-Verlag Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|