Your search returned 8979 results.

Not what you expected? Check for suggestions
E-BOOKS
Reasoning with Uncertainty in Robotics [electronic resource] : International Workshop, RUR '95 Amsterdam, The Netherlands December 4–6, 1995 Proceedings / edited by Leo Dorst, Michiel Lambalgen, Frans Voorbraak.

by Dorst, Leo [editor.] | Lambalgen, Michiel [editor.] | Voorbraak, Frans [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computer Science Logic [electronic resource] : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers / edited by Hans Kleine Büning.

by Kleine Büning, Hans [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Web Based Learning – ICWL 2006 [electronic resource] : 5th International Conference, Penang, Malaysia, July 19-21, 2006. Revised Papers / edited by Wenyin Liu, Qing Li, Rynson W.H. Lau.

by Liu, Wenyin [editor.] | Li, Qing [editor.] | W.H. Lau, Rynson [editor.] | SpringerLink (Online service).

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

E-BOOKS
Evolutionary Programming VII [electronic resource] : 7th International Conference, EP98 San Diego, California, USA, March 25–27, 1998 Proceedings / edited by V. W. Porto, N. Saravanan, D. Waagen, A. E. Eiben.

by Porto, V. W [editor.] | Saravanan, N [editor.] | Waagen, D [editor.] | Eiben, A. E [editor.] | SpringerLink (Online service).

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

E-BOOKS
TAPSOFT '97: Theory and Practice of Software Development [electronic resource] : 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings / edited by Michel Bidoit, Max Dauchet.

by Bidoit, Michel [editor.] | Dauchet, Max [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1214Source: 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
Evolutionary Programming VI [electronic resource] : 6th International Conference, EP97 Indianapolis, Indiana, USA, April 13–16, 1997 Proceedings / edited by Peter J. Angeline, Robert G. Reynolds, John R. McDonnell, Russ Eberhart.

by Angeline, Peter J [editor.] | Reynolds, Robert G [editor.] | McDonnell, John R [editor.] | Eberhart, Russ [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1213Source: 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings / edited by Ed Brinksma.

by Brinksma, Ed [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1217Source: 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
Automated Deduction in Equational Logic and Cubic Curves [electronic resource] / by W. McCune, R. Padmanabhan.

by McCune, W [author.] | Padmanabhan, R [author.] | SpringerLink (Online service).

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

E-BOOKS
Testing of Software and Communicating Systems [electronic resource] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings / edited by Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa.

by Suzuki, Kenji [editor.] | Higashino, Teruo [editor.] | Ulrich, Andreas [editor.] | Hasegawa, Toru [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5047Source: 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
Advances in Pattern Recognition [electronic resource] : Joint IAPR International Workshops SSPR'98 and SPR'98 Sydney, Australia, August 11–13, 1998 Proceedings / edited by Adnan Amin, Dov Dori, Pavel Pudil, Herbert Freeman.

by Amin, Adnan [editor.] | Dori, Dov [editor.] | Pudil, Pavel [editor.] | Freeman, Herbert [editor.] | SpringerLink (Online service).

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

E-BOOKS
Digital Libraries Research and Technology Advances [electronic resource] : ADL'95 Forum McLean, Virginia, USA, May 15–17, 1995 Selected Papers / edited by Nabil R. Adam, Bharat K. Bhargava, Milton Halem, Yelena Yesha.

by Adam, Nabil R [editor.] | Bhargava, Bharat K [editor.] | Halem, Milton [editor.] | Yesha, Yelena [editor.] | SpringerLink (Online service).

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

E-BOOKS
Implementation of Functional Languages [electronic resource] : 9th International Workshop, IFL'97 St. Andrews, Scotland, UK September 10–12, 1997 Selected Papers / edited by Chris Clack, Kevin Hammond, Tony Davie.

by Clack, Chris [editor.] | Hammond, Kevin [editor.] | Davie, Tony [editor.] | SpringerLink (Online service).

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

E-BOOKS
Algorithm Theory — SWAT'96 [electronic resource] : 5th Scandinavian Workshop on Algorithm Theory Reykjavík, Iceland, July 3–5, 1996 Proceedings / edited by Rolf Karlsson, Andrzej Lingas.

by Karlsson, Rolf [editor.] | Lingas, Andrzej [editor.] | SpringerLink (Online service).

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

E-BOOKS
Algorithms — ESA’ 98 [electronic resource] : 6th Annual European Symposium Venice, Italy, August 24–26, 1998 Proceedings / edited by Gianfranco Bilardi, Giuseppe F. Italiano, Andrea Pietracaprina, Geppino Pucci.

by Bilardi, Gianfranco [editor.] | Italiano, Giuseppe F [editor.] | Pietracaprina, Andrea [editor.] | Pucci, Geppino [editor.] | SpringerLink (Online service).

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

E-BOOKS
Mathematical Foundations of Computer Science 1998 [electronic resource] : 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24–28, 1998 Proceedings / edited by Luboš Brim, Jozef Gruska, Jiří Zlatuška.

by Brim, Luboš [editor.] | Gruska, Jozef [editor.] | Zlatuška, Jiří [editor.] | SpringerLink (Online service).

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

E-BOOKS
Solving Irregularly Structured Problems in Parallel [electronic resource] : 5th International Symposium, IRREGULAR'98 Berkeley, California, USA, August 9–11, 1998 Proceedings / edited by Alfonso Ferreira, José Rolim, Horst Simon, Shang-Hua Teng.

by Ferreira, Alfonso [editor.] | Rolim, José [editor.] | Simon, Horst [editor.] | Teng, Shang-Hua [editor.] | SpringerLink (Online service).

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

E-BOOKS
Database Programming Languages [electronic resource] : 6th International Workshop, DBPL-6 Estes Park, Colorado, USA, August 18–20, 1997 Proceedings / edited by Sophie Cluet, Rick Hull.

by Cluet, Sophie [editor.] | Hull, Rick [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computing and Combinatorics [electronic resource] : 4th Annual International Conference COCOON’98 Taipei, Taiwan, R.o.C., August 12–14, 1998 Proceedings / edited by Wen-Lian Hsu, Ming-Yang Kao.

by Hsu, Wen-Lian [editor.] | Kao, Ming-Yang [editor.] | SpringerLink (Online service).

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

E-BOOKS
Job Scheduling Strategies for Parallel Processing [electronic resource] : IPPS/SPDP'98 Workshop Orlando, Florida, USA, March 30, 1998 Proceedings / edited by Dror G. Feitelson, Larry Rudolph.

by Feitelson, Dror G [editor.] | Rudolph, Larry [editor.] | SpringerLink (Online service).

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

E-BOOKS
Multimedia Information Analysis and Retrieval [electronic resource] : IAPR International Workshop, MINAR' 98 Hong Kong, China, August 13–14, 1998 Proceedings / edited by Horace H. S. Ip, Arnold W. M. Smeulders.

by Ip, Horace H. S [editor.] | Smeulders, Arnold W. M [editor.] | SpringerLink (Online service).

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