Your search returned 638 results.

Not what you expected? Check for suggestions
E-BOOKS
Automated Deduction—CADE-14 [electronic resource] : 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings / edited by William McCune.

by McCune, William [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1249Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Reliable Software Technologies — Ada-Europe '97 [electronic resource] : 1997 Ada-Europe International Conference on Reliable Software Technologies London, UK, June 2–6, 1997 Proceedings / edited by Keith Hardy, Jim Briggs.

by Hardy, Keith [editor.] | Briggs, Jim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1251Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Worldwide Computing and Its Applications [electronic resource] : International Conference, WWCA'97 Tsukuba, Japan, March 10–11, 1997 Proceedings / edited by Takashi Masuda, Yoshifumi Masunaga, Michiharu Tsukamoto.

by Masuda, Takashi [editor.] | Masunaga, Yoshifumi [editor.] | Tsukamoto, Michiharu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1274Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Progress in Artificial Intelligence [electronic resource] : 8th Portuguese Conference on Artificial Intelligence, EPIA-97 Coimbra, Portugal, October 6–9, 1997 Proceedings / edited by Ernesto Coasta, Amilcar Cardoso.

by Coasta, Ernesto [editor.] | Cardoso, Amilcar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1323Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Resilient Networks and Services [electronic resource] : Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008 Proceedings / edited by David Hausheer, Jürgen Schönwälder.

by Hausheer, David [editor.] | Schönwälder, Jürgen [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computational Linguistics and Intelligent Text Processing [electronic resource] : 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings / edited by Alexander Gelbukh.

by Gelbukh, Alexander [editor.] | SpringerLink (Online service).

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

E-BOOKS
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings / edited by Pascal Hentenryck, Laurence Wolsey.

by Hentenryck, Pascal [editor.] | Wolsey, Laurence [editor.] | SpringerLink (Online service).

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

E-BOOKS
Web Reasoning and Rule Systems [electronic resource] : First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings / edited by Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie.

by Marchiori, Massimo [editor.] | Pan, Jeff Z [editor.] | Marie, Christian de Sainte [editor.] | SpringerLink (Online service).

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

E-BOOKS
Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings / edited by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger.

by Kauers, Manuel [editor.] | Kerber, Manfred [editor.] | Miner, Robert [editor.] | Windsteiger, Wolfgang [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Bioinformatics and Computational Biology [electronic resource] : Second Brazilian Symposium on Bioinformatics, BSB 2007, Angra dos Reis, Brazil, August 29-31, 2007. Proceedings / edited by Marie-France Sagot, Maria Emilia M. T. Walter.

by Sagot, Marie-France [editor.] | Walter, Maria Emilia M. T [editor.] | SpringerLink (Online service).

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

E-BOOKS
Life System Modeling and Simulation [electronic resource] : International Conference, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings / edited by Kang Li, Xin Li, George William Irwin, Gusen He.

by Li, Kang [editor.] | Li, Xin [editor.] | Irwin, George William [editor.] | He, Gusen [editor.] | SpringerLink (Online service).

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

E-BOOKS
Pattern Recognition [electronic resource] : 29th DAGM Symposium, Heidelberg, Germany, September 12-14, 2007. Proceedings / edited by Fred A. Hamprecht, Christoph Schnörr, Bernd Jähne.

by Hamprecht, Fred A [editor.] | Schnörr, Christoph [editor.] | Jähne, Bernd [editor.] | SpringerLink (Online service).

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

E-BOOKS
Mobile Response [electronic resource] : First International Workshop on Mobile Information Technology for Emergency Response, Mobile Response 2007, Sankt Augustin, Germany, February 22-23, 2007, Revised Selected Papers / edited by Jobst Löffler, Markus Klann.

by Löffler, Jobst [editor.] | Klann, Markus [editor.] | SpringerLink (Online service).

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

E-BOOKS
International Symposium on Fundamentals of Software Engineering [electronic resource] : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings / edited by Farhad Arbab, Marjan Sirjani.

by Arbab, Farhad [editor.] | Sirjani, Marjan [editor.] | SpringerLink (Online service).

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

E-BOOKS
Web Information Systems Engineering – WISE 2007 Workshops [electronic resource] : WISE 2007 International Workshops Nancy, France, December 3, 2007 Proceedings / edited by Mathias Weske, Mohand-Saïd Hacid, Claude Godart.

by Weske, Mathias [editor.] | Hacid, Mohand-Saïd [editor.] | Godart, Claude [editor.] | SpringerLink (Online service).

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

E-BOOKS
Haptic and Audio Interaction Design [electronic resource] : Third International Workshop, HAID 2008 Jyväskylä, Finland, September 15-16, 2008 Proceedings / edited by Antti Pirhonen, Stephen Brewster.

by Pirhonen, Antti [editor.] | Brewster, Stephen [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advanced Web and Network Technologies, and Applications [electronic resource] : APWeb 2008 International Workshops: BIDM, IWHDM, and DeWeb Shenyang, China, April 26-28, 2008. Revised Selected Papers / edited by Yoshiharu Ishikawa, Jing He, Guandong Xu, Yong Shi, Guangyan Huang, Chaoyi Pang, Qing Zhang, Guoren Wang.

by Ishikawa, Yoshiharu [editor.] | He, Jing [editor.] | Xu, Guandong [editor.] | Shi, Yong [editor.] | Huang, Guangyan [editor.] | Pang, Chaoyi [editor.] | Zhang, Qing [editor.] | Wang, Guoren [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4977Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Software Language Engineering [electronic resource] : First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers / edited by Dragan Gašević, Ralf Lämmel, Eric Wyk.

by Gašević, Dragan [editor.] | Lämmel, Ralf [editor.] | Wyk, Eric [editor.] | SpringerLink (Online service).

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

E-BOOKS
Ubiquitous Intelligence and Computing [electronic resource] : 6th International Conference, UIC 2009, Brisbane, Australia, July 7-9, 2009. Proceedings / edited by Daqing Zhang, Marius Portmann, Ah-Hwee Tan, Jadwiga Indulska.

by Zhang, Daqing [editor.] | Portmann, Marius [editor.] | Tan, Ah-Hwee [editor.] | Indulska, Jadwiga [editor.] | SpringerLink (Online service).

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

E-BOOKS
Mathematical Theory and Computational Practice [electronic resource] : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings / edited by Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle.

by Ambos-Spies, Klaus [editor.] | Löwe, Benedikt [editor.] | Merkle, Wolfgang [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha