Your search returned 8979 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Techniques for Networked and Distributed Systems – FORTE 2004 [electronic resource] : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings / edited by David Frutos-Escrig, Manuel Núñez.

by Frutos-Escrig, David [editor.] | Núñez, Manuel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3235Source: 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
Applying Formal Methods: Testing, Performance, and M/E-Commerce [electronic resource] : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings / edited by Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio.

by Núñez, Manuel [editor.] | Maamar, Zakaria [editor.] | Pelayo, Fernando L [editor.] | Pousttchi, Key [editor.] | Rubio, Fernando [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3236Source: 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
Progress in Pattern Recognition, Image Analysis and Applications [electronic resource] : 9th Iberoamerican Congress on Pattern Recognition, CIARP 2004, Puebla, Mexico, October 26-29, 2004. Proceedings / edited by Alberto Sanfeliu, José Francisco Martínez Trinidad, Jesús Ariel Carrasco Ochoa.

by Sanfeliu, Alberto [editor.] | Martínez Trinidad, José Francisco [editor.] | Carrasco Ochoa, Jesús Ariel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3287Source: 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
Conceptual Modeling – ER 2004 [electronic resource] : 23rd International Conference on Conceptual Modeling, Shanghai, China, November 8-12, 2004. Proceedings / edited by Paolo Atzeni, Wesley Chu, Hongjun Lu, Shuigeng Zhou, Tok-Wang Ling.

by Atzeni, Paolo [editor.] | Chu, Wesley [editor.] | Lu, Hongjun [editor.] | Zhou, Shuigeng [editor.] | Ling, Tok-Wang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3288Source: 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
Conceptual Modeling for Advanced Application Domains [electronic resource] : ER 2004 Workshops CoMoGIS, CoMWIM, ECDM, CoMoA, DGOV, and eCOMO, Shanghai, China, November 8-12, 2004. Proceedings / edited by Shan Wang, Katsumi Tanaka, Shuigeng Zhou, Tok-Wang Ling, Jihong Guan, Dong-qing Yang, Fabio Grandi, Eleni E. Mangina, Il-Yeol Song, Heinrich C. Mayr.

by Wang, Shan [editor.] | Tanaka, Katsumi [editor.] | Zhou, Shuigeng [editor.] | Ling, Tok-Wang [editor.] | Guan, Jihong [editor.] | Yang, Dong-qing [editor.] | Grandi, Fabio [editor.] | Mangina, Eleni E [editor.] | Song, Il-Yeol [editor.] | Mayr, Heinrich C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3289Source: 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
On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings, Part I / edited by Robert Meersman, Zahir Tari.

by Meersman, Robert [editor.] | Tari, Zahir [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3290Source: 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
On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25-29, 2004, Proceedings, Part II / edited by Robert Meersman, Zahir Tari.

by Meersman, Robert [editor.] | Tari, Zahir [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3291Source: 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
On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops [electronic resource] : OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings / edited by Robert Meersman, Zahir Tari, Angelo Corsaro.

by Meersman, Robert [editor.] | Tari, Zahir [editor.] | Corsaro, Angelo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3292Source: 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 Content Caching and Distribution [electronic resource] : 9th International Workshop, WCW 2004, Beijing, China, October 18-20, 2004. Proceedings / edited by Chi-Hung Chi, Maarten Steen, Craig Wills.

by Chi, Chi-Hung [editor.] | Steen, Maarten [editor.] | Wills, Craig [editor.] | SpringerLink (Online service).

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

Powered by Koha