Your search returned 3450 results.

Not what you expected? Check for suggestions
E-BOOKS
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings / edited by Shlomi Dolev, Jorge Cobb, Michael Fischer, Moti Yung.

by Dolev, Shlomi [editor.] | Cobb, Jorge [editor.] | Fischer, Michael [editor.] | Yung, Moti [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6366Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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] : 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010. Proceedings / edited by Yuhua Luo.

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

Series: Lecture Notes in Computer Science ; 6240Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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 Reasoning for Security Protocol Analysis and Issues in the Theory of Security [electronic resource] : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers / edited by Alessandro Armando, Gavin Lowe.

by Armando, Alessandro [editor.] | Lowe, Gavin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6186Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Transactions on Aspect-Oriented Software Development VII [electronic resource] : A Common Case Study for Aspect-Oriented Modeling / edited by Shmuel Katz, Mira Mezini, Jörg Kienzle.

by Katz, Shmuel [editor.] | Mezini, Mira [editor.] | Kienzle, Jörg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6210Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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/ServiceWave 2009 Workshops [electronic resource] : International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers / edited by Asit Dan, Frédéric Gittler, Farouk Toumani.

by Dan, Asit [editor.] | Gittler, Frédéric [editor.] | Toumani, Farouk [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6275Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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 Artificial Intelligence – SBIA 2010 [electronic resource] : 20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings / edited by Antônio Carlos Rocha Costa, Rosa Maria Vicari, Flavio Tonidandel.

by Rocha Costa, Antônio Carlos [editor.] | Vicari, Rosa Maria [editor.] | Tonidandel, Flavio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6404Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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 Computing and Applications [electronic resource] : First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings / edited by Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu.

by Zhu, Rongbo [editor.] | Zhang, Yanchun [editor.] | Liu, Baoxiang [editor.] | Liu, Chunfeng [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6377Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online 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] : 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings / edited by Jürgen Dix, Cees Witteveen.

by Dix, Jürgen [editor.] | Witteveen, Cees [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6251Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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] : 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings / edited by Sang Lyul Min, Robert Pettit, Peter Puschner, Theo Ungerer.

by Min, Sang Lyul [editor.] | Pettit, Robert [editor.] | Puschner, Peter [editor.] | Ungerer, Theo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6399Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Provable Security [electronic resource] : 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings / edited by Swee-Huay Heng, Kaoru Kurosawa.

by Heng, Swee-Huay [editor.] | Kurosawa, Kaoru [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6402Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Semantic Web Rules [electronic resource] : International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings / edited by Mike Dean, John Hall, Antonino Rotolo, Said Tabet.

by Dean, Mike [editor.] | Hall, John [editor.] | Rotolo, Antonino [editor.] | Tabet, Said [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6403Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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 and Cryptology [electronic resource] : 5th International Conference, Inscrypt 2009, Beijing, China, December 12-15, 2009. Revised Selected Papers / edited by Feng Bao, Moti Yung, Dongdai Lin, Jiwu Jing.

by Bao, Feng [editor.] | Yung, Moti [editor.] | Lin, Dongdai [editor.] | Jing, Jiwu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6151Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Ubiquitous Intelligence and Computing [electronic resource] : 7th International Conference, UIC 2010, Xi’an, China, October 26-29, 2010. Proceedings / edited by Zhiwen Yu, Ramiro Liscano, Guanling Chen, Daqing Zhang, Xingshe Zhou.

by Yu, Zhiwen [editor.] | Liscano, Ramiro [editor.] | Chen, Guanling [editor.] | Zhang, Daqing [editor.] | Zhou, Xingshe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6406Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Ubiquitous Knowledge Discovery [electronic resource] : Challenges, Techniques, Applications / edited by Michael May, Lorenza Saitta.

by May, Michael [editor.] | Saitta, Lorenza [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6202Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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 Engineering and Management by the Masses [electronic resource] : 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings / edited by Philipp Cimiano, H. Sofia Pinto.

by Cimiano, Philipp [editor.] | Pinto, H. Sofia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6317Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Public Key Infrastructures, Services and Applications [electronic resource] : 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers / edited by Fabio Martinelli, Bart Preneel.

by Martinelli, Fabio [editor.] | Preneel, Bart [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6391Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Human-Centred Software Engineering [electronic resource] : Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings / edited by Regina Bernhaupt, Peter Forbrig, Jan Gulliksen, Marta Lárusdóttir.

by Bernhaupt, Regina [editor.] | Forbrig, Peter [editor.] | Gulliksen, Jan [editor.] | Lárusdóttir, Marta [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6409Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Job Scheduling Strategies for Parallel Processing [electronic resource] : 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers / edited by Eitan Frachtenberg, Uwe Schwiegelshohn.

by Frachtenberg, Eitan [editor.] | Schwiegelshohn, Uwe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6253Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue [electronic resource] : International Workshops AICOL-I/IVR-XXIV Beijing, China, September19, 2009 and AICOL-II/JURIX 2009, Rotterdam,The Netherlands, December 16, 2009 Revised Selected Papers / edited by Pompeu Casanovas, Ugo Pagallo, Giovanni Sartor, Gianmaria Ajani.

by Casanovas, Pompeu [editor.] | Pagallo, Ugo [editor.] | Sartor, Giovanni [editor.] | Ajani, Gianmaria [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6237Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

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