Your search returned 2796 results.

Not what you expected? Check for suggestions
E-BOOKS
Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek.

by Armando, Alessandro [editor.] | Baumgartner, Peter [editor.] | Dowek, Gilles [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5195Source: 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
Information Security Applications [electronic resource] : 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers / edited by Jae Kwang Lee, Okyeon Yi, Moti Yung.

by Lee, Jae Kwang [editor.] | Yi, Okyeon [editor.] | Yung, Moti [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4298Source: 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
Reliable Systems on Unreliable Networked Platforms [electronic resource] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers / edited by Fabrice Kordon, Janos Sztipanovits.

by Kordon, Fabrice [editor.] | Sztipanovits, Janos [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4322Source: 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings / edited by Orna Grumberg, Michael Huth.

by Grumberg, Orna [editor.] | Huth, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4424Source: 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
Compiler Construction [electronic resource] : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings / edited by Shriram Krishnamurthi, Martin Odersky.

by Krishnamurthi, Shriram [editor.] | Odersky, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4420Source: 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
Architecture of Computing Systems - ARCS 2007 [electronic resource] : 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings / edited by Paul Lukowicz, Lothar Thiele, Gerhard Tröster.

by Lukowicz, Paul [editor.] | Thiele, Lothar [editor.] | Tröster, Gerhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4415Source: 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
Fundamental Approaches to Software Engineering [electronic resource] : 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings / edited by Matthew B. Dwyer, Antónia Lopes.

by Dwyer, Matthew B [editor.] | Lopes, Antónia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4422Source: 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
Empirical Software Engineering Issues. Critical Assessment and Future Directions [electronic resource] : International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers / edited by Victor R. Basili, Dieter Rombach, Kurt Schneider, Barbara Kitchenham, Dietmar Pfahl, Richard W. Selby.

by Basili, Victor R [editor.] | Rombach, Dieter [editor.] | Schneider, Kurt [editor.] | Kitchenham, Barbara [editor.] | Pfahl, Dietmar [editor.] | Selby, Richard W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4336Source: 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
Programming Languages and Systems [electronic resource] : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings / edited by Rocco Nicola.

by Nicola, Rocco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4421Source: 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
Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / edited by Thomas Reps, Mooly Sagiv, Jörg Bauer.

by Reps, Thomas [editor.] | Sagiv, Mooly [editor.] | Bauer, Jörg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4444Source: 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 for Computational Science - VECPAR 2006 [electronic resource] : 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers / edited by Michel Daydé, José M. L. M. Palma, Álvaro L. G. A. Coutinho, Esther Pacitti, João Correia Lopes.

by Daydé, Michel [editor.] | Palma, José M. L. M [editor.] | Coutinho, Álvaro L. G. A [editor.] | Pacitti, Esther [editor.] | Lopes, João Correia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4395Source: 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
Foundations of Software Science and Computational Structures [electronic resource] : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings / edited by Helmut Seidl.

by Seidl, Helmut [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4423Source: 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
Hybrid Systems: Computation and Control [electronic resource] : 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings / edited by Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo.

by Bemporad, Alberto [editor.] | Bicchi, Antonio [editor.] | Buttazzo, Giorgio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4416Source: 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
Active Networks [electronic resource] : IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers / edited by Gary J. Minden, Kenneth L. Calvert, Marcin Solarski, Miki Yamamoto.

by Minden, Gary J [editor.] | Calvert, Kenneth L [editor.] | Solarski, Marcin [editor.] | Yamamoto, Miki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3912Source: 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
Adaptive and Natural Computing Algorithms [electronic resource] : 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I / edited by Bartlomiej Beliczynski, Andrzej Dzielinski, Marcin Iwanowski, Bernardete Ribeiro.

by Beliczynski, Bartlomiej [editor.] | Dzielinski, Andrzej [editor.] | Iwanowski, Marcin [editor.] | Ribeiro, Bernardete [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4431Source: 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
Adaptive and Natural Computing Algorithms [electronic resource] : 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II / edited by Bartlomiej Beliczynski, Andrzej Dzielinski, Marcin Iwanowski, Bernardete Ribeiro.

by Beliczynski, Bartlomiej [editor.] | Dzielinski, Andrzej [editor.] | Iwanowski, Marcin [editor.] | Ribeiro, Bernardete [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4432Source: 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, Information Systems, and Peer-to-Peer Computing [electronic resource] : International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2005, Seoul, Korea, September 11, 2006, Revised Selected Papers / edited by Gianluca Moro, Sonia Bergamaschi, Sam Joseph, Jean-Henry Morin, Aris M. Ouksel.

by Moro, Gianluca [editor.] | Bergamaschi, Sonia [editor.] | Joseph, Sam [editor.] | Morin, Jean-Henry [editor.] | Ouksel, Aris M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4125Source: 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
Object-Oriented Technology. ECOOP 2006 Workshop Reader [electronic resource] : ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports / edited by Mario Südholt, Charles Consel.

by Südholt, Mario [editor.] | Consel, Charles [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4379Source: 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
Ubiquitous Convergence Technology [electronic resource] : First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers / edited by Frank Stajano, Hyoung Joong Kim, Jong-Suk Chae, Seong-Dong Kim.

by Stajano, Frank [editor.] | Kim, Hyoung Joong [editor.] | Chae, Jong-Suk [editor.] | Kim, Seong-Dong [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4412Source: 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 Smalltalk [electronic resource] : 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers / edited by Wolfgang Meuter.

by Meuter, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4406Source: 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