|
|
|
|
|
|
|
|
|
|
|
|
|
|
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods [electronic resource] : 4th International Symposium of Formal Methods Europe Graz, Austria, September 15–19, 1997 Proceedings / edited by John Fitzgerald, Cliff B. Jones, Peter Lucas. by Fitzgerald, John [editor.] | Jones, Cliff B [editor.] | Lucas, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1313Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Algorithmic Learning Theory [electronic resource] : 8th International Workshop, ALT '97 Sendai, Japan, October 6–8, 1997 Proceedings / edited by Ming Li, Akira Maruoka. by Li, Ming [editor.] | Maruoka, Akira [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1316Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Progress in Artificial Intelligence [electronic resource] : 8th Portuguese Conference on Artificial Intelligence, EPIA-97 Coimbra, Portugal, October 6–9, 1997 Proceedings / edited by Ernesto Coasta, Amilcar Cardoso. by Coasta, Ernesto [editor.] | Cardoso, Amilcar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1323Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Knowledge Acquisition, Modeling and Management [electronic resource] : 10th European Workshop, EKAW '97 Sant Feliu de Guixols, Catalonia, Spain October 15–18, 1997 Proceedings / edited by Enric Plaza, Richard Benjamins. by Plaza, Enric [editor.] | Benjamins, Richard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1319Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Foundations of Intelligent Systems [electronic resource] : 10th International Symposium, ISMIS'97 Charlotte, North Carolina, USA October 15–18, 1997 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 ; 1325Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Principles of Document Processing [electronic resource] : Third International Workshop, PODP'96 Palo Alto, California, USA, September 23, 1996 Proceedings / edited by Charles Nicholas, Derick Wood. by Nicholas, Charles [editor.] | Wood, Derick [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1293Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Computational Logic in Multi-Agent Systems [electronic resource] : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers / edited by Katsumi Inoue, Ken Satoh, Francesca Toni. by Inoue, Katsumi [editor.] | Satoh, Ken [editor.] | Toni, Francesca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4371Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Artificial Neural Networks — ICANN'97 [electronic resource] : 7th International Conference Lausanne, Switzerland, October 8–10, 1997 Proceeedings / edited by Wulfram Gerstner, Alain Germond, Martin Hasler, Jean-Daniel Nicoud. by Gerstner, Wulfram [editor.] | Germond, Alain [editor.] | Hasler, Martin [editor.] | Nicoud, Jean-Daniel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1327Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
