Your search returned 3743 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures / edited by Marco Bernardo, Alessandro Cimatti.

by Bernardo, Marco [editor.] | Cimatti, Alessandro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3965Source: 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 Science – ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I / edited by Vassil N. Alexandrov, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra.

by Alexandrov, Vassil N [editor.] | Albada, Geert Dick [editor.] | Sloot, Peter M. A [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3991Source: 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 Science – ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II / edited by Vassil N. Alexandrov, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra.

by Alexandrov, Vassil N [editor.] | Albada, Geert Dick [editor.] | Sloot, Peter M. A [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3992Source: 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 Science – ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III / edited by Vassil N. Alexandrov, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra.

by Alexandrov, Vassil N [editor.] | Albada, Geert Dick [editor.] | Sloot, Peter M. A [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3993Source: 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 Science – ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV / edited by Vassil N. Alexandrov, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra.

by Alexandrov, Vassil N [editor.] | Albada, Geert Dick [editor.] | Sloot, Peter M. A [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3994Source: 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
Next Generation Teletraffic and Wired/Wireless Advanced Networking [electronic resource] : 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006. Proceedings / edited by Yevgeni Koucheryavy, Jarmo Harju, Villy B. Iversen.

by Koucheryavy, Yevgeni [editor.] | Harju, Jarmo [editor.] | Iversen, Villy B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4003Source: 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
Engineering Societies in the Agents World VI [electronic resource] : 6th International Workshop, ESAW 2005, Kuşadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers / edited by Oğuz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci.

by Dikenelli, Oğuz [editor.] | Gleizes, Marie-Pierre [editor.] | Ricci, Alessandro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3963Source: 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
Formal Approaches to Software Testing [electronic resource] : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers / edited by Wolfgang Grieskamp, Carsten Weise.

by Grieskamp, Wolfgang [editor.] | Weise, Carsten [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3997Source: 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
The Semantic Web: Research and Applications [electronic resource] : 3rd European Semantic Web Conference, ESWC 2006 Budva, Montenegro, June 11-14, 2006 Proceedings / edited by York Sure, John Domingue.

by Sure, York [editor.] | Domingue, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4011Source: 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
Reuse of Off-the-Shelf Components [electronic resource] : 9th International Conference on Software Reuse, ICSR 2006 Turin, Italy, June 12-15, 2006 Proceedings / edited by Maurizio Morisio.

by Morisio, Maurizio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4039Source: 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
Reliable Software Technologies – Ada-Europe 2006 [electronic resource] : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings / edited by Luís Miguel Pinho, Michael González Harbour.

by Pinho, Luís Miguel [editor.] | González Harbour, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4006Source: 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
Product-Focused Software Process Improvement [electronic resource] : 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006. Proceedings / edited by Jürgen Münch, Matias Vierimaa.

by Münch, Jürgen [editor.] | Vierimaa, Matias [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4034Source: 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
Coordination Models and Languages [electronic resource] : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Paolo Ciancarini, Herbert Wiklicky.

by Ciancarini, Paolo [editor.] | Wiklicky, Herbert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4038Source: 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
Petri Nets and Other Models of Concurrency - ICATPN 2006 [electronic resource] : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings / edited by Susanna Donatelli, P. S. Thiagarajan.

by Donatelli, Susanna [editor.] | Thiagarajan, P. S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4024Source: 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
Self-Managed Networks, Systems, and Services [electronic resource] : Second IEEE International Workshop, SelfMan 2006, Dublin, Ireland, June 16, 2006. Proceedings / edited by Alexander Keller, Jean-Philippe Martin-Flatin.

by Keller, Alexander [editor.] | Martin-Flatin, Jean-Philippe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3996Source: 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
Unifying Theories of Programming [electronic resource] : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / edited by Steve Dunne, Bill Stoddart.

by Dunne, Steve [editor.] | Stoddart, Bill [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4010Source: 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
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Roberto Gorrieri, Heike Wehrheim.

by Gorrieri, Roberto [editor.] | Wehrheim, Heike [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4037Source: 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
Extreme Programming and Agile Processes in Software Engineering [electronic resource] : 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings / edited by Pekka Abrahamsson, Michele Marchesi, Giancarlo Succi.

by Abrahamsson, Pekka [editor.] | Marchesi, Michele [editor.] | Succi, Giancarlo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4044Source: 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
Distributed Applications and Interoperable Systems [electronic resource] : 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Frank Eliassen, Alberto Montresor.

by Eliassen, Frank [editor.] | Montresor, Alberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4025Source: 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
Semantics of Concurrent Computation [electronic resource] : Proceedings of the International Symposium, Evian, France, July 2–4, 1979 / edited by Gilles Kahn.

by Kahn, Gilles [editor.] | SpringerLink (Online service).

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