|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings / edited by Manuel Ojeda-Aciego, Inma P. Guzmán, Gerhard Brewka, Luís Pereira. by Ojeda-Aciego, Manuel [editor.] | Guzmán, Inma P [editor.] | Brewka, Gerhard [editor.] | Pereira, Luís [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1919Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Knowledge Representation for Agents and Multi-Agent Systems [electronic resource] : First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers / edited by John-Jules Ch. Meyer, Jan Broersen. by Meyer, John-Jules Ch [editor.] | Broersen, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5605Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Task Models and Diagrams for User Interface Design [electronic resource] : 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers / edited by David England, Philippe Palanque, Jean Vanderdonckt, Peter J. Wild. by England, David [editor.] | Palanque, Philippe [editor.] | Vanderdonckt, Jean [editor.] | Wild, Peter J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5963Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Runtime Verification [electronic resource] : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings / edited by Shuvendu Lahiri, Giles Reger. by Lahiri, Shuvendu [editor.] | Reger, Giles [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10548 | Lecture Notes in Computer Science ; 10548Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings / edited by Renate A. Schmidt, Cláudia Nalon. by Schmidt, Renate A [editor.] | Nalon, Cláudia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10501 | Lecture Notes in Computer Science ; 10501Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Formal Methods for Components and Objects [electronic resource] : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. by Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | Roever, Willem-Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3188Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach [electronic resource] : First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II / edited by José Mira, José R. Álvarez. by Mira, José [editor.] | Álvarez, José R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3562Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|