Your search returned 3388 results.

Not what you expected? Check for suggestions
E-BOOKS
Database and Expert Systems Applications [electronic resource] : 4th International Conference, DEXA'93 Prague, Czech Republic, September 6–8, 1993 Proceedings / edited by Vladimír Mařík, Jiří Lažanský, Roland R. Wagner.

by Mařík, Vladimír [editor.] | Lažanský, Jiří [editor.] | Wagner, Roland R [editor.] | SpringerLink (Online service).

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

E-BOOKS
Design and Implementation of Symbolic Computation Systems [electronic resource] : International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings / edited by Alfonso Miola.

by Miola, Alfonso [editor.] | SpringerLink (Online service).

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

E-BOOKS
Intelligent Tutoring Systems [electronic resource] : 6th International Conference, ITS 2002 Biarritz, France and San Sebastian, Spain, June 2–7, 2002 Proceedings / edited by Stefano A. Cerri, Guy Gouardères, Fàbio Paraguaçu.

by Cerri, Stefano A [editor.] | Gouardères, Guy [editor.] | Paraguaçu, Fàbio [editor.] | SpringerLink (Online service).

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

E-BOOKS
Knowledge Acquisition for Knowledge-Based Systems [electronic resource] : 7th European Workshop, EKAW '93 Toulouse and Caylus, France September 6–10, 1993 Proceedings / edited by N. Aussenac, G. Boy, B. Gaines, M. Linster, J. -G. Ganascia, Y. Kodratoff.

by Aussenac, N [editor.] | Boy, G [editor.] | Gaines, B [editor.] | Linster, M [editor.] | Ganascia, J. -G [editor.] | Kodratoff, Y [editor.] | SpringerLink (Online service).

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

E-BOOKS
Automated Deduction in Geometry [electronic resource] : Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings / by Xiao-Shan Gao, Dongming Wang, Lu Yang.

by Gao, Xiao-Shan [author.] | Wang, Dongming [author.] | Yang, Lu [author.] | SpringerLink (Online service).

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

E-BOOKS
Visualization in Programming [electronic resource] : 5th Interdisciplinary Workshop in Informatics and Psychology Schärding, Austria, May 20–23, 1986 / edited by Peter Gorny, Michael J. Tauber.

by Gorny, Peter [editor.] | Tauber, Michael J [editor.] | SpringerLink (Online service).

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

E-BOOKS
The Semantic Web — ISWC 2002 [electronic resource] : First International Semantic Web Conference Sardinia, Italy, June 9–12, 2002 Proceedings / edited by Ian Horrocks, James Hendler.

by Horrocks, Ian [editor.] | Hendler, James [editor.] | SpringerLink (Online service).

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

E-BOOKS
Trends, Techniques, and Problems in Theoretical Computer Science [electronic resource] : 4th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, October 13–17, 1986 Selected Contributions / edited by Alica Kelemenová, Jozef Kelemen.

by Kelemenová, Alica [editor.] | Kelemen, Jozef [editor.] | SpringerLink (Online service).

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

E-BOOKS
DNA Computing [electronic resource] : 7th International Workshop on DNA-Based Computers, DNA7 Tampa, FL, USA, June 10–13, 2001 Revised Papers / edited by Nataša Jonoska, Nadrian C. Seeman.

by Jonoska, Nataša [editor.] | Seeman, Nadrian C [editor.] | SpringerLink (Online service).

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

E-BOOKS
Uncertainty in Knowledge-Based Systems [electronic resource] : International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Paris, France, June 30 – July 4, 1986 Selected and Extended Contributions / edited by B. Bouchon, R. R. Yager.

by Bouchon, B [editor.] | Yager, R. R [editor.] | SpringerLink (Online service).

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

E-BOOKS
Systems of Reductions [electronic resource] / by Benjamin Benninghofen, Susanne Kemmerich, Michael M. Richter.

by Benninghofen, Benjamin [author.] | Kemmerich, Susanne [author.] | Richter, Michael M [author.] | SpringerLink (Online service).

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

E-BOOKS
Design and Implementation of Symbolic Computation Systems [electronic resource] : International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings / edited by John Fitch.

by Fitch, John [editor.] | SpringerLink (Online service).

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

E-BOOKS
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Seventh Conference, Pune, India December 17–19, 1987 Proceedings / edited by Kesav V. Nori.

by Nori, Kesav V [editor.] | SpringerLink (Online service).

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

E-BOOKS
Developments in Applied Artificial Intelligence [electronic resource] : 15th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE 2002 Cairns, Australia, June 17–20, 2002 Proceedings / edited by Tim Hendtlass, Moonis Ali.

by Hendtlass, Tim [editor.] | Ali, Moonis [editor.] | SpringerLink (Online service).

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

E-BOOKS
Progress in Artificial Intelligence [electronic resource] : 6th Portuguese Conference on AI, EPIA '93 Porto, Portugal, October 6–8, 1993 Proceedings / edited by Miguel Filgueiras, Luís Damas.

by Filgueiras, Miguel [editor.] | Damas, Luís [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Artificial Intelligence [electronic resource] : Third Congress of the Italian Association for Artificial Intelligence, AI*IA '93 Torino, Italy, October 26–28, 1993 Proceedings / edited by Pietro Torasso.

by Torasso, Pietro [editor.] | SpringerLink (Online service).

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

E-BOOKS
Foundations of Intelligent Systems [electronic resource] : 13th International Symposium, ISMIS 2002 Lyon, France, June 27–29, 2002 Proceedings / edited by Mohand-Saïd Hacid, Zbigniew W. Raś, Djamel A. Zighed, Yves Kodratoff.

by Hacid, Mohand-Saïd [editor.] | Raś, Zbigniew W [editor.] | Zighed, Djamel A [editor.] | Kodratoff, Yves [editor.] | SpringerLink (Online service).

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

E-BOOKS
Human Computer Interaction [electronic resource] : Vienna Conference, VCHCI '93, Fin de Siècle Vienna, Austria, September 20–22, 1993 Proceedings / edited by Thomas Grechenig, Manfred Tscheligi.

by Grechenig, Thomas [editor.] | Tscheligi, Manfred [editor.] | SpringerLink (Online service).

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

E-BOOKS
Formal Methods in Programming and Their Applications [electronic resource] : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings / edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.

by Bjørner, Dines [editor.] | Broy, Manfred [editor.] | Pottosin, Igor V [editor.] | SpringerLink (Online service).

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

E-BOOKS
Automata Implementation [electronic resource] : Third International Workshop on Implementing Automata, WIA’98 Rouen, France, September 17–19, 1998 Revised Papers / edited by Jean-Marc Champarnaud, Djelloul Ziadi, Denis Maurel.

by Champarnaud, Jean-Marc [editor.] | Ziadi, Djelloul [editor.] | Maurel, Denis [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha