Your search returned 1551 results.

Not what you expected? Check for suggestions
E-BOOKS
Hardware Specification, Verification and Synthesis: Mathematical Aspects [electronic resource] : Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings / edited by Miriam Leeser, Geoffrey Brown.

by Leeser, Miriam [editor.] | Brown, Geoffrey [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 408Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online 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
Fault-Tolerant Distributed Computing [electronic resource] / edited by Barbara Simons, Alfred Spector.

by Simons, Barbara [editor.] | Spector, Alfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 448Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online 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] : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings / edited by Chung-chieh Shan.

by Shan, Chung-chieh [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8301Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online 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] : 4th International Workshop, WISA 2003 Jeju Island, Korea, August 25-27, 2003 Revised Papers / edited by Ki-Joon Chae, Moti Yung.

by Chae, Ki-Joon [editor.] | Yung, Moti [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2908Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 2003 [electronic resource] : First International Conference, Trento, Italy, December 15-18, 2003. Proceedings / edited by Maria E. Orlowska, Sanjiva Weerawarana, Michael P. Papazoglou, Jian Yang.

by Orlowska, Maria E [editor.] | Weerawarana, Sanjiva [editor.] | Papazoglou, Michael P [editor.] | Yang, Jian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2910Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
COTS-Based Software Systems [electronic resource] : Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004. Proceedings / edited by Rick Kazman, Daniel Port.

by Kazman, Rick [editor.] | Port, Daniel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2959Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Methods and Applications of Artificial Intelligence [electronic resource] : Third Hellenic Conference on AI, SETN 2004, Samos, Greece, May 5-8, 2004. Proceedings / edited by George A. Vouros, Themistoklis Panayiotopoulos.

by Vouros, George A [editor.] | Panayiotopoulos, Themistoklis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3025Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 Management in Electronic Government [electronic resource] : 5th IFIP International Working Conference, KMGov 2004, Krems, Austria, May 17-19, 2004. Proceedings / edited by Maria A. Wimmer.

by Wimmer, Maria A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3035Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Real-Time and Embedded Computing Systems and Applications [electronic resource] : 9th International Conference, RTCSA 2003, Tainan City, Taiwan, February 18-20, 2003. Revised Papers / edited by Jing Chen, Seongsoo Hong.

by Chen, Jing [editor.] | Hong, Seongsoo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2968Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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] : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / edited by Kurt Jensen, Andreas Podelski.

by Jensen, Kurt [editor.] | Podelski, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2988Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Experimental and Efficient Algorithms [electronic resource] : Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004. Proceedings / edited by Celso C. Ribeiro, Simone L. Martins.

by Ribeiro, Celso C [editor.] | Martins, Simone L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3059Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 Distributed Systems [electronic resource] : Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004. Revised Selected Papers / edited by Félix F. Ramos, Herwig Unger, Victor Larios.

by Ramos, Félix F [editor.] | Unger, Herwig [editor.] | Larios, Victor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3061Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 [electronic resource] : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings / edited by David Basin, Michaël Rusinowitch.

by Basin, David [editor.] | Rusinowitch, Michaël [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3097Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Natural Language Processing and Information Systems [electronic resource] : 9th International Conference on Applications of Natural Language to Information Systems, NLDB 2004, Salford, UK, June 23-25, 2004. Proceedings / edited by Farid Meziane, Elisabeth Métais.

by Meziane, Farid [editor.] | Métais, Elisabeth [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3136Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Applications and Theory of Petri Nets 2004 [electronic resource] : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings / edited by Jordi Cortadella, Wolfgang Reisig.

by Cortadella, Jordi [editor.] | Reisig, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3099Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 Vision and Mathematical Methods in Medical and Biomedical Image Analysis [electronic resource] : ECCV 2004 Workshops CVAMIA and MMBIA, Prague, Czech Republic, May 15, 2004, Revised Selected Papers / edited by Milan Sonka, Ioannis A. Kakadiaris, Jan Kybic.

by Sonka, Milan [editor.] | Kakadiaris, Ioannis A [editor.] | Kybic, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3117Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 2004 [electronic resource] : Third International Conference, Beijing, China, August 8-11, 2004. Proceedings / edited by Wenyin Liu, Yuanchun Shi, Qing Li.

by Liu, Wenyin [editor.] | Shi, Yuanchun [editor.] | Li, Qing [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3143Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Document Analysis Systems VI [electronic resource] : 6th International Workshop, DAS 2004, Florence, Italy, September 8 - 10, 2004. Proceedings / edited by Simone Marinai, Andreas R. Dengel.

by Marinai, Simone [editor.] | Dengel, Andreas R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3163Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Power-Aware Computer Systems [electronic resource] : Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 Revised Papers / edited by Babak Falsafi, T. N. VijayKumar.

by Falsafi, Babak [editor.] | VijayKumar, T. N [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3164Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Evolvable Systems: From Biology to Hardware [electronic resource] : 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings / edited by J. Manuel Moreno, Jordi Madrenas, Jordi Cosp.

by Moreno, J. Manuel [editor.] | Madrenas, Jordi [editor.] | Cosp, Jordi [editor.] | SpringerLink (Online service).

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