|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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 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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|