Your search returned 3565 results.

Not what you expected? Check for suggestions
E-BOOKS
Verified Software: Theories, Tools, Experiments [electronic resource] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings / edited by Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani.

by Leavens, Gary T [editor.] | O’Hearn, Peter [editor.] | Rajamani, Sriram K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6217Source: 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
E-BOOKS
Advances in Bioinformatics and Computational Biology [electronic resource] : 5th Brazilian Symposium on Bioinformatics, BSB 2010, Rio de Janeiro, Brazil, August 31-September 3, 2010. Proceedings / edited by Carlos E. Ferreira, Satoru Miyano, Peter F. Stadler.

by Ferreira, Carlos E [editor.] | Miyano, Satoru [editor.] | Stadler, Peter F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6268Source: 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
E-BOOKS
Data Integration in the Life Sciences [electronic resource] : 7th International Conference, DILS 2010, Gothenburg, Sweden, August 25-27, 2010. Proceedings / edited by Patrick Lambrix, Graham Kemp.

by Lambrix, Patrick [editor.] | Kemp, Graham [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6254Source: 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
E-BOOKS
Electronic Government and the Information Systems Perspective [electronic resource] : First International Conference, EGOVIS 2010, Bilbao, Spain, August 31 – September 2, 2010. Proceedings / edited by Kim Normann Andersen, Enrico Francesconi, Åke Grönlund, Tom M. Engers.

by Andersen, Kim Normann [editor.] | Francesconi, Enrico [editor.] | Grönlund, Åke [editor.] | Engers, Tom M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6267Source: 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
E-BOOKS
From Animals to Animats 11 [electronic resource] : 11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Lucé, France, August 25-28, 2010. Proceedings / edited by Stéphane Doncieux, Benoît Girard, Agnès Guillot, John Hallam, Jean-Arcady Meyer, Jean-Baptiste Mouret.

by Doncieux, Stéphane [editor.] | Girard, Benoît [editor.] | Guillot, Agnès [editor.] | Hallam, John [editor.] | Meyer, Jean-Arcady [editor.] | Mouret, Jean-Baptiste [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6226Source: 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
E-BOOKS
Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Anuj Dawar, Helmut Veith.

by Dawar, Anuj [editor.] | Veith, Helmut [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6247Source: 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
E-BOOKS
PRICAI 2010: Trends in Artificial Intelligence [electronic resource] : 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30–September 2, 2010. Proceedings / edited by Byoung-Tak Zhang, Mehmet A. Orgun.

by Zhang, Byoung-Tak [editor.] | Orgun, Mehmet A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6230Source: 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
E-BOOKS
Database and Expert Systems Applications [electronic resource] : 21th International Conference, DEXA 2010, Bilbao, Spain, August 30 - September 3, 2010, Proceedings, Part II / edited by Pablo García Bringas, Abdelkader Hameurlain, Gerald Quirchmayr.

by Bringas, Pablo García [editor.] | Hameurlain, Abdelkader [editor.] | Quirchmayr, Gerald [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6262Source: 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
E-BOOKS
Knowledge Science, Engineering and Management [electronic resource] : 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings / edited by Yaxin Bi, Mary-Anne Williams.

by Bi, Yaxin [editor.] | Williams, Mary-Anne [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6291Source: 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
E-BOOKS
Algorithms in Bioinformatics [electronic resource] : 10th International Workshop, WABI 2010, Liverpool, UK, September 6-8, 2010. Proceedings / edited by Vincent Moulton, Mona Singh.

by Moulton, Vincent [editor.] | Singh, Mona [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6293Source: 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
E-BOOKS
Geographic Information Science [electronic resource] : 6th International Conference, GIScience 2010, Zurich, Switzerland, September 14-17, 2010. Proceedings / edited by Sara Irina Fabrikant, Tumasch Reichenbacher, Marc Kreveld, Christoph Schlieder.

by Fabrikant, Sara Irina [editor.] | Reichenbacher, Tumasch [editor.] | Kreveld, Marc [editor.] | Schlieder, Christoph [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6292Source: 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
E-BOOKS
Brain Informatics [electronic resource] : International Conference, BI 2010, Toronto, ON, Canada, August 28-30, 2010. Proceedings / edited by Yiyu Yao, Ron Sun, Tomaso Poggio, Jiming Liu, Ning Zhong, Jimmy Huang.

by Yao, Yiyu [editor.] | Sun, Ron [editor.] | Poggio, Tomaso [editor.] | Liu, Jiming [editor.] | Zhong, Ning [editor.] | Huang, Jimmy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6334Source: 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
E-BOOKS
Evolvable Systems: From Biology to Hardware [electronic resource] : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings / edited by Gianluca Tempesti, Andy M. Tyrrell, Julian F. Miller.

by Tempesti, Gianluca [editor.] | Tyrrell, Andy M [editor.] | Miller, Julian F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6274Source: 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
E-BOOKS
Database and Expert Systems Applications [electronic resource] : 21st International Conference, DEXA 2010, Bilbao, Spain, August 30 - September 3, 2010, Proceedings, Part I / edited by Pablo García Bringas, Abdelkader Hameurlain, Gerald Quirchmayr.

by Bringas, Pablo García [editor.] | Hameurlain, Abdelkader [editor.] | Quirchmayr, Gerald [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6261Source: 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
E-BOOKS
CONCUR 2010 - Concurrency Theory [electronic resource] : 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings / edited by Paul Gastin, François Laroussinie.

by Gastin, Paul [editor.] | Laroussinie, François [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6269Source: 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
E-BOOKS
Intelligent Data Engineering and Automated Learning – IDEAL 2010 [electronic resource] : 11th International Conference, Paisley, UK, September 1-3, 2010. Proceedings / edited by Colin Fyfe, Peter Tino, Darryl Charles, Cesar Garcia-Osorio, Hujun Yin.

by Fyfe, Colin [editor.] | Tino, Peter [editor.] | Charles, Darryl [editor.] | Garcia-Osorio, Cesar [editor.] | Yin, Hujun [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6283Source: 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
E-BOOKS
Knowledge-Based and Intelligent Information and Engineering Systems [electronic resource] : 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part IV / edited by Rossitza Setchi, Ivan Jordanov, Robert J. Howlett, Lakhmi C. Jain.

by Setchi, Rossitza [editor.] | Jordanov, Ivan [editor.] | Howlett, Robert J [editor.] | Jain, Lakhmi C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6279Source: 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
E-BOOKS
Knowledge-Based and Intelligent Information and Engineering Systems [electronic resource] : 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part I / edited by Rossitza Setchi, Ivan Jordanov, Robert J. Howlett, Lakhmi C. Jain.

by Setchi, Rossitza [editor.] | Jordanov, Ivan [editor.] | Howlett, Robert J [editor.] | Jain, Lakhmi C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6276Source: 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
E-BOOKS
Knowledge-Based and Intelligent Information and Engineering Systems [electronic resource] : 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part II / edited by Rossitza Setchi, Ivan Jordanov, Robert J. Howlett, Lakhmi C. Jain.

by Setchi, Rossitza [editor.] | Jordanov, Ivan [editor.] | Howlett, Robert J [editor.] | Jain, Lakhmi C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6277Source: 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
E-BOOKS
Knowledge-Based and Intelligent Information and Engineering Systems [electronic resource] : 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part III / edited by Rossitza Setchi, Ivan Jordanov, Robert J. Howlett, Lakhmi C. Jain.

by Setchi, Rossitza [editor.] | Jordanov, Ivan [editor.] | Howlett, Robert J [editor.] | Jain, Lakhmi C [editor.] | SpringerLink (Online service).

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