Your search returned 2796 results.

Not what you expected? Check for suggestions
E-BOOKS
Multi-Agent-Based Simulation XII [electronic resource] : International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers / edited by Daniel Villatoro, Jordi Sabater-Mir, Jaime Simão Sichman.

by Villatoro, Daniel [editor.] | Sabater-Mir, Jordi [editor.] | Sichman, Jaime Simão [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7124Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Transactions on Computational Science XV [electronic resource] : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Cong-Vinh Phan.

by Gavrilova, Marina L [editor.] | Tan, C. J. Kenneth [editor.] | Phan, Cong-Vinh [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7050Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Passive and Active Measurement [electronic resource] : 13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012. Proceedings / edited by Nina Taft, Fabio Ricciato.

by Taft, Nina [editor.] | Ricciato, Fabio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7192Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings / edited by Jens B. Schmitt.

by Schmitt, Jens B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7201Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Latent Variable Analysis and Signal Separation [electronic resource] : 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings / edited by Fabian Theis, Andrzej Cichocki, Arie Yeredor, Michael Zibulevsky.

by Theis, Fabian [editor.] | Cichocki, Andrzej [editor.] | Yeredor, Arie [editor.] | Zibulevsky, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7191Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Self-Organizing Systems [electronic resource] : 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012. Proceedings / edited by Fernando A. Kuipers, Poul E. Heegaard.

by Kuipers, Fernando A [editor.] | Heegaard, Poul E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7166Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Compiler Construction [electronic resource] : 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings / edited by Michael O’Boyle.

by O’Boyle, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7210Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Economics of Grids, Clouds, Systems, and Services [electronic resource] : 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers / edited by Kurt Vanmechelen, Jörn Altmann, Omer F. Rana.

by Vanmechelen, Kurt [editor.] | Altmann, Jörn [editor.] | Rana, Omer F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7150Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Requirements Engineering: Foundation for Software Quality [electronic resource] : 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings / edited by Björn Regnell, Daniela Damian.

by Regnell, Björn [editor.] | Damian, Daniela [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7195Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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 for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings / edited by Nikolaj Bjørner, Andrei Voronkov.

by Bjørner, Nikolaj [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7180Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Foundations of Software Science and Computational Structures [electronic resource] : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings / edited by Lars Birkedal.

by Birkedal, Lars [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7213Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings / edited by Cormac Flanagan, Barbara König.

by Flanagan, Cormac [editor.] | König, Barbara [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7214Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Software Language Engineering [electronic resource] : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers / edited by Anthony Sloane, Uwe Aßmann.

by Sloane, Anthony [editor.] | Aßmann, Uwe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6940Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Programming Languages and Systems [electronic resource] : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / edited by Helmut Seidl.

by Seidl, Helmut [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7211Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Fundamental Approaches to Software Engineering [electronic resource] : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / edited by Juan Lara, Andrea Zisman.

by Lara, Juan [editor.] | Zisman, Andrea [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7212Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
NASA Formal Methods [electronic resource] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / edited by Alwyn E. Goodloe, Suzette Person.

by Goodloe, Alwyn E [editor.] | Person, Suzette [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7226Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Programming Multi-Agent Systems [electronic resource] : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers / edited by Rem Collier, Jürgen Dix, Peter Novák.

by Collier, Rem [editor.] | Dix, Jürgen [editor.] | Novák, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6599Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Transactions on Petri Nets and Other Models of Concurrency V [electronic resource] / edited by Kurt Jensen, Susanna Donatelli, Jetty Kleijn.

by Jensen, Kurt [editor.] | Donatelli, Susanna [editor.] | Kleijn, Jetty [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6900Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Declarative Agent Languages and Technologies IX [electronic resource] : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers / edited by Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff.

by Sakama, Chiaki [editor.] | Sardina, Sebastian [editor.] | Vasconcelos, Wamberto [editor.] | Winikoff, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7169Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Advanced Computing, Networking and Security [electronic resource] : International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers / edited by P. Santhi Thilagam, Alwyn Roshan Pais, K. Chandrasekaran, N. Balakrishnan.

by Thilagam, P. Santhi [editor.] | Pais, Alwyn Roshan [editor.] | Chandrasekaran, K [editor.] | Balakrishnan, N [editor.] | SpringerLink (Online service).

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