Your search returned 3177 results.

Not what you expected? Check for suggestions
E-BOOKS
Software Engineering for Resilient Systems [electronic resource] : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings / edited by Paris Avgeriou.

by Avgeriou, Paris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7527Source: 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
Programming Languages [electronic resource] : 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings / edited by Francisco Heron Carvalho Junior, Luis Soares Barbosa.

by Carvalho Junior, Francisco Heron [editor.] | Barbosa, Luis Soares [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7554Source: 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
Web Reasoning and Rule Systems [electronic resource] : 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings / edited by Markus Krötzsch, Umberto Straccia.

by Krötzsch, Markus [editor.] | Straccia, Umberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7497Source: 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
Computer Information Systems and Industrial Management [electronic resource] : 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings / edited by Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Sławomir Wierzchoń.

by Cortesi, Agostino [editor.] | Chaki, Nabendu [editor.] | Saeed, Khalid [editor.] | Wierzchoń, Sławomir [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7564Source: 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
Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings / edited by Rohit Gheyi, David Naumann.

by Gheyi, Rohit [editor.] | Naumann, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7498Source: 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
Relational and Algebraic Methods in Computer Science [electronic resource] : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings / edited by Wolfram Kahl, Timothy G. Griffin.

by Kahl, Wolfram [editor.] | Griffin, Timothy G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7560Source: 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
Formal Modeling and Analysis of Timed Systems [electronic resource] : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / edited by Marcin Jurdziński, Dejan Ničković.

by Jurdziński, Marcin [editor.] | Ničković, Dejan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7595Source: 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
Information Security [electronic resource] : 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings / edited by Dieter Gollmann, Felix C. Freiling.

by Gollmann, Dieter [editor.] | Freiling, Felix C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7483Source: 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
Automated Technology for Verification and Analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings / edited by Supratik Chakraborty, Madhavan Mukund.

by Chakraborty, Supratik [editor.] | Mukund, Madhavan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: 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
Service-Oriented and Cloud Computing [electronic resource] : First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings / edited by Flavio Paoli, Ernesto Pimentel, Gianluigi Zavattaro.

by Paoli, Flavio [editor.] | Pimentel, Ernesto [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7592Source: 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
Intelligent Robotics and Applications [electronic resource] : 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part III / edited by Chun-Yi Su, Subhash Rakheja, Honghai Liu.

by Su, Chun-Yi [editor.] | Rakheja, Subhash [editor.] | Liu, Honghai [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7508Source: 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
Intelligent Robotics and Applications [electronic resource] : 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part I / edited by Chun-Yi Su, Subhash Rakheja, Honghai Liu.

by Su, Chun-Yi [editor.] | Rakheja, Subhash [editor.] | Liu, Honghai [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7506Source: 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
Reachability Problems [electronic resource] : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings / edited by Alain Finkel, Jérôme Leroux, Igor Potapov.

by Finkel, Alain [editor.] | Leroux, Jérôme [editor.] | Potapov, Igor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7550Source: 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
Intelligent Robotics and Applications [electronic resource] : 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II / edited by Chun-Yi Su, Subhash Rakheja, Honghai Liu.

by Su, Chun-Yi [editor.] | Rakheja, Subhash [editor.] | Liu, Honghai [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7507Source: 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
Recent Advances in the Message Passing Interface [electronic resource] : 19th European MPI Users’ Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings / edited by Jesper Larsson Träff, Siegfried Benkner, Jack J. Dongarra.

by Träff, Jesper Larsson [editor.] | Benkner, Siegfried [editor.] | Dongarra, Jack J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7490Source: 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
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings / edited by Andréa W. Richa, Christian Scheideler.

by Richa, Andréa W [editor.] | Scheideler, Christian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7596Source: 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
Computational Logistics [electronic resource] : Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings / edited by Hao Hu, Xiaoning Shi, Robert Stahlbock, Stefan Voß.

by Hu, Hao [editor.] | Shi, Xiaoning [editor.] | Stahlbock, Robert [editor.] | Voß, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7555Source: 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
On the Move to Meaningful Internet Systems: OTM 2012 [electronic resource] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I / edited by Robert Meersman, Hervé Panetto, Tharam Dillon, Stefanie Rinderle-Ma, Peter Dadam, Xiaofang Zhou, Siani Pearson, Alois Ferscha, Sonia Bergamaschi, Isabel F. Cruz.

by Meersman, Robert [editor.] | Panetto, Hervé [editor.] | Dillon, Tharam [editor.] | Rinderle-Ma, Stefanie [editor.] | Dadam, Peter [editor.] | Zhou, Xiaofang [editor.] | Pearson, Siani [editor.] | Ferscha, Alois [editor.] | Bergamaschi, Sonia [editor.] | Cruz, Isabel F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7565Source: 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
Model and Data Engineering [electronic resource] : 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings / edited by Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah.

by Abelló, Alberto [editor.] | Bellatreche, Ladjel [editor.] | Benatallah, Boualem [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7602Source: 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
On the Move to Meaningful Internet Systems: OTM 2012 [electronic resource] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II / edited by Robert Meersman, Hervé Panetto, Tharam Dillon, Stefanie Rinderle-Ma, Peter Dadam, Xiaofang Zhou, Siani Pearson, Alois Ferscha, Sonia Bergamaschi, Isabel F. Cruz.

by Meersman, Robert [editor.] | Panetto, Hervé [editor.] | Dillon, Tharam [editor.] | Rinderle-Ma, Stefanie [editor.] | Dadam, Peter [editor.] | Zhou, Xiaofang [editor.] | Pearson, Siani [editor.] | Ferscha, Alois [editor.] | Bergamaschi, Sonia [editor.] | Cruz, Isabel F [editor.] | SpringerLink (Online service).

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

Powered by Koha