Your search returned 2372 results.

Not what you expected? Check for suggestions
BOOKS
C Programming Language

by Kernighan, Brian W | Ritchie, Dennis M.

Edition: 2Material type: Text 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.

BOOKS
Functional programming using standard ML

by Wikstrom, A.

Material type: Text Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 2 Call number: 681.3.06 WIK.

BOOKS
First-Order Programming Theories

by Gergely, Tamas | Ury, Laszlo.

Series: EATCS Monographs on Theoretical Computer Science, v.24Material type: Text 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: 49, Shelf No: 36 Call number: 681.3.06 GER.

BOOKS
Symposium on semantics of algorithmic languages; edited by E. Engeler.

by Engeler, Erwin.

Series: Lecture notes in mathematics (Springer-Verlag) ; 188.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin, New York, Springer-Verlag, 1971Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 28 Call number: 51 LNM.

BOOKS
Discrete and continuous methods in applied mathematics

by Mathews, Jerold C | Langenhop, Carl B.

Material type: Text Text;Language: ; Format: print Publication details: USA John Wiley and Sons 1966Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 14 Call number: 51 MAT.

BOOKS
Introduction to algorithms

by Cormen,Thomas H | Leiserson, Charles E | Rivest, Ronald L.

Material type: Text 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.

BOOKS
Communication and concurrency

by Milner,Robin.

Series: Prentice Hall International series in computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Prentice hall ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 7 Call number: 681.324 MIL.

BOOKS
Methods of mathematical economics Linear and Nonlinear Programming Fixed point Theorems

by Franklin, Joel.

Series: Undergraduate texts in mathematicsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: New york Springer verlag 1980Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 16 Call number: 51 FRA.

BOOKS
Art of Computer Programming, Vol. 3 : Sorting and Searching

by Knuth, Donald E.

Edition: 1st & 2ndMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Addison Wesley ; 2000Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 49, Shelf No: 40 Call number: 681.3.06 KNU.

BOOKS
Computers and Intractability A guide to the theory of NP-completeness

by Garey, Michael R | Johnson, David S.

Series: Series of Books in the Mathematical SciencesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Freeman ; 1979Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 GAR.

BOOKS
Mathematical programming and the numerical solution of linear equations

by Rust, Bert W | Burrus, Walter R.

Series: Modern Analytic and Computational Methods in Science and Mathematics,v.38Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Elsevier ; 1972Availability: Items available for loan: IMSc Library (2). Location(s): First Floor Rack No:36 Shelf No:13 Call number: 519.852 RUST.

BOOKS
Fundamentals of programming languages

by Horowitz, Ellis.

Edition: 2Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1984Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 39 Call number: 681.3.06 HOR.

BOOKS
Artificial Intelligence and Mathematical Theory of Computation Papers in honor of John McCarthy

by Lifschitz, Vladimir. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: San Diego ; Academic Press ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 9 Call number: 681.3 LIF.

BOOKS
Parallel Program Design a foundation

by Chandy,K Mani | Misra, Jayadev.

Material type: Text 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.

BOOKS
Introduction to functional programming

by Bird, Richard | Wadler, Philip.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Prentice Hall ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 33 Call number: 681.3.06 BIRD.

BOOKS
Algebraic and Logic Programming Third International Conference Proc.,Volterra, 1992

by Kirchner, H. Ed | Levi, G. Ed.

Series: Lecture notes in computer science ; 00632Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS.

BOOKS
Fortran 90 Explained

by Metcalf, Michael | Reid, John.

Edition: 2ndMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Oxford ; OUP ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 44 Call number: 681.3.06 MET.

BOOKS
What Computing is all about

by Van de Snepscheut, Jan L A.

Series: Texts and Monographs in Computer ScienceMaterial type: Text 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: 22 Call number: 681.3 VAN.

BOOKS
Clausal Theory of Types

by Wolfram, D A.

Series: Cambridge Tracts in Theoretical Computer Science, 21Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 33 Call number: 681.2.06 WOL.

BOOKS
Deduction and Declarative Programming

by Padawitz, Peter.

Series: Cambridge Tracts in Theoretical Computer Science, 28Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 1992Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 49, Shelf No: 14 Call number: 681.3 PAD.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha