Your search returned 2796 results.

Not what you expected? Check for suggestions
E-BOOKS
«UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications [electronic resource] : 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings / edited by Thomas Baar, Alfred Strohmeier, Ana Moreira, Stephen J. Mellor.

by Baar, Thomas [editor.] | Strohmeier, Alfred [editor.] | Moreira, Ana [editor.] | Mellor, Stephen J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3273Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Ubiquitous Mobile Information and Collaboration Systems [electronic resource] : Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers / edited by Luciano Baresi, Schahram Dustdar, Harald C. Gall, Maristella Matera.

by Baresi, Luciano [editor.] | Dustdar, Schahram [editor.] | Gall, Harald C [editor.] | Matera, Maristella [editor.] | SpringerLink (Online service).

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

E-BOOKS
Grid Services Engineering and Management [electronic resource] : First International Conference, GSEM 2004, Erfurt, Germany, September 27-30, 2004. Proceedings / edited by Mario Jeckle, Ryszard Kowalczyk, Peter Braun.

by Jeckle, Mario [editor.] | Kowalczyk, Ryszard [editor.] | Braun, Peter [editor.] | SpringerLink (Online service).

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

E-BOOKS
Object-Oriented and Internet-Based Technologies [electronic resource] : 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net.ObjectDays 2004, Erfurt, Germany, September 27-30, 2004. Proceedings / edited by Mathias Weske, Peter Liggesmeyer.

by Weske, Mathias [editor.] | Liggesmeyer, Peter [editor.] | SpringerLink (Online service).

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

E-BOOKS
Personal Wireless Communications [electronic resource] : IFIP TC6 9th International Conference, PWC 2004, Delft, The Netherlands, September 21-23, 2004. Proceedings / edited by Ignas Niemegeers, Sonia Heemstra Groot.

by Niemegeers, Ignas [editor.] | Groot, Sonia Heemstra [editor.] | SpringerLink (Online service).

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

E-BOOKS
Graph Transformations [electronic resource] : Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings / edited by Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg.

by Ehrig, Hartmut [editor.] | Engels, Gregor [editor.] | Parisi-Presicce, Francesco [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

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

E-BOOKS
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems [electronic resource] : Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings / edited by Yassine Lakhnech, Sergio Yovine.

by Lakhnech, Yassine [editor.] | Yovine, Sergio [editor.] | SpringerLink (Online service).

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

E-BOOKS
Grid and Cooperative Computing - GCC 2004 [electronic resource] : Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings / edited by Hai Jin, Yi Pan, Nong Xiao, Jianhua Sun.

by Jin, Hai [editor.] | Pan, Yi [editor.] | Xiao, Nong [editor.] | Sun, Jianhua [editor.] | SpringerLink (Online service).

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

E-BOOKS
Parallel Problem Solving from Nature - PPSN VIII [electronic resource] : 8th International Conference, Birmingham, UK, September 18-22, 2004. Proceedings / edited by Xin Yao, Edmund K. Burke, José A. Lozano, Jim Smith, Juan Julián Merelo-Guervós, John A. Bullinaria, Jonathan E. Rowe, Peter Tiňo, Ata Kabán, Hans-Paul Schwefel.

by Yao, Xin [editor.] | Burke, Edmund K [editor.] | Lozano, José A [editor.] | Smith, Jim [editor.] | Merelo-Guervós, Juan Julián [editor.] | Bullinaria, John A [editor.] | Rowe, Jonathan E [editor.] | Tiňo, Peter [editor.] | Kabán, Ata [editor.] | Schwefel, Hans-Paul [editor.] | SpringerLink (Online service).

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

E-BOOKS
Service Availability [electronic resource] : First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers / edited by Miroslaw Malek, Manfred Reitenspieß, Jörg Kaiser.

by Malek, Miroslaw [editor.] | Reitenspieß, Manfred [editor.] | Kaiser, Jörg [editor.] | SpringerLink (Online service).

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

E-BOOKS
Middleware 2004 [electronic resource] : ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-22, 2004. Proceedings / edited by Hans-Arno Jacobsen.

by Jacobsen, Hans-Arno [editor.] | SpringerLink (Online service).

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

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): .

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): .

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): .

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): .

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): .

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): .

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): .

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): .

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): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha