Your search returned 1203 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Methods and Testing [electronic resource] : An Outcome of the FORTEST Network, Revised Selected Papers / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman.

by Hierons, Robert M [editor.] | Bowen, Jonathan P [editor.] | Harman, Mark [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4949Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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 Services and Formal Methods [electronic resource] : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings / edited by Marlon Dumas, Reiko Heckel.

by Dumas, Marlon [editor.] | Heckel, Reiko [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4937Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet [electronic resource] : 7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008 Proceedings / edited by Amitabha Das, Hung Keng Pung, Francis Bu Sung Lee, Lawrence Wai Choong Wong.

by Das, Amitabha [editor.] | Pung, Hung Keng [editor.] | Lee, Francis Bu Sung [editor.] | Wong, Lawrence Wai Choong [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4982Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Pervasive Computing [electronic resource] : 6th International Conference, Pervasive 2008 Sydney, Australia, May 19-22, 2008 Proceedings / edited by Jadwiga Indulska, Donald J. Patterson, Tom Rodden, Max Ott.

by Indulska, Jadwiga [editor.] | Patterson, Donald J [editor.] | Rodden, Tom [editor.] | Ott, Max [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5013Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Making Globally Distributed Software Development a Success Story [electronic resource] : International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings / edited by Qing Wang, Dietmar Pfahl, David M. Raffo.

by Wang, Qing [editor.] | Pfahl, Dietmar [editor.] | Raffo, David M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5007Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
GeoSensor Networks [electronic resource] : Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers / edited by Silvia Nittel, Alexandros Labrinidis, Anthony Stefanidis.

by Nittel, Silvia [editor.] | Labrinidis, Alexandros [editor.] | Stefanidis, Anthony [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4540Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Computer Music Modeling and Retrieval. Sense of Sounds [electronic resource] : 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers / edited by Richard Kronland-Martinet, Sølvi Ystad, Kristoffer Jensen.

by Kronland-Martinet, Richard [editor.] | Ystad, Sølvi [editor.] | Jensen, Kristoffer [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4969Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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 Transaction Protocol Analysis [electronic resource] : Models and Applications / by Qingfeng Chen, Chengqi Zhang, Shichao Zhang.

by Chen, Qingfeng [author.] | Zhang, Chengqi [author.] | Zhang, Shichao [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5111Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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 Management in Grid and Peer-to-Peer Systems [electronic resource] : First International Conference, Globe 2008, Turin, Italy, September 3, 2008. Proceedings / edited by Abdelkader Hameurlain.

by Hameurlain, Abdelkader [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5187Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Ad-hoc, Mobile and Wireless Networks [electronic resource] : 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings / edited by David Coudert, David Simplot-Ryl, Ivan Stojmenovic.

by Coudert, David [editor.] | Simplot-Ryl, David [editor.] | Stojmenovic, Ivan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5198Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Balancing Agility and Formalism in Software Engineering [electronic resource] : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers / edited by Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter.

by Meyer, Bertrand [editor.] | Nawrocki, Jerzy R [editor.] | Walter, Bartosz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5082Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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] : 8th International Conference, NEW2AN and 1st Russian Conference on Smart Spaces, ruSMART 2008 St. Petersburg, Russia, September 3-5, 2008. Proceedings / edited by Sergey Balandin, Dmitri Moltchanov, Yevgeni Koucheryavy.

by Balandin, Sergey [editor.] | Moltchanov, Dmitri [editor.] | Koucheryavy, Yevgeni [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5174Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Software Process and Product Measurement [electronic resource] : International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers / edited by Juan J. Cuadrado-Gallego, René Braungarten, Reiner R. Dumke, Alain Abran.

by Cuadrado-Gallego, Juan J [editor.] | Braungarten, René [editor.] | Dumke, Reiner R [editor.] | Abran, Alain [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4895Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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 Interactive Systems [electronic resource] : Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings / edited by Peter Forbrig, Fabio Paternò.

by Forbrig, Peter [editor.] | Paternò, Fabio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5247Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Computer Safety, Reliability, and Security [electronic resource] : 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings / edited by Michael D. Harrison, Mark-Alexander Sujan.

by Harrison, Michael D [editor.] | Sujan, Mark-Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5219Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings / edited by Uwe Brinkschulte, Tony Givargis, Stefano Russo.

by Brinkschulte, Uwe [editor.] | Givargis, Tony [editor.] | Russo, Stefano [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5287Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Multiagent System Technologies [electronic resource] : 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings / edited by Ralph Bergmann, Gabriela Lindemann, Stefan Kirn, Michal Pěchouček.

by Bergmann, Ralph [editor.] | Lindemann, Gabriela [editor.] | Kirn, Stefan [editor.] | Pěchouček, Michal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5244Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Model Driven Engineering Languages and Systems [electronic resource] : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings / edited by Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter.

by Czarnecki, Krzysztof [editor.] | Ober, Ileana [editor.] | Bruel, Jean-Michel [editor.] | Uhl, Axel [editor.] | Völter, Markus [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5301Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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 2008 [electronic resource] : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings / edited by Qing Li, Stefano Spaccapietra, Eric Yu, Antoni Olivé.

by Li, Qing [editor.] | Spaccapietra, Stefano [editor.] | Yu, Eric [editor.] | Olivé, Antoni [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5231Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Cooperative Design, Visualization, and Engineering [electronic resource] : 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings / edited by Yuhua Luo.

by Luo, Yuhua [editor.] | SpringerLink (Online service).

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