Your search returned 117 results.

Not what you expected? Check for suggestions
BOOKS
Iteration Theories Equational Logic of Iterative Processes

by Bloom, Stephen L | Esik, Zoltan.

Series: EATCS Monographs on Theoretical Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 40 Call number: 681.3 BLO.

Place hold Log in to add tags
BOOKS
Finite Automata, Formal Logic, and Circuit Complexity

by Straubing, Howard.

Series: Progress in Theoretical Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Birkhauser ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 20 Call number: 681.3 STR.

Place hold Log in to add tags
BOOKS
Contemporary Trends in Discrete Mathematics From DIMACS and DIMATIA to the Future, 1997

by Graham, R L., Kratochvil,Jan | Nesetril, Jaroslav | Roberts, Fred S. Eds.

Series: Discrete Mathematics and Theoretical Computer Science,Vol.49Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; A.M.S. ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 22 Call number: 511 GRA.

Place hold Log in to add tags
BOOKS
Invitation to Discrete Mathematics

by Matousek, Jiri | Nesetril, Jaroslav.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Oxford ; OUP ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 10 Call number: 681.3 MAT.

Place hold Log in to add tags
BOOKS
Number Theory for Computing

by Yan, Song Y.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 42 Call number: 511 YAN.

Place hold Log in to add tags
BOOKS
Network Algebra

by Stefanescu, Gheorghe.

Series: Discrete Mathematics and Theoretical Computer SciencesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 20 Call number: 681.3 STE.

Place hold Log in to add tags
BOOKS
Mathematical Foundations of Computer Science , Vol.1 : Sets,Relations, and Induction : (TMCS)

by Fejer, Peter A | Simovici, Dan A.

Series: Texts and Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 FEJ.

Place hold Log in to add tags
BOOKS
Universal Algebra and Applications in Theoretical Computer Science

by Denecke, Klaus | Wismath, Shelly L.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Chapman and Hall ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DEN.

Place hold Log in to add tags
BOOKS
Fork Algebras in Algebra, Logic and Computer Science: Advances in Logic (Vol. 2)

by Frias, Marcelo Fabian.

Series: Advances in Logic: Vol. 2Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; WSP ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 FRI.

Place hold Log in to add tags
BOOKS
Basic category theory for computer scientists

by Pierce, Benjamin C.

Series: Foundations of computing seriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; MIT Press ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 14 Call number: 681.3 PIE.

Place hold Log in to add tags
BOOKS
Algorithmic and quantitative real algebraic geometry: DIMACS Workshop, Algorithmic and Quantitative Aspects of Real Algebraic, Geometry in Mathematics & Computer Science, 2001

by Basu, Saugata | Gonzalez-Vega, Laureano Eds.

Series: DIMACS series in disc. math. and theor. comp. sc.; v. 60Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; AMS ; c2003Availability: Items available for loan: IMSc Library (1). Location(s): First floor, Rack No: 31, Shelf No: 37 Call number: 516 BASU.

Place hold Log in to add tags
BOOKS
Duration calculus formal approach to real-time systems

by Zhou, Chaochen | Hansen, Michael R.

Series: EATCS monographs on theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 34 Call number: 681.3.06 CHA.

Place hold Log in to add tags
BOOKS
Generalized quantifiers and computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop France, August 11-22, 1997 : revised lectures

by Vaananen, Jouko Ed.

Series: Lecture notes in computer science ; 01754Material type: Text 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:23 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Cliques, coloring, and satisfiability: second DIMACS implementation challenge, October 11-13, 1993

by Johnson, David S | Trick, Michael A.

Series: DIMACS series in disc. maths. and theo. computer sc.; v. 26Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; c1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 5 Call number: 681.3 JOH.

Place hold Log in to add tags
BOOKS
Network flows and matching first DIMACS implementation challenge

by Johnson, David S | McGeoch, Catherine C. Eds.

Series: DIMACS series in disc. maths and theo. computer sc.; v. 12Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. ; American Mathematical Society ; c1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 5 Call number: 681.3 JOH.

Place hold Log in to add tags
BOOKS
Randomness and completeness in computational complexity

by Melkebeek, Dieter van.

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

Place hold Log in to add tags
BOOKS
Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures

by Backhouse, Roland C., 1948- | Crole, Roy L | Gibbons, Jeremy,, 1966-.

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

Place hold Log in to add tags
BOOKS
Mathematics and computer science III algorithms, trees, combinatorics, and probabilities

by Drmota, Michael [et al] Eds.

Series: Trends in mathematicsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Basel, Boston : ; Birkh�user ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DRM.

Place hold Log in to add tags
BOOKS
Discrete algorithmic mathematics

by Maurer, Stephen B | Ralston, Anthony.

Edition: 3rd ed.Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Wellesley, Mass. ; A.K. Peters ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 10 Call number: 681.3 MAU.

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha