Your search returned 351 results.

Not what you expected? Check for suggestions
E-BOOKS
High Performance Computing — HiPC 2001 [electronic resource] : 8th International Conference Hyderabad, India, December 17–20, 2001 Proceedings / edited by Burkhard Monien, Viktor K. Prasanna, Sriram Vajapeyam.

by Monien, Burkhard [editor.] | Prasanna, Viktor K [editor.] | Vajapeyam, Sriram [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2228Source: 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): .

E-BOOKS
Evolutionary Computing [electronic resource] : AISB Workshop Sheffield, UK, April 3–4, 1995 Selected Papers / edited by Terence C. Fogarty.

by Fogarty, Terence C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 993Source: 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): .

E-BOOKS
SOFSEM’99: Theory and Practice of Informatics [electronic resource] : 26th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 27 — December 4, 1999 Proceedings / edited by Jan Pavelka, Gerard Tel, Miroslav Bartošek.

by Pavelka, Jan [editor.] | Tel, Gerard [editor.] | Bartošek, Miroslav [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1725Source: 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): .

E-BOOKS
Reliable Software Technologies — Ada-Europe’ 99 [electronic resource] : 1999 Ada-Europe International Conference on Reliable Software Technologies Santander, Spain, June 7–11, 1999 Proceedings / edited by Michael González Harbour, Juan A. Puente.

by González Harbour, Michael [editor.] | Puente, Juan A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1622Source: 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): .

E-BOOKS
Digital Libraries Current Issues [electronic resource] : Digital Libraries Workshop DL '94 Newark, NJ, USA, May 19–20, 1994 Selected Papers / edited by Nabil R. Adam, Bharat K. Bhargava, Yelena Yesha.

by Adam, Nabil R [editor.] | Bhargava, Bharat K [editor.] | Yesha, Yelena [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 916Source: 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): .

E-BOOKS
Algebraic Methodology and Software Technology [electronic resource] : 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings / edited by V. S. Alagar, Maurice Nivat.

by Alagar, V. S [editor.] | Nivat, Maurice [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 936Source: 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): .

E-BOOKS
Software Configuration Management [electronic resource] : ICSE'96 SCM-6 Workshop Berlin, Germany, March 25–26, 1996 Selected Papers / edited by Ian Sommerville.

by Sommerville, Ian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1167Source: 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): .

E-BOOKS
Distributed Computing [electronic resource] : 12th International Symposium, DISC’98 Andros, Greece, September 24–26, 1998 Proceedings / edited by Shay Kutten.

by Kutten, Shay [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1499Source: 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): .

E-BOOKS
Fuzzy Logic in Artificial Intelligence Towards Intelligent Systems [electronic resource] : IJCAI '95 Workshop Montréal, Canada, August 19–21, 1995 Selected Papers / edited by Trevor P. Martin, Anca L. Ralescu.

by Martin, Trevor P [editor.] | Ralescu, Anca L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1188Source: 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): .

E-BOOKS
Theorem Proving in Higher Order Logics [electronic resource] : 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings / edited by Jim Grundy, Malcolm Newey.

by Grundy, Jim [editor.] | Newey, Malcolm [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1479Source: 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): .

E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1055Source: 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): .

E-BOOKS
Artificial Evolution [electronic resource] : European Conference, AE 95 Brest, France, September 4–6, 1995 Selected Papers / edited by Jean-Marc Alliot, Evelyne Lutton, Edmund Ronald, Marc Schoenauer, Dominique Snyers.

by Alliot, Jean-Marc [editor.] | Lutton, Evelyne [editor.] | Ronald, Edmund [editor.] | Schoenauer, Marc [editor.] | Snyers, Dominique [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1063Source: 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): .

E-BOOKS
Graph Grammars and Their Application to Computer Science [electronic resource] : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers / edited by Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg.

by Cuny, Janice [editor.] | Ehrig, Hartmut [editor.] | Engels, Gregor [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1073Source: 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): .

E-BOOKS
Computer Performance Evaluation Modelling Techniques and Tools [electronic resource] : 9th International Conference St. Malo, France, June 3–6, 1997 Proceedings / edited by Raymond Marie, Brigitte Plateau, Maria Calzarossa, Gerardo Rubino.

by Marie, Raymond [editor.] | Plateau, Brigitte [editor.] | Calzarossa, Maria [editor.] | Rubino, Gerardo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1245Source: 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): .

E-BOOKS
Distributed Algorithms [electronic resource] : 10th International Workshop, WDAG '96 Bologna, Italy, October 9–11, 1996 Proceedings / edited by Özalp Babaoğlu, Keith Marzullo.

by Babaoğlu, Özalp [editor.] | Marzullo, Keith [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1151Source: 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): .

E-BOOKS
Compiler Construction [electronic resource] : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings / edited by Shriram Krishnamurthi, Martin Odersky.

by Krishnamurthi, Shriram [editor.] | Odersky, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4420Source: 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): .

E-BOOKS
CONCUR 2007 – Concurrency Theory [electronic resource] : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings / edited by Luís Caires, Vasco T. Vasconcelos.

by Caires, Luís [editor.] | Vasconcelos, Vasco T [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4703Source: 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): .

E-BOOKS
Secure Data Management [electronic resource] : 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007. Proceedings / edited by Willem Jonker, Milan Petković.

by Jonker, Willem [editor.] | Petković, Milan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4721Source: 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): .

E-BOOKS
Runtime Verification [electronic resource] : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers / edited by Oleg Sokolsky, Serdar Taşıran.

by Sokolsky, Oleg [editor.] | Taşıran, Serdar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4839Source: 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): .

E-BOOKS
Computer Performance Evaluation and Benchmarking [electronic resource] : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings / edited by David Kaeli, Kai Sachs.

by Kaeli, David [editor.] | Sachs, Kai [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5419Source: 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): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha