|
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay. by Bertacco, Valeria [editor.] | Legay, Axel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8244Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Objects, Agents, and Features [electronic resource] : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers / edited by Mark D. Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich. by Ryan, Mark D [editor.] | Meyer, John-Jules Ch [editor.] | Ehrich, Hans-Dieter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2975Source: 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): .
|
|
|
|
|
Programming Multi-Agent Systems [electronic resource] : First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited papers / edited by Mehdi M. Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni. by Dastani, Mehdi M [editor.] | Dix, Jürgen [editor.] | El Fallah-Seghrouchni, Amal [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3067Source: 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): .
|
|
|
|
|
The Semantic Web – ISWC 2004 [electronic resource] : Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings / edited by Sheila A. McIlraith, Dimitris Plexousakis, Frank Harmelen. by McIlraith, Sheila A [editor.] | Plexousakis, Dimitris [editor.] | Harmelen, Frank [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3298Source: 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): .
|
|
|
|
|
Agent-Oriented Software Engineering V [electronic resource] : 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers / edited by James Odell, Paolo Giorgini, Jörg P. Müller. by Odell, James [editor.] | Giorgini, Paolo [editor.] | Müller, Jörg P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3382Source: 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): .
|
|
|
|
|
Reasoning Web [electronic resource] : First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures / edited by Norbert Eisinger, Jan Małuszyński. by Eisinger, Norbert [editor.] | Małuszyński, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3564Source: 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): .
|
|
|
|
|
|
|
|
|
|
Declarative Agent Languages and Technologies II [electronic resource] : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / edited by João Leite, Andrea Omicini, Paolo Torroni, pInar Yolum. by Leite, João [editor.] | Omicini, Andrea [editor.] | Torroni, Paolo [editor.] | Yolum, pInar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3476Source: 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): .
|
|
|
|
|
The Semantic Web – ISWC 2005 [electronic resource] : 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings / edited by Yolanda Gil, Enrico Motta, V. Richard Benjamins, Mark A. Musen. by Gil, Yolanda [editor.] | Motta, Enrico [editor.] | Benjamins, V. Richard [editor.] | Musen, Mark A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3729Source: 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): .
|
|
|
|
|
Natural Language Processing and Information Systems [electronic resource] : 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings / edited by Andrés Montoyo, Rafael Muńoz, Elisabeth Métais. by Montoyo, Andrés [editor.] | Muńoz, Rafael [editor.] | Métais, Elisabeth [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3513Source: 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): .
|
|
|
|
|
Intelligent Agents and Multi-Agent Systems [electronic resource] : 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers / edited by Michael Wayne Barley, Nik Kasabov. by Barley, Michael Wayne [editor.] | Kasabov, Nik [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3371Source: 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): .
|
|
|
|
|
Agent Communication [electronic resource] : International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers / edited by Rogier M. Eijk, Marc-Philippe Huget, Frank Dignum. by Eijk, Rogier M [editor.] | Huget, Marc-Philippe [editor.] | Dignum, Frank [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3396Source: 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): .
|
|
|
|
|
Programming Multi-Agent Systems [electronic resource] : Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers / edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal Fallah Seghrouchni. by Bordini, Rafael H [editor.] | Dastani, Mehdi [editor.] | Dix, Jürgen [editor.] | Fallah Seghrouchni, Amal [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3346Source: 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): .
|
|
|
|
|
|
|
|
|
|
Programming Multi-Agent Systems [electronic resource] : Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers / edited by Rafael H. Bordini, Mehdi M. Dastani, Jürgen Dix, Amal Fallah Seghrouchni. by Bordini, Rafael H [editor.] | Dastani, Mehdi M [editor.] | Dix, Jürgen [editor.] | Fallah Seghrouchni, Amal [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3862Source: 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): .
|
|
|
|
|
Defence Applications of Multi-Agent Systems [electronic resource] : International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers / edited by Simon G. Thompson, Robert Ghanea-Hercock. by Thompson, Simon G [editor.] | Ghanea-Hercock, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3890Source: 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): .
|
|
|
|
|
Declarative Agent Languages and Technologies III [electronic resource] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni. by Baldoni, Matteo [editor.] | Endriss, Ulle [editor.] | Omicini, Andrea [editor.] | Torroni, Paolo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3904Source: 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): .
|
|
|
|
|
Agent-Oriented Software Engineering VI [electronic resource] : 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers / edited by Jörg P. Müller, Franco Zambonelli. by Müller, Jörg P [editor.] | Zambonelli, Franco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3950Source: 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): .
|
|
|
|
|
Natural Language Processing and Information Systems [electronic resource] : 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedings / edited by Christian Kop, Günther Fliedl, Heinrich C. Mayr, Elisabeth Métais. by Kop, Christian [editor.] | Fliedl, Günther [editor.] | Mayr, Heinrich C [editor.] | Métais, Elisabeth [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3999Source: 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): .
|
