Your search returned 1338 results.

Not what you expected? Check for suggestions
E-BOOKS
Declarative Agent Languages and Technologies IV [electronic resource] : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers / edited by Matteo Baldoni, Ulle Endriss.

by Baldoni, Matteo [editor.] | Endriss, Ulle [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4327Source: 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
Distributed Artificial Intelligence Meets Machine Learning Learning in Multi-Agent Environments [electronic resource] : ECAI'96 Workshop LDAIS Budapest, Hungary, August 13, 1996 ICMAS'96 Workshop LIOME Kyoto, Japan, December 10, 1996 Selected Papers / edited by Gerhard Weiß.

by Weiß, Gerhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1221Source: 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
Rewriting Techniques and Applications [electronic resource] : 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings / edited by Hubert Comon.

by Comon, Hubert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1232Source: 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
Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino / edited by Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt.

by Beckert, Bernhard [editor.] | Hähnle, Reiner [editor.] | Schmitt, Peter H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4334Source: 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
Models in Software Engineering [electronic resource] : Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers / edited by Holger Giese.

by Giese, Holger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5002Source: 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
ECOOP'97 — Object-Oriented Programming [electronic resource] : 11th European Conference Jyväskylä, Finland, June 9–13, 1997 Proceedings / edited by Mehmet Akşit, Satoshi Matsuoka.

by Akşit, Mehmet [editor.] | Matsuoka, Satoshi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1241Source: 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
Languages and Compilers for Parallel Computing [electronic resource] : 9th International Workshop, LCPC'96 San Jose, California, USA, August 8–10, 1996 Proceedings / edited by David Sehr, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua.

by Sehr, David [editor.] | Banerjee, Utpal [editor.] | Gelernter, David [editor.] | Nicolau, Alex [editor.] | Padua, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1239Source: 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
Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / edited by Bertrand Meyer, Jim Woodcock.

by Meyer, Bertrand [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4171Source: 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
Reliable Software Technologies — Ada-Europe '97 [electronic resource] : 1997 Ada-Europe International Conference on Reliable Software Technologies London, UK, June 2–6, 1997 Proceedings / edited by Keith Hardy, Jim Briggs.

by Hardy, Keith [editor.] | Briggs, Jim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1251Source: 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
Static Analysis [electronic resource] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / edited by María Alpuente, Germán Vidal.

by Alpuente, María [editor.] | Vidal, Germán [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5079Source: 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
Implementation and Application of Functional Languages [electronic resource] : 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers / edited by Andrew Butterfield, Clemens Grelck, Frank Huch.

by Butterfield, Andrew [editor.] | Grelck, Clemens [editor.] | Huch, Frank [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4015Source: 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
CONCUR '97: Concurrency Theory [electronic resource] : 8th International Conference Warsaw, Poland, July 1–4, 1997 Proceedings / edited by Antoni Mazurkiewicz, Józef Winkowski.

by Mazurkiewicz, Antoni [editor.] | Winkowski, Józef [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1243Source: 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
Ada 95 Rationale [electronic resource] : The Language The Standard Libraries / edited by John Barnes.

by Barnes, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1247Source: 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
Ada 95 Reference Manual [electronic resource] : Language and Standard Libraries / edited by S. Tucker Taft, Robert A. Duff.

by Tucker Taft, S [editor.] | Duff, Robert A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1246Source: 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
Automata, Languages and Programming [electronic resource] : 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings / edited by Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela.

by Degano, Pierpaolo [editor.] | Gorrieri, Roberto [editor.] | Marchetti-Spaccamela, Alberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1256Source: 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
Implementation of Functional Languages [electronic resource] : 8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16–18, 1996 Selected Papers / edited by Werner Kluge.

by Kluge, Werner [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1268Source: 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
Languages and Compilers for Parallel Computing [electronic resource] : 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers / edited by Eduard Ayguadé, Gerald Baumgartner, J. Ramanujam, P. Sadayappan.

by Ayguadé, Eduard [editor.] | Baumgartner, Gerald [editor.] | Ramanujam, J [editor.] | Sadayappan, P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4339Source: 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
Ada 2005 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 / by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy.

by Taft, S. Tucker [author.] | Duff, Robert A [author.] | Brukardt, Randall L [author.] | Ploedereder, Erhard [author.] | Leroy, Pascal [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4348Source: 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
High Performance Embedded Architectures and Compilers [electronic resource] : Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings / edited by Koen Bosschere, David Kaeli, Per Stenström, David Whalley, Theo Ungerer.

by Bosschere, Koen [editor.] | Kaeli, David [editor.] | Stenström, Per [editor.] | Whalley, David [editor.] | Ungerer, Theo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4367Source: 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
Worldwide Computing and Its Applications [electronic resource] : International Conference, WWCA'97 Tsukuba, Japan, March 10–11, 1997 Proceedings / edited by Takashi Masuda, Yoshifumi Masunaga, Michiharu Tsukamoto.

by Masuda, Takashi [editor.] | Masunaga, Yoshifumi [editor.] | Tsukamoto, Michiharu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1274Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha