Your search returned 3450 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings / edited by Katinka Wolter.

by Wolter, Katinka [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4748Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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 Hybrid Real-Time Systems [electronic resource] : Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock.

by Jones, Cliff B [editor.] | Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4700Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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 Aspects in Security and Trust [electronic resource] : Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers / edited by Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider.

by Dimitrakos, Theo [editor.] | Martinelli, Fabio [editor.] | Ryan, Peter Y. A [editor.] | Schneider, Steve [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4691Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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 Data Management [electronic resource] : 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007. Proceedings / edited by Willem Jonker, Milan Petković.

by Jonker, Willem [editor.] | Petković, Milan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4721Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Multi-Agent Systems and Applications V [electronic resource] : 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007. Proceedings / edited by Hans-Dieter Burkhard, Gabriela Lindemann, Rineke Verbrugge, László Zsolt Varga.

by Burkhard, Hans-Dieter [editor.] | Lindemann, Gabriela [editor.] | Verbrugge, Rineke [editor.] | Varga, László Zsolt [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4696Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Database and XMLTechnologies [electronic resource] : 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007. Proceedings / edited by Denilson Barbosa, Angela Bonifati, Zohra Bellahsène, Ela Hunt, Rainer Unland.

by Barbosa, Denilson [editor.] | Bonifati, Angela [editor.] | Bellahsène, Zohra [editor.] | Hunt, Ela [editor.] | Unland, Rainer [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4704Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Theoretical Aspects of Computing – ICTAC 2007 [electronic resource] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock.

by Jones, Cliff B [editor.] | Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4711Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Trustworthy Global Computing [electronic resource] : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers / edited by Ugo Montanari, Donald Sannella, Roberto Bruni.

by Montanari, Ugo [editor.] | Sannella, Donald [editor.] | Bruni, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4661Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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 and Communications [electronic resource] : Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings / edited by Ronald Perrott, Barbara M. Chapman, Jaspal Subhlok, Rodrigo Fernandes Mello, Laurence T. Yang.

by Perrott, Ronald [editor.] | Chapman, Barbara M [editor.] | Subhlok, Jaspal [editor.] | Mello, Rodrigo Fernandes [editor.] | Yang, Laurence T [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4782Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Managing Next Generation Networks and Services [electronic resource] : 10th Asia-Pacific Network Operations and Management Symposium, APNOMS 2007, Sapporo, Japan, October 10-12, 2007. Proceedings / edited by Shingo Ata, Choong Seon Hong.

by Ata, Shingo [editor.] | Hong, Choong Seon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4773Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Service-Oriented Computing ICSOC 2006 [electronic resource] : 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshops Proceedings / edited by Dimitrios Georgakopoulos, Norbert Ritter, Boualem Benatallah, Christian Zirpins, George Feuerlicht, Marten Schoenherr, Hamid R. Motahari-Nezhad.

by Georgakopoulos, Dimitrios [editor.] | Ritter, Norbert [editor.] | Benatallah, Boualem [editor.] | Zirpins, Christian [editor.] | Feuerlicht, George [editor.] | Schoenherr, Marten [editor.] | Motahari-Nezhad, Hamid R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4652Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Information Security [electronic resource] : 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings / edited by Juan A. Garay, Arjen K. Lenstra, Masahiro Mambo, René Peralta.

by Garay, Juan A [editor.] | Lenstra, Arjen K [editor.] | Mambo, Masahiro [editor.] | Peralta, René [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4779Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Databases in Networked Information Systems [electronic resource] : 5th International Workshop, DNIS 2007, Aizu-Wakamatsu, Japan, October 17-19, 2007. Proceedings / edited by Subhash Bhalla.

by Bhalla, Subhash [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4777Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Algorithms – ESA 2007 [electronic resource] : 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007. Proceedings / edited by Lars Arge, Michael Hoffmann, Emo Welzl.

by Arge, Lars [editor.] | Hoffmann, Michael [editor.] | Welzl, Emo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4698Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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 VII [electronic resource] : 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers / edited by Gregory M. P. O’Hare, Alessandro Ricci, Michael J. O’Grady, Oğuz Dikenelli.

by O’Hare, Gregory M. P [editor.] | Ricci, Alessandro [editor.] | O’Grady, Michael J [editor.] | Dikenelli, Oğuz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4457Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Argumentation in Multi-Agent Systems [electronic resource] : Third International Workshop, ArgMAS 2006 Hakodate, Japan, May 8, 2006 Revised Selected and Invited Papers / edited by Nicolas Maudet, Simon Parsons, Iyad Rahwan.

by Maudet, Nicolas [editor.] | Parsons, Simon [editor.] | Rahwan, Iyad [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4766Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Privacy Enhancing Technologies [electronic resource] : 7th International Symposium, PET 2007 Ottawa, Canada, June 20-22, 2007 Revised Selected Papers / edited by Nikita Borisov, Philippe Golle.

by Borisov, Nikita [editor.] | Golle, Philippe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4776Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings / edited by Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura.

by Namjoshi, Kedar S [editor.] | Yoneda, Tomohiro [editor.] | Higashino, Teruo [editor.] | Okamura, Yoshio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4762Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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 Information and Computer Security [electronic resource] : Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007. Proceedings / edited by Atsuko Miyaji, Hiroaki Kikuchi, Kai Rannenberg.

by Miyaji, Atsuko [editor.] | Kikuchi, Hiroaki [editor.] | Rannenberg, Kai [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4752Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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] : 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers / edited by Roman Obermaisser, Yunmook Nah, Peter Puschner, Franz J. Rammig.

by Obermaisser, Roman [editor.] | Nah, Yunmook [editor.] | Puschner, Peter [editor.] | Rammig, Franz J [editor.] | SpringerLink (Online service).

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