Your search returned 9608 results.

Not what you expected? Check for suggestions
BOOKS
Principles and practice of constraint programming--CP96: second international conference, CP96, Cambridge, USA, August, 1996 proceedings

by Freuder, Eugene C Ed.

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

BOOKS
Randomization and approximation techniques in computer science: second international workshop, RANDOM '98, Barcelona, Spain, October 8-10, 1998 proceedings

by Luby, Michael | Rolim, Jose | Serna, Maria Eds.

Series: Lecture notes in computer science ; 01518Material type: Text 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.

BOOKS
Randomization, approximation, and combinatorial optimization: algorithms and techniques 3rd International Workshop on Randomization & Approximation Techniques in Computer Science, RANDOM-APPROX'99, Berkeley USA, August, 1999:proceedings

by Hochbaum, Dorit [et al] Eds.

Series: Lecture notes in computer science ; 01671Material 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.

BOOKS
Models of massive parallelism: analysis of cellular automata and neural networks

by Garzon, Max.

Series: Texts in theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; c1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 6 Call number: 681.324 GAR.

BOOKS
Relational methods for computer science applications

by Orlowska, Ewa | Szalas, Andrzej Eds.

Series: Studiesin fuzziness and soft computing; 65Material type: Text Text;Language: ; Format: print Publication details: New York ; Physica-Verlag ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 13 Call number: 681.3 ORL.

BOOKS
Turing's connectionism investigation of neural network architectures

by Teuscher, Christof.

Series: Discrete mathematics and theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 21 Call number: 681.3 TEU.

BOOKS
Parameterized and exact computation: First international workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, proceedings

by Downey, Rod | Fellows, Michael | Dehne, Frank.

Series: Lecture notes in computer science ; 03162Edition: .Material type: Text Text;Language: ; Format: print Language: English Publication details: New York ; Springer ; 2004Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 29 Call number: 681 LNCS.

BOOKS
Logic in computer science modelling and reasoning about systems

by Huth, Michael | Ryan, Mark.

Edition: 2Material type: Text Text;Language: ; Format: print Publication details: New York ; Cambridge University Press ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 39 Call number: 681.3.06 HUT.

BOOKS
Neural networks and analog computation beyond the turing limit

by Siegelmann, Hava T.

Series: Progress in theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston, Mass. ; Birkhauser ; c1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 29 Call number: 681.3.02 SIE.

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.

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.

BOOKS
Constraints in computational logics theory and applications

by Comon, Hubert | Marche, Claude | Treinen, Ralf.

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

BOOKS
The origin of concurrent programming from semaphores to remote procedure calls

by Brinch Hansen, Per, 1938-.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 41 Call number: 681.3 BRI.

BOOKS
Automated theory formation in pure mathematics

by Colton, Simon, 1973-.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London, New York : ; Springer ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 34 Call number: 681.3.06 COL.

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: 24 Call number: 681 LNCS.

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.

BOOKS
Thinking in complexity the computational dynamics of matter, mind, and mankind

by Mainzer, Klaus.

Edition: 4th rev. enl. ed.Material type: Text Text;Language: ; Format: print Publication details: Berlin, New York : ; Springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 22, Shelf No: 5 Call number: 5 MAI.

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.

BOOKS
FSTTCS 2004: foundations of software technology and theoretical computer science: 24th international conference, Chennai, India, December 2004 Proceedings

by Lodaya, Kamal | Mahajan, Meena Eds.

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

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.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha