|
|
|
|
Artificial Intelligence in Higher Education [electronic resource] : CEPES-UNESCO International Symposium Prague, CSFR, October 23–25, 1989 Proceedings / edited by Vladimir Mařík, Olga Štěpánková, Zdeněk Zdráhal. by Mařík, Vladimir [editor.] | Štěpánková, Olga [editor.] | Zdráhal, Zdeněk [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 451Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Conceptual Modeling - ER 2006 [electronic resource] : 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedings / edited by David W. Embley, Antoni Olivé, Sudha Ram. by Embley, David W [editor.] | Olivé, Antoni [editor.] | Ram, Sudha [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4215Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings / edited by Susanne Graf, Wenhui Zhang. by Graf, Susanne [editor.] | Zhang, Wenhui [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4218Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Computer and Information Sciences – ISCIS 2006 [electronic resource] : 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings / edited by Albert Levi, Erkay Savaş, Hüsnü Yenigün, Selim Balcısoy, Yücel Saygın. by Levi, Albert [editor.] | Savaş, Erkay [editor.] | Yenigün, Hüsnü [editor.] | Balcısoy, Selim [editor.] | Saygın, Yücel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4263Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logic Programming in Action [electronic resource] : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings / edited by G. Comyn, N. E. Fuchs, M. J. Ratcliffe. by Comyn, G [editor.] | Fuchs, N. E [editor.] | Ratcliffe, M. J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in ; 636Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advanced Programming Environments [electronic resource] : Proceedings of an International Workshop Trondheim, Norway, June 16–18, 1986 / edited by Reidar Conradi, Tor M. Didriksen, Dag H. Wanvik. by Conradi, Reidar [editor.] | Didriksen, Tor M [editor.] | Wanvik, Dag H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 244Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Other title: Organized by: IFIP Working Group 2.4 on Systems Programming Languages in Cooperation with ACM SIGPLAN/SIGSOFT.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Advances in Computing and Information — ICCI '91 [electronic resource] : International Conference on Computing and Information Ottawa, Canada, May 27–29, 1991 Proceedings / edited by Frank Dehne, Frantisek Fiala, Waldemar W. Koczkodaj. by Dehne, Frank [editor.] | Fiala, Frantisek [editor.] | Koczkodaj, Waldemar W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 497Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : Third International Conference CAiSE '91 Trondheim, Norway, May 13–15, 1991 Proceedings / edited by Rudolf Andersen, Janis A. Bubenko, Arne Sølvberg. by Andersen, Rudolf [editor.] | Bubenko, Janis A [editor.] | Sølvberg, Arne [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 498Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Other title: Proceedings.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Uncertainty in Knowledge Bases [electronic resource] : 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '90 Paris, France, July 2–6, 1990 Proceedings / edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh. by Bouchon-Meunier, Bernadette [editor.] | Yager, Ronald R [editor.] | Zadeh, Lotfi A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 521Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Bringing Telecommunication Services to the People — IS&N '95 [electronic resource] : Third International Conference on Intelligence in Broadband Services and Networks Heraklion, Crete, Greece, October 16–19, 1995 Proceedings / edited by Anne Clarke, Mario Campolargo, Nikos Karatzas. by Clarke, Anne [editor.] | Campolargo, Mario [editor.] | Karatzas, Nikos [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 998Source: 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): .
|
|
|
|
|
|
