Your search returned 611 results.

Not what you expected? Check for suggestions
E-BOOKS
Programming Languages and Systems [electronic resource] : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings / edited by Chung-chieh Shan.

by Shan, Chung-chieh [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8301Source: 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
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004. Proceedings / edited by Jean-Charles Régin, Michel Rueher.

by Régin, Jean-Charles [editor.] | Rueher, Michel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3011Source: 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
Geographic Information Science [electronic resource] : Third International Conference, GIScience 2004, Adelphi, MD, USA, October 20-23, 2004. Proceedings / edited by Max J. Egenhofer, Christian Freksa, Harvey J. Miller.

by Egenhofer, Max J [editor.] | Freksa, Christian [editor.] | Miller, Harvey J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3234Source: 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
Implementation and Application of Automata [electronic resource] : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers / edited by Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu.

by Domaratzki, Michael [editor.] | Okhotin, Alexander [editor.] | Salomaa, Kai [editor.] | Yu, Sheng [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3317Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Fundamentals of Computation Theory [electronic resource] : 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings / edited by Maciej Liśkiewicz, Rüdiger Reischuk.

by Liśkiewicz, Maciej [editor.] | Reischuk, Rüdiger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3623Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Abstraction, Reformulation and Approximation [electronic resource] : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings / edited by Jean-Daniel Zucker, Lorenza Saitta.

by Zucker, Jean-Daniel [editor.] | Saitta, Lorenza [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3607Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Communicating Sequential Processes. The First 25 Years [electronic resource] : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders.

by Abdallah, Ali E [editor.] | Jones, Cliff B [editor.] | Sanders, Jeff W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3525Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Artificial Intelligence and Neural Networks [electronic resource] : 14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers / edited by F. Acar Savacı.

by Savacı, F. Acar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3949Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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
Computational Intelligence [electronic resource] : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part II / edited by De-Shuang Huang, Kang Li, George William Irwin.

by Huang, De-Shuang [editor.] | Li, Kang [editor.] | Irwin, George William [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4114Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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
Automata, Languages and Programming [electronic resource] : 11th Colloquium Antwerp, Belgium, July 16–20, 1984 / edited by Jan Paredaens.

by Paredaens, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 172Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online 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
Correct Hardware Design and Verification Methods [electronic resource] : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings / edited by Daniel Geist, Enrico Tronci.

by Geist, Daniel [editor.] | Tronci, Enrico [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2860Source: 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
Machine Learning and Its Applications [electronic resource] : Advanced Lectures / edited by Georgios Paliouras, Vangelis Karkaletsis, Constantine D. Spyropoulos.

by Paliouras, Georgios [editor.] | Karkaletsis, Vangelis [editor.] | Spyropoulos, Constantine D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2049Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
ZUM '95: The Z Formal Specification Notation [electronic resource] : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings / edited by Jonathan P. Bowen, Michael G. Hinchey.

by Bowen, Jonathan P [editor.] | Hinchey, Michael G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 967Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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 and Practice of Constraint Programming — CP '95 [electronic resource] : First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings / edited by Ugo Montanari, Francesca Rossi.

by Montanari, Ugo [editor.] | Rossi, Francesca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 976Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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
CONPAR 86 [electronic resource] : Conference on Algorithms and Hardware for Parallel Processing Aachen, September 17–19, 1986 Proceedings / edited by Wolfgang Händler, Dieter Haupt, Rolf Jeltsch, Wilfried Juling, Otto Lange.

by Händler, Wolfgang [editor.] | Haupt, Dieter [editor.] | Jeltsch, Rolf [editor.] | Juling, Wilfried [editor.] | Lange, Otto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 237Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
Abstraction, Reformulation, and Approximation [electronic resource] : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings / edited by Berthe Y. Choueiry, Toby Walsh.

by Choueiry, Berthe Y [editor.] | Walsh, Toby [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1864Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Case-Based Reasoning Research and Development [electronic resource] : 5th International Conference on Case-Based Reasoning, ICCBR 2003 Trondheim, Norway, June 23–26, 2003 Proceedings / edited by Kevin D. Ashley, Derek G. Bridge.

by Ashley, Kevin D [editor.] | Bridge, Derek G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2689Source: 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
Developments in Language Theory [electronic resource] : 7th International Conference, DLT 2003 Szeged, Hungary, July 7–11, 2003 Proceedings / edited by Zoltán Ésik, Zoltán Fülöp.

by Ésik, Zoltán [editor.] | Fülöp, Zoltán [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2710Source: 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
Learning Theory and Kernel Machines [electronic resource] : 16th Annual Conference on Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003. Proceedings / edited by Bernhard Schölkopf, Manfred K. Warmuth.

by Schölkopf, Bernhard [editor.] | Warmuth, Manfred K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2777Source: 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
Principles and Practice of Constraint Programming – CP 2000 [electronic resource] : 6th International Conference, CP 2000 Singapore, September 18–21, 2000 Proceedings / edited by Rina Dechter.

by Dechter, Rina [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1894Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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