Your search returned 114 results.

Not what you expected? Check for suggestions
E-BOOKS
Mathematical Foundations of Computer Science 2000 [electronic resource] : 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 – September 1, 2000 Proceedings / edited by Mogens Nielsen, Branislav Rovan.

by Nielsen, Mogens [editor.] | Rovan, Branislav [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1893Source: 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
Advances in Cryptology - CRYPTO 2003 [electronic resource] : 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003. Proceedings / edited by Dan Boneh.

by Boneh, Dan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2729Source: 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
Automata, Languages and Programming [electronic resource] : 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings / edited by Peter Widmayer, Stephan Eidenbenz, Francisco Triguero, Rafael Morales, Ricardo Conejo, Matthew Hennessy.

by Widmayer, Peter [editor.] | Eidenbenz, Stephan [editor.] | Triguero, Francisco [editor.] | Morales, Rafael [editor.] | Conejo, Ricardo [editor.] | Hennessy, Matthew [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2380Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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 Aided Systems Theory — EUROCAST 2001 [electronic resource] : A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers / edited by Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire.

by Moreno-Díaz, Roberto [editor.] | Buchberger, Bruno [editor.] | Luis Freire, José [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2178Source: 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
Recent Advances in Visual Information Systems [electronic resource] : 5th International Conference, VISUAL 2002 Hsin Chu, Taiwan, March 11–13, 2002 Proceedings / edited by Shi-Kuo Chang, Zen Chen, Suh-Yin Lee.

by Chang, Shi-Kuo [editor.] | Chen, Zen [editor.] | Lee, Suh-Yin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2314Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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 2002 [electronic resource] : 8th International Conference, CP 2002 Ithaca, NY, USA, September 9–13, 2002 Proceedings / edited by Pascal Hentenryck.

by Hentenryck, Pascal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2470Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002Online 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
Managing Knowledge in a World of Networks [electronic resource] : 15th International Conference, EKAW 2006, Poděbrady, Czech Republic, October 2-6, 2006. Proceedings / edited by Steffen Staab, Vojtěch Svátek.

by Staab, Steffen [editor.] | Svátek, Vojtěch [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4248Source: 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
VDM '90 VDM and Z — Formal Methods in Software Development [electronic resource] : Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings / edited by D. Bjørner, C. A. R. Hoare, H. Langmaack.

by Bjørner, D [editor.] | Hoare, C. A. R [editor.] | Langmaack, H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 428Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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
Logic Programming and Automated Reasoning [electronic resource] : International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings / edited by Andrei Voronkov.

by Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 624Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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] : 18th International Colloquium Madrid, Spain, July 8–12, 1991 Proceedings / edited by Javier Leach Albert, Burkhard Monien, Mario Rodríguez Artalejo.

by Albert, Javier Leach [editor.] | Monien, Burkhard [editor.] | Artalejo, Mario Rodríguez [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 510Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Languages and Compilers for Parallel Computing [electronic resource] : 11th International Workshop, LCPC’98 Chapel Hill, NC, USA, August 7–9, 1998 Proceedings / edited by Siddhartha Chatterjee, Jan F. Prins, Larry Carter, Jeanne Ferrante, Zhiyuan Li, David Sehr, Pen-Chung Yew.

by Chatterjee, Siddhartha [editor.] | Prins, Jan F [editor.] | Carter, Larry [editor.] | Ferrante, Jeanne [editor.] | Li, Zhiyuan [editor.] | Sehr, David [editor.] | Yew, Pen-Chung [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1656Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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] : 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8–12, 1996 Proceedings / edited by Friedhelm Meyer, Burkhard Monien.

by Meyer, Friedhelm [editor.] | Monien, Burkhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1099Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Rewriting Techniques and Applications [electronic resource] : 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings / edited by Harald Ganzinger.

by Ganzinger, Harald [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1103Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Logical Foundations of Computer Science [electronic resource] : 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings / edited by Sergei Adian, Anil Nerode.

by Adian, Sergei [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1234Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Information Security and Privacy [electronic resource] : Third Australasian Conference, ACISP’98 Brisbane, Australia, July 13–15, 1998 Proceedings / edited by Colin Boyd, Ed Dawson.

by Boyd, Colin [editor.] | Dawson, Ed [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1438Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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 Safety, Reliability, and Security [electronic resource] : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings / edited by Francesca Saglietti, Norbert Oster.

by Saglietti, Francesca [editor.] | Oster, Norbert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4680Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Algebraic and Proof-theoretic Aspects of Non-classical Logics [electronic resource] : Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday / edited by Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra.

by Aguzzoli, Stefano [editor.] | Ciabattoni, Agata [editor.] | Gerla, Brunella [editor.] | Manara, Corrado [editor.] | Marra, Vincenzo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4460Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online 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
Ant Colony Optimization and Swarm Intelligence [electronic resource] : 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008. Proceedings / edited by Marco Dorigo, Mauro Birattari, Christian Blum, Maurice Clerc, Thomas Stützle, Alan F. T. Winfield.

by Dorigo, Marco [editor.] | Birattari, Mauro [editor.] | Blum, Christian [editor.] | Clerc, Maurice [editor.] | Stützle, Thomas [editor.] | Winfield, Alan F. T [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5217Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Mathematical Foundations of Computer Science 2009 [electronic resource] : 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings / edited by Rastislav Královič, Damian Niwiński.

by Královič, Rastislav [editor.] | Niwiński, Damian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5734Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Mathematical Software – ICMS 2010 [electronic resource] : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings / edited by Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama.

by Fukuda, Komei [editor.] | Hoeven, Joris van der [editor.] | Joswig, Michael [editor.] | Takayama, Nobuki [editor.] | SpringerLink (Online service).

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