Your search returned 2314 results.

Not what you expected? Check for suggestions
E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings / edited by Hubert Garavel, John Hatcliff.

by Garavel, Hubert [editor.] | Hatcliff, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2619Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Fast Software Encryption [electronic resource] : 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers / edited by Matthew Robshaw.

by Robshaw, Matthew [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4047Source: 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
Genetic Programming [electronic resource] : 6th European Conference, EuroGP 2003 Essex, UK, April 14–16, 2003 Proceedings / edited by Conor Ryan, Terence Soule, Maarten Keijzer, Edward Tsang, Riccardo Poli, Ernesto Costa.

by Ryan, Conor [editor.] | Soule, Terence [editor.] | Keijzer, Maarten [editor.] | Tsang, Edward [editor.] | Poli, Riccardo [editor.] | Costa, Ernesto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2610Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2003: EvoBIO, EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM Essex, UK, April 14–16, 2003 Proceedings / edited by Stefano Cagnoni, Colin G. Johnson, Juan J. Romero Cardalda, Elena Marchiori, David W. Corne, Jean-Arcady Meyer, Jens Gottlieb, Martin Middendorf, Agnès Guillot, Günther R. Raidl, Emma Hart.

by Cagnoni, Stefano [editor.] | Johnson, Colin G [editor.] | Cardalda, Juan J. Romero [editor.] | Marchiori, Elena [editor.] | Corne, David W [editor.] | Meyer, Jean-Arcady [editor.] | Gottlieb, Jens [editor.] | Middendorf, Martin [editor.] | Guillot, Agnès [editor.] | Raidl, Günther R [editor.] | Hart, Emma [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2611Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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 Constraints [electronic resource] : Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers / edited by Barry O’Sullivan.

by O’Sullivan, Barry [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 2627Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Machine Learning: ECML 2002 [electronic resource] : 13th European Conference on Machine Learning Helsinki, Finland, August 19–23, 2002 Proceedings / edited by Tapio Elomaa, Heikki Mannila, Hannu Toivonen.

by Elomaa, Tapio [editor.] | Mannila, Heikki [editor.] | Toivonen, Hannu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2430Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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 and Applications Security XX [electronic resource] : 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings / edited by Ernesto Damiani, Peng Liu.

by Damiani, Ernesto [editor.] | Liu, Peng [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4127Source: 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
Computing and Combinatorics [electronic resource] : 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006. Proceedings / edited by Danny Z. Chen, D. T. Lee.

by Chen, Danny Z [editor.] | Lee, D. T [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4112Source: 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
Evolutionary Multi-Criterion Optimization [electronic resource] : Second International Conference, EMO 2003, Faro, Portugal, April 8–11, 2003. Proceedings / edited by Carlos M. Fonseca, Peter J. Fleming, Eckart Zitzler, Lothar Thiele, Kalyanmoy Deb.

by Fonseca, Carlos M [editor.] | Fleming, Peter J [editor.] | Zitzler, Eckart [editor.] | Thiele, Lothar [editor.] | Deb, Kalyanmoy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2632Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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 Processing in Sensor Networks [electronic resource] : Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22–23, 2003 Proceedings / edited by Feng Zhao, Leonidas Guibas.

by Zhao, Feng [editor.] | Guibas, Leonidas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2634Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Wireless Algorithms, Systems, and Applications [electronic resource] : First International Conference, WASA 2006, Xi’an, China, August 15-17, 2006. Proceedings / edited by Xiuzhen Cheng, Wei Li, Taieb Znati.

by Cheng, Xiuzhen [editor.] | Li, Wei [editor.] | Znati, Taieb [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4138Source: 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
Theory and Applications of Satisfiability Testing - SAT 2006 [electronic resource] : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings / edited by Armin Biere, Carla P. Gomes.

by Biere, Armin [editor.] | Gomes, Carla P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4121Source: 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
Implementation and Application of Automata [electronic resource] : 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings / edited by Oscar H. Ibarra, Hsu-Chun Yen.

by Ibarra, Oscar H [editor.] | Yen, Hsu-Chun [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4094Source: 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
Intelligent Computing [electronic resource] : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part I / edited by De-Shuang Huang, Kang Li, George William Irwin.

by Huang, De-Shuang [editor.] | Li, Kang [editor.] | Irwin, George William [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4113Source: 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
Computational Intelligence and Bioinformatics [electronic resource] : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part III / edited by De-Shuang Huang, Kang Li, George William Irwin.

by Huang, De-Shuang [editor.] | Li, Kang [editor.] | Irwin, George William [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4115Source: 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
Advances in Machine Vision, Image Processing, and Pattern Analysis [electronic resource] : International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, IWICPAS 2006 Xi’an, China, August 26-27, 2006 Proceedings / edited by Nanning Zheng, Xiaoyi Jiang, Xuguang Lan.

by Zheng, Nanning [editor.] | Jiang, Xiaoyi [editor.] | Lan, Xuguang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4153Source: 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
Graph Drawing [electronic resource] : 6th International Symposium, GD’ 98 Montréal, Canada, August 13–15, 1998 Proceedings / edited by Sue H. Whitesides.

by Whitesides, Sue H [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Artificial Immune Systems [electronic resource] : 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006. Proceedings / edited by Hugues Bersini, Jorge Carneiro.

by Bersini, Hugues [editor.] | Carneiro, Jorge [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4163Source: 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
Mathematical Foundations of Computer Science 2006 [electronic resource] : 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings / edited by Rastislav Královič, Paweł Urzyczyn.

by Královič, Rastislav [editor.] | Urzyczyn, Paweł [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4162Source: 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
Secure Mobile Ad-hoc Networks and Sensors [electronic resource] : First International Workshop, MADNES 2005, Singapore, September 20-22, 2005, Revised Selected Papers / edited by Mike Burmester, Alec Yasinsac.

by Burmester, Mike [editor.] | Yasinsac, Alec [editor.] | SpringerLink (Online service).

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

Powered by Koha