|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
Industrial and Engineering Applications of Artificial Intelligence and Expert Systems [electronic resource] : 5th International Conference, IEA/AIE - 92 Paderborn, Germany, June 9–12, 1992 Proceedings / edited by Fevzi Belli, Franz Josef Radermacher. by Belli, Fevzi [editor.] | Radermacher, Franz Josef [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 604Source: 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): .
|
|
|
|
|
|
|
|
|
|
Combinators and Functional Programming Languages [electronic resource] : Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings / edited by Guy Cousineau, Pierre-Louis Curien, Bernard Robinet. by Cousineau, Guy [editor.] | Curien, Pierre-Louis [editor.] | Robinet, Bernard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 242Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Intelligent Tutoring Systems [electronic resource] : Second International Conference, ITS '92 Montréal, Canada, June 10–12 1992 Proceedings / edited by Claude Frasson, Gilles Gauthier, Gordon I. McCalla. by Frasson, Claude [editor.] | Gauthier, Gilles [editor.] | McCalla, Gordon I [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 608Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Object-Based Concurrent Computing [electronic resource] : ECOOP '91 Workshop Geneva, Switzerland, July 15–16, 1991 Proceedings / edited by M. Tokoro, O. Nierstrasz, P. Wegner. by Tokoro, M [editor.] | Nierstrasz, O [editor.] | Wegner, P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 612Source: 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): .
|
|
|
|
|
|
|
|
|
|
The Next Generation of Information Systems: From Data to Knowledge [electronic resource] : A Selection of Papers Presented at Two IJCAI-91 Workshops, Sydney, Australia, August 26, 1991 / edited by Michael P. Papazoglou, John Zeleznikow. by Papazoglou, Michael P [editor.] | Zeleznikow, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 611Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
