Your search returned 8979 results.

Not what you expected? Check for suggestions
E-BOOKS
Theorem Proving in Higher Order Logics [electronic resource] : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings / edited by Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin.

by Bertot, Yves [editor.] | Dowek, Gilles [editor.] | Théry, Laurent [editor.] | Hirschowitz, André [editor.] | Paulin, Christine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1690Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999Online 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
Applied Formal Methods — FM-Trends 98 [electronic resource] : International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings / edited by Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann.

by Hutter, Dieter [editor.] | Stephan, Werner [editor.] | Traverso, Paolo [editor.] | Ullmann, Markus [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1641Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Rigorous Development of Complex Fault-Tolerant Systems [electronic resource] / edited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna.

by Butler, Michael [editor.] | Jones, Cliff B [editor.] | Romanovsky, Alexander [editor.] | Troubitsyna, Elena [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops [electronic resource] : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I / edited by Robert Meersman, Zahir Tari, Pilar Herrero.

by Meersman, Robert [editor.] | Tari, Zahir [editor.] | Herrero, Pilar [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops [electronic resource] : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part II / edited by Robert Meersman, Zahir Tari, Pilar Herrero.

by Meersman, Robert [editor.] | Tari, Zahir [editor.] | Herrero, Pilar [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / edited by Miki Hermann, Andrei Voronkov.

by Hermann, Miki [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part II / edited by Robert Meersman, Zahir Tari.

by Meersman, Robert [editor.] | Tari, Zahir [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Cryptology — EUROCRYPT ’93 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Lofthus, Norway, May 23–27, 1993 Proceedings / edited by Tor Helleseth.

by Helleseth, Tor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 765Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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 Aided Systems Theory — EUROCAST '93 [electronic resource] : A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory Las Palmas, Spain, February 22–26, 1993 Proceedings / edited by Franz Pichler, Roberto Moreno Díaz.

by Pichler, Franz [editor.] | Moreno Díaz, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 763Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Vivid Logic [electronic resource] : Knowledge-Based Reasoning with Two Kinds of Negation / by Gerd Wagner.

by Wagner, Gerd [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 764Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I / edited by Robert Meersman, Zahir Tari.

by Meersman, Robert [editor.] | Tari, Zahir [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Agent-Oriented Information Systems III [electronic resource] : 7th International Bi-Conference Workshop, AOIS 2005, Utrecht, Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers / edited by Manuel Kolp, Paolo Bresciani, Brian Henderson-Sellers, Michael Winikoff.

by Kolp, Manuel [editor.] | Bresciani, Paolo [editor.] | Henderson-Sellers, Brian [editor.] | Winikoff, Michael [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Static Analysis [electronic resource] : 6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings / edited by Agostino Cortesi, Gilberto Filé.

by Cortesi, Agostino [editor.] | Filé, Gilberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1694Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
The Dynamics of Concepts [electronic resource] : A Connectionist Model / edited by Philip R. Loocke.

by Loocke, Philip R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 766Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
DataWarehousing and Knowledge Discovery [electronic resource] : First International Conference, DaWaK’99 Florence, Italy, August 30 – September 1, 1999 Proceedings / edited by Mukesh Mohania, A Min Tjoa.

by Mohania, Mukesh [editor.] | Tjoa, A Min [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1676Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
An Extended Entity-Relationship Model [electronic resource] : Fundamentals and Pragmatics / edited by Martin Gogolla.

by Gogolla, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 767Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Field Programmable Logic and Applications [electronic resource] : 9th International Workshop, FPL’99, Glasgow, UK, August 30 - September 1, 1999. Proceedings / edited by Patrick Lysaght, James Irvine, Reiner Hartenstein.

by Lysaght, Patrick [editor.] | Irvine, James [editor.] | Hartenstein, Reiner [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1673Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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 Artificial Life [electronic resource] : 5th European Conference, ECAL’99 Lausanne, Switzerland, September 13–17, 1999 Proceedings / edited by Dario Floreano, Jean-Daniel Nicoud, Francesco Mondada.

by Floreano, Dario [editor.] | Nicoud, Jean-Daniel [editor.] | Mondada, Francesco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1674Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Languages and Compilers for Parallel Computing [electronic resource] : 6th International Workshop Portland, Oregon, USA, August 12–14, 1993 Proceedings / edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua.

by Banerjee, Utpal [editor.] | Gelernter, David [editor.] | Nicolau, Alex [editor.] | Padua, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 768Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Database and Expert Systems Applications [electronic resource] : 10th International Conference, DEXA’99 Florence, Italy, August 30 – September 3, 1999 Proceedings / edited by Trevor J.M. Bench-Capon, Giovanni Soda, A Min Tjoa.

by Bench-Capon, Trevor J.M [editor.] | Soda, Giovanni [editor.] | Tjoa, A Min [editor.] | SpringerLink (Online service).

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