Your search returned 924 results.

Not what you expected? Check for suggestions
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
Dealing with Complexity : Neural Networks Approach

by Karny, M. Ed | Warwick, K. Ed | Kurkova, V. Ed.

Series: Perspectives in Neural ComputingMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681.3 KAR.

Place hold Log in to add tags
BOOKS
Algorithms and Theory of Computation Handbook

by Atallah, Mikhail J. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; CRC Press ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 2 Call number: 510.5(02) ATA.

Place hold Log in to add tags
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.

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
Structural complexity II

by Balcazar, Jose Luis | Diaz, Josep | Gabarro, Joaquim | Brauer, W Ed | Rozenberg G | Salomaa A.

Series: EATCS monographs on theoretical computer science; 00022Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Springer verlag ; Berlin ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 39 Call number: 681.3 BAL.

Place hold Log in to add tags
E-BOOKS
DNA Computing and Molecular Programming [electronic resource] : 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings / edited by David Soloveichik, Bernard Yurke.

by Soloveichik, David [editor.] | Yurke, Bernard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8141Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Computer Algebra in Scientific Computing [electronic resource] : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov.

by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Mayr, Ernst W [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8136Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Algorithms and Models for the Web Graph [electronic resource] : 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings / edited by Anthony Bonato, Michael Mitzenmacher, Paweł Prałat.

by Bonato, Anthony [editor.] | Mitzenmacher, Michael [editor.] | Prałat, Paweł [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8305Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Structural Information and Communication Complexity [electronic resource] : 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers / edited by Thomas Moscibroda, Adele A. Rescigno.

by Moscibroda, Thomas [editor.] | Rescigno, Adele A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8179Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Combinatorial Optimization and Applications [electronic resource] : 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings / edited by Peter Widmayer, Yinfeng Xu, Binhai Zhu.

by Widmayer, Peter [editor.] | Xu, Yinfeng [editor.] | Zhu, Binhai [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8287Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Graph Drawing [electronic resource] : 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers / edited by Stephen Wismath, Alexander Wolff.

by Wismath, Stephen [editor.] | Wolff, Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8242Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Principles of Distributed Systems [electronic resource] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / edited by Roberto Baldoni, Nicolas Nisse, Maarten Steen.

by Baldoni, Roberto [editor.] | Nisse, Nicolas [editor.] | Steen, Maarten [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8304Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Parameterized and Exact Computation [electronic resource] : 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers / edited by Gregory Gutin, Stefan Szeider.

by Gutin, Gregory [editor.] | Szeider, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8246Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Progress in Cryptology - INDOCRYPT 2003 [electronic resource] : 4th International Conference on Cryptology in India, New Delhi, India, December 8-10, 2003. Proceedings / edited by Thomas Johansson, Subhamoy Maitra.

by Johansson, Thomas [editor.] | Maitra, Subhamoy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2904Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Algorithms and Computation [electronic resource] : 14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003. Proceedings / edited by Toshihide Ibaraki, Naoki Katoh, Hirotaka Ono.

by Ibaraki, Toshihide [editor.] | Katoh, Naoki [editor.] | Ono, Hirotaka [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2906Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Approximation and Online Algorithms [electronic resource] : First International Workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003. Revised Papers / edited by Roberto Solis-Oba, Klaus Jansen.

by Solis-Oba, Roberto [editor.] | Jansen, Klaus [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2909Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Graph Drawing [electronic resource] : 11th International Symposium, GD 2003 Perugia, Italy, September 21-24, 2003 Revised Papers / edited by Giuseppe Liotta.

by Liotta, Giuseppe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2912Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
High Performance Computing - HiPC 2003 [electronic resource] : 10th International Conference, Hyderabad, India, December 17-20, 2003. Proceedings / edited by Timothy Mark Pinkston, Viktor K. Prasanna.

by Pinkston, Timothy Mark [editor.] | Prasanna, Viktor K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2913Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

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

Powered by Koha