|
|
|
|
|
|
|
Programming Languages and Systems [electronic resource] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Andrew D. Gordon. by Gordon, Andrew D [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6012Source: 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): .
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Javier Esparza, Rupak Majumdar. by Esparza, Javier [editor.] | Majumdar, Rupak [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6015Source: 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): .
|
|
|
|
Argumentation in Multi-Agent Systems [electronic resource] : 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers / edited by Peter McBurney, Iyad Rahwan, Simon Parsons, Nicolas Maudet. by McBurney, Peter [editor.] | Rahwan, Iyad [editor.] | Parsons, Simon [editor.] | Maudet, Nicolas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6057Source: 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): .
|
|
|
|
|
|
|
|
Component-Based Software Engineering [electronic resource] : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings / edited by Lars Grunske, Ralf Reussner, Frantisek Plasil. by Grunske, Lars [editor.] | Reussner, Ralf [editor.] | Plasil, Frantisek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6092Source: 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): .
|
|
|
|
Global Perspectives on Design Science Research [electronic resource] : 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings. / edited by Robert Winter, J. Leon Zhao, Stephan Aier. by Winter, Robert [editor.] | Zhao, J. Leon [editor.] | Aier, Stephan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6105Source: 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): .
|
|
|
|
Multi-Agent-Based Simulation X [electronic resource] : International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers / edited by Gennaro Tosto, H. Dyke Parunak. by Tosto, Gennaro [editor.] | Dyke Parunak, H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5683Source: 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): .
|
|
|
|
Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson. by Touili, Tayssir [editor.] | Cook, Byron [editor.] | Jackson, Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6174Source: 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): .
|
|
|
|
Self-Organizing Architectures [electronic resource] : First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers / edited by Danny Weyns, Sam Malek, Rogério Lemos, Jesper Andersson. by Weyns, Danny [editor.] | Malek, Sam [editor.] | Lemos, Rogério [editor.] | Andersson, Jesper [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6090Source: 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): .
|
|
|
|
|
|
|
|
Programming Multi-Agent Systems [electronic resource] : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers / edited by Lars Braubach, Jean-Pierre Briot, John Thangarajah. by Braubach, Lars [editor.] | Briot, Jean-Pierre [editor.] | Thangarajah, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5919Source: 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): .
|
|
|
|
Future Internet - FIS 2009 [electronic resource] : Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009 / edited by Tanja Zseby, Reijo Savola, Marco Pistore. by Zseby, Tanja [editor.] | Savola, Reijo [editor.] | Pistore, Marco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6152Source: 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): .
|
|
|
|
Coordination, Organizations, Institutions and Norms in Agent Systems V [electronic resource] : COIN 2009 International Workshops. COIN@AAMAS 2009, Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009, Turin, Italy, September 2009. Revised Selected Papers / edited by Julian Padget, Alexander Artikis, Wamberto Vasconcelos, Kostas Stathis, Viviane Torres Silva, Eric Matson, Axel Polleres. by Padget, Julian [editor.] | Artikis, Alexander [editor.] | Vasconcelos, Wamberto [editor.] | Stathis, Kostas [editor.] | Silva, Viviane Torres [editor.] | Matson, Eric [editor.] | Polleres, Axel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6069Source: 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): .
|
|
|
|
Computational Logic in Multi-Agent Systems [electronic resource] : 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings / edited by Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga. by Dix, Jürgen [editor.] | Leite, João [editor.] | Governatori, Guido [editor.] | Jamroga, Wojtek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6245Source: 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): .
|
|
|
|
|
|
|
|
Evolvable Systems: From Biology to Hardware [electronic resource] : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings / edited by Gianluca Tempesti, Andy M. Tyrrell, Julian F. Miller. by Tempesti, Gianluca [editor.] | Tyrrell, Andy M [editor.] | Miller, Julian F [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6274Source: 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): .
|
|
|
|
CONCUR 2010 - Concurrency Theory [electronic resource] : 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings / edited by Paul Gastin, François Laroussinie. by Gastin, Paul [editor.] | Laroussinie, François [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6269Source: 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): .
|
|
|
|
Distributed Computing [electronic resource] : 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings / edited by Nancy A. Lynch, Alexander A. Shvartsman. by Lynch, Nancy A [editor.] | Shvartsman, Alexander A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6343Source: 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): .
|
|
|
|
Intelligent Virtual Agents [electronic resource] : 10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010. Proceedings / edited by Jan Allbeck, Norman Badler, Timothy Bickmore, Catherine Pelachaud, Alla Safonova. by Allbeck, Jan [editor.] | Badler, Norman [editor.] | Bickmore, Timothy [editor.] | Pelachaud, Catherine [editor.] | Safonova, Alla [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6356Source: 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): .
|