|
|
|
|
|
|
|
Intelligent Agents VI. Agent Theories, Architectures, and Languages [electronic resource] : 6th International Workshop, ATAL’99, Orlando, Florida, USA, July 15-17, 1999. Proceedings / edited by Nicholas R. Jennings, Yves Lespérance. by Jennings, Nicholas R [editor.] | Lespérance, Yves [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1757Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
VDM '90 VDM and Z — Formal Methods in Software Development [electronic resource] : Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings / edited by D. Bjørner, C. A. R. Hoare, H. Langmaack. by Bjørner, D [editor.] | Hoare, C. A. R [editor.] | Langmaack, H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 428Source: 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): .
|
|
|
|
Current Developments in Knowledge Acquisition — EKAW '92 [electronic resource] : 6th European Knowledge Acquisition Workshop Heidelberg and Kaiserslautern, Germany, May 18–22, 1992 Proceedings / edited by Thomas Wetter, Klaus-Dieter Althoff, John Boose, Brian R. Gaines, Marc Linster, Franz Schmalhofer. by Wetter, Thomas [editor.] | Althoff, Klaus-Dieter [editor.] | Boose, John [editor.] | Gaines, Brian R [editor.] | Linster, Marc [editor.] | Schmalhofer, Franz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 599Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I / edited by Robert Meersman, Zahir Tari. by Meersman, Robert [editor.] | Tari, Zahir [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4275Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Knowledge Acquisition, Modeling and Management [electronic resource] : 11th European Workshop, EKAW’99 Dagstuhl Castle, Germany, May 26–29, 1999 Proceedings / edited by Dieter Fensel, Rudi Studer. by Fensel, Dieter [editor.] | Studer, Rudi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1621Source: 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): .
|
|
|
|
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2006 [electronic resource] : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings / edited by Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone. by Barkaoui, Kamel [editor.] | Cavalcanti, Ana [editor.] | Cerone, Antonio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4281Source: 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): .
|
|
|
|
Methodologies for Intelligent Systems [electronic resource] : 8th International Symposium, ISMIS '94 Charlotte, North Carolina, USA, October 16–19, 1994 Proceedings / edited by Zbigniew W. Raś, Maria Zemankova. by Raś, Zbigniew W [editor.] | Zemankova, Maria [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 869Source: 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): .
|
|
|
|
|
|
|
|
Perspectives of System Informatics [electronic resource] : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 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 ; 1181Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Automated Deduction — Cade-13 [electronic resource] : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings / edited by M. A. McRobbie, J. K. Slaney. by McRobbie, M. A [editor.] | Slaney, J. K [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1104Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|