|
|
|
|
|
|
|
Formal Description of Programming Concepts by Neuhold, Erich J | Paul, M. Eds. Series: IFIP state-of-the-art reportsMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer-Verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 20 Call number: 681.9 NEU.
|
|
|
|
|
|
|
|
Execution support environment by Rus, Teodor | Rus, Daniela. Series: System software and software systems; 2Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Singapore ; World Scientific Publishing ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 21 Call number: 681.9 RUS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Essentials of Constraint Programming by Fruhwirth, Thom | Abdennadher, Slim. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Germany ; Springer ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 FRU.
|
|
|
|
|
|
|
|
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.
|
|
|
|
Web programming techniques for integrating Python, Linux, Apache, and MySQL by Thiruvathukal, George K | Shafaee, John P | Christopher, Thomas W. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Upper Saddle River, NJ ; Prentice Hall ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 50, Shelf No: 22 Call number: 681.9 THI.
|
|
|
|
PHP cookbook by Sklar, David | Trachtenberg, Adam. Edition: 1st ed.Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Sebastopol, Calif. Farnham O'Reilly 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 21 Call number: 681.9 SKL.
|
|
|
|
Introduction to global optimization by Horst, Reiner | Pardalos, Panos M | Thoai, Nguyen V. Series: Nonconvex optimization and its applications; 48Edition: 2nd ed.Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Boston ; Kluwer Academic Publishers ; c2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 34, Shelf No: 13 Call number: 517.977 HOR.
|
|
|
|
|
|
|
|
|
|
|
|
Topics in optimal transportation by Villani, Cedric. Series: Graduate studies in mathematics ; 0058Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Providence ; American Mathematical Society ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:36 Shelf No:3 Call number: 519.7 VIL.
|
|
|
|
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.
|
|
|
|
|