|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logic Programming Paradigm : 25 Year Perspective (AI) by Apt, K R., Marek, V W., Ed | Truszczynski, Mirek., Ed | Warren, David S. Ed. Series: Artificial IntelligenceMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 APT.
|
|
|
|
Principles of Program Analysis by Nielson, Flemming | Nielson, Hanne Riis | Hankin, Chris. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 49 Shelf No: 13 Call number: 681.3 NIE.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Noncommutative Algebra by Farb, Benson | Dennis, R Keith. Series: Graduate texts in mathematics ; 0144Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 30, Shelf No: 47 Call number: 514.7 FAR.
|
|
|
|
|
|
|
|
|
|
|
|
Non-Newtonian Gravity, Search for- by Fischbach, E | Talmadge, C L. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 38, Shelf No: 27 Call number: 530.12 FIS.
|
|
|
|
|
|
|
|
Mathematical Foundations of Computer Science 1998 : LNCS 1450; Proceedings, 23rd International Symposium, Brno, 1998 by Brim, Lubos., Ed | Gruska, Jozef., Ed | Zlatuska, Jiri., Ed. Series: Lecture notes in computer science ; 01450Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Monte Carlo Statistical Methods : STS by Robert, Christian P | Casella, George. Series: Springer Texts in StatisticsMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 40, Shelf No: 25 Call number: 531.19 ROB.
|