Your search returned 3205 results.

Not what you expected? Check for suggestions
E-BOOKS
Transactions on Petri Nets and Other Models of Concurrency I [electronic resource] / edited by Kurt Jensen, Wil M. P. Aalst, Jonathan Billington.

by Jensen, Kurt [editor.] | Aalst, Wil M. P [editor.] | Billington, Jonathan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5100Source: 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
Practical Aspects of Declarative Languages [electronic resource] : 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings / edited by Andy Gill, Terrance Swift.

by Gill, Andy [editor.] | Swift, Terrance [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5418Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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 2007 Workshops [electronic resource] : ICSOC 2007, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers / edited by Elisabetta Nitto, Matei Ripeanu.

by Nitto, Elisabetta [editor.] | Ripeanu, Matei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4907Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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, Organizations, Institutions and Norms in Agent Systems IV [electronic resource] : COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008. Revised Selected Papers / edited by Jomi Fred Hübner, Eric Matson, Olivier Boissier, Virginia Dignum.

by Hübner, Jomi Fred [editor.] | Matson, Eric [editor.] | Boissier, Olivier [editor.] | Dignum, Virginia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5428Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Epistemological Aspects of Computer Simulation in the Social Sciences [electronic resource] : Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers / edited by Flaminio Squazzoni.

by Squazzoni, Flaminio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5466Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Numerical Validation in Current Hardware Architectures [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers / edited by Annie Cuyt, Walter Krämer, Wolfram Luther, Peter Markstein.

by Cuyt, Annie [editor.] | Krämer, Walter [editor.] | Luther, Wolfram [editor.] | Markstein, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5492Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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 Acquisition: Approaches, Algorithms and Applications [electronic resource] : Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected Papers / edited by Debbie Richards, Byeong-Ho Kang.

by Richards, Debbie [editor.] | Kang, Byeong-Ho [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5465Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Similarity-Based Clustering [electronic resource] : Recent Developments and Biomedical Applications / edited by Michael Biehl, Barbara Hammer, Michel Verleysen, Thomas Villmann.

by Biehl, Michael [editor.] | Hammer, Barbara [editor.] | Verleysen, Michel [editor.] | Villmann, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5400Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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-Based Simulation IX [electronic resource] : International Workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers / edited by Nuno David, Jaime Simão Sichman.

by David, Nuno [editor.] | Sichman, Jaime Simão [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5269Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Network Performance Engineering [electronic resource] : A Handbook on Convergent Multi-Service Networks and Next Generation Internet / edited by Demetres D. Kouvatsos.

by Kouvatsos, Demetres D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5233Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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
Theory and Applications of Satisfiability Testing - SAT 2009 [electronic resource] : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings / edited by Oliver Kullmann.

by Kullmann, Oliver [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5584Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Digital Human Modeling [electronic resource] : Second International Conference, ICDHM 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings / edited by Vincent G. Duffy.

by Duffy, Vincent G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5620Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience [electronic resource] : 5th International Conference, FAC 2009 Held as Part of HCI International 2009 San Diego, CA, USA, July 19-24, 2009 Proceedings / edited by Dylan D. Schmorrow, Ivy V. Estabrooke, Marc Grootjen.

by Schmorrow, Dylan D [editor.] | Estabrooke, Ivy V [editor.] | Grootjen, Marc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5638Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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 Deduction – CADE-22 [electronic resource] : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings / edited by Renate A. Schmidt.

by Schmidt, Renate A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5663Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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 Web Based Learning – ICWL 2009 [electronic resource] : 8th International Conference, Aachen, Germany, August 19-21, 2009. Proceedings / edited by Marc Spaniol, Qing Li, Ralf Klamma, Rynson W. H. Lau.

by Spaniol, Marc [editor.] | Li, Qing [editor.] | Klamma, Ralf [editor.] | Lau, Rynson W. H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5686Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Advanced Parallel Processing Technologies [electronic resource] : 8th International Symposium, APPT 2009, Rapperswil, Switzerland, August 24-25, 2009 Proceedings / edited by Yong Dou, Ralf Gruber, Josef M. Joller.

by Dou, Yong [editor.] | Gruber, Ralf [editor.] | Joller, Josef M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5737Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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 Computation and Intelligence [electronic resource] : 4th International Symposium, ISICA 2009 Huangshi, China, Ocotober 23-25, 2009 Proceedings / edited by Zhihua Cai, Zhenhua Li, Zhuo Kang, Yong Liu.

by Cai, Zhihua [editor.] | Li, Zhenhua [editor.] | Kang, Zhuo [editor.] | Liu, Yong [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5821Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Replication [electronic resource] : Theory and Practice / edited by Bernadette Charron-Bost, Fernando Pedone, André Schiper.

by Charron-Bost, Bernadette [editor.] | Pedone, Fernando [editor.] | Schiper, André [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5959Source: 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
Membrane Computing [electronic resource] : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers / edited by Marian Gheorghe, Thomas Hinze, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa.

by Gheorghe, Marian [editor.] | Hinze, Thomas [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

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