Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
Teaching Formal Methods [electronic resource] : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings / edited by C. Neville Dean, Raymond T. Boute.

by Dean, C. Neville [editor.] | Boute, Raymond T [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3294Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Ambient Intelligence [electronic resource] : Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004. Proceedings / edited by Panos Markopoulos, Berry Eggen, Emile Aarts, James L. Crowley.

by Markopoulos, Panos [editor.] | Eggen, Berry [editor.] | Aarts, Emile [editor.] | Crowley, James L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3295Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 Computing - HiPC 2004 [electronic resource] : 11th International Conference, Bangalore, India, December 19-22, 2004. Proceedings / edited by Luc Bougé, Viktor K. Prasanna.

by Bougé, Luc [editor.] | Prasanna, Viktor K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3296Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
The Semantic Web – ISWC 2004 [electronic resource] : Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings / edited by Sheila A. McIlraith, Dimitris Plexousakis, Frank Harmelen.

by McIlraith, Sheila A [editor.] | Plexousakis, Dimitris [editor.] | Harmelen, Frank [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3298Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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] : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings / edited by Farn Wang.

by Wang, Farn [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3299Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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] : Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings / edited by Wei-Ngan Chin.

by Chin, Wei-Ngan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3302Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 Exploration in Life Science Informatics [electronic resource] : International Symposium KELSI 2004, Milan, Italy, November 25-26, 2004. Proceedings / edited by Jesús A. López, Emilio Benfenati, Werner Dubitzky.

by López, Jesús A [editor.] | Benfenati, Emilio [editor.] | Dubitzky, Werner [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3303Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Cellular Automata [electronic resource] : 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004. Proceedings / edited by Peter M. A. Sloot, Bastien Chopard, Alfons G. Hoekstra.

by Sloot, Peter M. A [editor.] | Chopard, Bastien [editor.] | Hoekstra, Alfons G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3305Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 Information Systems – WISE 2004 [electronic resource] : 5th International Conference on Web Information Systems Engineering, Brisbane, Australia, November 22-24, 2004. Proceedings / edited by Xiaofang Zhou, Stanley Su, Mike P. Papazoglou, Maria Elzbieta Orlowska, Keith Jeffery.

by Zhou, Xiaofang [editor.] | Su, Stanley [editor.] | Papazoglou, Mike P [editor.] | Orlowska, Maria Elzbieta [editor.] | Jeffery, Keith [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3306Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 Information Systems – WISE 2004 Workshops [electronic resource] : WISE 2004 International Workshops, Brisbane, Australia, November 22-24, 2004. Proceedings / edited by Christoph Bussler, Suk-ki Hong, Woochun Jun, Roland Kaschek, Kinshuk, Shonali Krishnaswamy, Seng Wai Loke, Daniel Oberle, Debbie Richards, Amit Sharma, York Sure, Bernhard Thalheim.

by Bussler, Christoph [editor.] | Hong, Suk-ki [editor.] | Jun, Woochun [editor.] | Kaschek, Roland [editor.] | Kinshuk [editor.] | Krishnaswamy, Shonali [editor.] | Loke, Seng Wai [editor.] | Oberle, Daniel [editor.] | Richards, Debbie [editor.] | Sharma, Amit [editor.] | Sure, York [editor.] | Thalheim, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3307Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 and Software Engineering [electronic resource] : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings / edited by Jim Davies, Wolfram Schulte, Mike Barnett.

by Davies, Jim [editor.] | Schulte, Wolfram [editor.] | Barnett, Mike [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3308Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Content Computing [electronic resource] : Advanced Workshop on Content Computing, AWCC 2004, ZhenJiang, JiangSu, China, November 15-17, 2004. Proceedings / edited by Chi-Hung Chi, Kwok-Yan Lam.

by Chi, Chi-Hung [editor.] | Lam, Kwok-Yan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3309Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Interactive Multimedia and Next Generation Networks [electronic resource] : Second International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2004, Grenoble, France, November 16-19, 2004. Proceedings / edited by Vincent Roca, Franck Rousseau.

by Roca, Vincent [editor.] | Rousseau, Franck [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3311Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 in Computer-Aided Design [electronic resource] : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings / edited by Alan J. Hu, Andrew K. Martin.

by Hu, Alan J [editor.] | Martin, Andrew K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3312Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Security in Ad-hoc and Sensor Networks [electronic resource] : First European Workshop, ESAS 2004, Heidelberg, Germany, August 6, 2004, Revised Selected Papers / edited by Claude Castelluccia, Hannes Hartenstein, Christof Paar, Dirk Westhoff.

by Castelluccia, Claude [editor.] | Hartenstein, Hannes [editor.] | Paar, Christof [editor.] | Westhoff, Dirk [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3313Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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 and Information Science [electronic resource] : First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings / edited by Jun Zhang, Ji-Huan He, Yuxi Fu.

by Zhang, Jun [editor.] | He, Ji-Huan [editor.] | Fu, Yuxi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3314Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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 Artificial Intelligence – IBERAMIA 2004 [electronic resource] : 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004. Proceedings / edited by Christian Lemaître, Carlos A. Reyes, Jesús A. González.

by Lemaître, Christian [editor.] | Reyes, Carlos A [editor.] | González, Jesús A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3315Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Neural Information Processing [electronic resource] : 11th International Conference, ICONIP 2004, Calcutta, India, November 22-25, 2004. Proceedings / edited by Nikhil Ranjan Pal, Nik Kasabov, Rajani K. Mudi, Srimanta Pal, Swapan Kumar Parui.

by Pal, Nikhil Ranjan [editor.] | Kasabov, Nik [editor.] | Mudi, Rajani K [editor.] | Pal, Srimanta [editor.] | Parui, Swapan Kumar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3316Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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] : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers / edited by Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu.

by Domaratzki, Michael [editor.] | Okhotin, Alexander [editor.] | Salomaa, Kai [editor.] | Yu, Sheng [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3317Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Parallel and Distributed Computing: Applications and Technologies [electronic resource] : 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedings / edited by Kim-Meow Liew, Hong Shen, Simon See, Wentong Cai, Pingzhi Fan, Susumu Horiguchi.

by Liew, Kim-Meow [editor.] | Shen, Hong [editor.] | See, Simon [editor.] | Cai, Wentong [editor.] | Fan, Pingzhi [editor.] | Horiguchi, Susumu [editor.] | SpringerLink (Online service).

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