Your search returned 1257 results.

Not what you expected? Check for suggestions
E-BOOKS
Temporal Logic [electronic resource] : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings / edited by Dov M. Gabbay, Hans Jürgen Ohlbach.

by Gabbay, Dov M [editor.] | Ohlbach, Hans Jürgen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 827Source: 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
Advanced Information Systems Engineering [electronic resource] : 11th International Conference, CAiSE"99 Heidelberg, Germany, June 14—18, 1999 Proceedings / edited by Matthias Jarke, Andreas Oberweis.

by Jarke, Matthias [editor.] | Oberweis, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1626Source: 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
Multimedia Applications, Services and Techniques — ECMAST’99 [electronic resource] : 4th European Conference Madrid, Spain, May 26–28, 1999 Proceedings / edited by Helmut Leopold, Narciso García.

by Leopold, Helmut [editor.] | García, Narciso [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1629Source: 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
Visual Information and Information Systems [electronic resource] : Third International Conference, VISUAL’99 Amsterdam, The Netherlands, June 2–4, 1999 Proceedings / edited by Dionysius P. Huijsmans, Arnold W. M. Smeulders.

by Huijsmans, Dionysius P [editor.] | Smeulders, Arnold W. M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1614Source: 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
Database and Expert Systems Applications [electronic resource] : 5th International Conference, DEXA '94 Athens, Greece, September 7–9, 1994 Proceedings / edited by Dimitris Karagiannis.

by Karagiannis, Dimitris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 856Source: 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
Object-Oriented Methodologies and Systems [electronic resource] : International Symposium, ISOOMS '94 Palermo, Italy, September 21–22, 1994 Proceedings / edited by Elisa Bertino, Susan Urban.

by Bertino, Elisa [editor.] | Urban, Susan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 858Source: 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
Foundations of Intelligent Systems [electronic resource] : 11th International Symposium, ISMIS’99 Warsaw, Poland, June 8–11, 1999 Proceedings / edited by Zbigniew W. Raś, Andrzej Skowron.

by Raś, Zbigniew W [editor.] | Skowron, Andrzej [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1609Source: 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
Conceptual Modeling [electronic resource] : Current Issues and Future Directions / edited by G. Goos, J. Hartmanis, J. Leeuwen, Peter P. Chen, Jacky Akoka, Hannu Kangassalu, Bernhard Thalheim.

by Goos, G [editor.] | Hartmanis, J [editor.] | Leeuwen, J [editor.] | Chen, Peter P [editor.] | Akoka, Jacky [editor.] | Kangassalu, Hannu [editor.] | Thalheim, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1565Source: 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 World Wide Web and Databases [electronic resource] : International Workshop WebDB’98, Valencia, Spain, March 27- 28, 1998. Selected Papers / edited by Paolo Atzeni, Alberto Mendelzon, Giansalvatore Mecca.

by Atzeni, Paolo [editor.] | Mendelzon, Alberto [editor.] | Mecca, Giansalvatore [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1590Source: 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
Methodologies for Knowledge Discovery and Data Mining [electronic resource] : Third Pacific-Asia Conference, PAKDD-99 Beijing, China, April 26–28, 1999 Proceedings / edited by Ning Zhong, Lizhu Zhou.

by Zhong, Ning [editor.] | Zhou, Lizhu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1574Source: 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
Database Issues for Data Visualization [electronic resource] : IEEE Visualization '93 Workshop San Jose, California, USA, October 26, 1993 Proceedings / edited by John P. Lee, Georges G. Grinstein.

by Lee, John P [editor.] | Grinstein, Georges G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 871Source: 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
Interoperating Geographic Information Systems [electronic resource] : Second International Conference, INTEROP’99, Zurich, Switzerland, March 10-12, 1999. Proceedings / edited by Andrej Včkovski, Kurt E. Brassel, Hans-Jörg Schek.

by Včkovski, Andrej [editor.] | Brassel, Kurt E [editor.] | Schek, Hans-Jörg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1580Source: 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
Principles and Practice of Constraint Programming [electronic resource] : Second International Workshop, PPCP '94 Rosario, Orcas Island, WA, USA, May 2–4, 1994 Proceedings / edited by Alan Borning.

by Borning, Alan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 874Source: 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 Security — ESORICS 94 [electronic resource] : Third European Symposium on Research in Computer Security Brighton, United Kingdom, November 7–9, 1994 Proceedings / edited by Dieter Gollmann.

by Gollmann, Dieter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 875Source: 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
Entity-Relationship Approach — ER '94 Business Modelling and Re-Engineering [electronic resource] : 13th International Conference on the Entity-Relationship Approach Manchester, United Kingdom, December 13–16, 1994 Proceedings / edited by Pericles Loucopoulos.

by Loucopoulos, Pericles [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 881Source: 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
IGIS '94: Geographic Information Systems [electronic resource] : International Workshop on Advanced Research in Geographic Information Systems Monte Verità, Ascona, Switzerland February 28 – March 4, 1994 Proceedings / edited by Jürg Nievergelt, Thomas Roos, Hans-Jörg Schek, Peter Widmayer.

by Nievergelt, Jürg [editor.] | Roos, Thomas [editor.] | Schek, Hans-Jörg [editor.] | Widmayer, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 884Source: 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
Advances in Database Technologies [electronic resource] : ER ’98 Workshops on Data Warehousing and Data Mining, Mobile Data Access, and Collaborative Work Support and Spatio-Temporal Data Management, Singapore, November 19-20, 1998. Proceedings / edited by Yahiko Kambayashi, Dik-Lun Lee, Ee-peng Lim, Mukesh Mohania, Yoshifumi Masunaga.

by Kambayashi, Yahiko [editor.] | Lee, Dik-Lun [editor.] | Lim, Ee-peng [editor.] | Mohania, Mukesh [editor.] | Masunaga, Yoshifumi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1552Source: 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
Database Theory — ICDT '95 [electronic resource] : 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings / edited by Georg Gottlob, Moshe Y. Vardi.

by Gottlob, Georg [editor.] | Vardi, Moshe Y [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 893Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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
Active, Real-Time, and Temporal Database Systems [electronic resource] : Second International Workshop, ARTDB-97 Como, Italy, September 8–9, 1997 Proceedings / edited by Sten F. Andler, Jörgen Hansson.

by Andler, Sten F [editor.] | Hansson, Jörgen [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Digital Libraries Current Issues [electronic resource] : Digital Libraries Workshop DL '94 Newark, NJ, USA, May 19–20, 1994 Selected Papers / edited by Nabil R. Adam, Bharat K. Bhargava, Yelena Yesha.

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

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