|
|
|
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems [electronic resource] : AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers / edited by Olivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann, Eric Matson, Sascha Ossowski, Jaime Simão Sichman, Javier Vázquez-Salceda. by Boissier, Olivier [editor.] | Padget, Julian [editor.] | Dignum, Virginia [editor.] | Lindemann, Gabriela [editor.] | Matson, Eric [editor.] | Ossowski, Sascha [editor.] | Sichman, Jaime Simão [editor.] | Vázquez-Salceda, Javier [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3913Source: 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): .
|
|
|
|
Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings / edited by András Horváth, Miklós Telek. by Horváth, András [editor.] | Telek, Miklós [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4054Source: 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): .
|
|
|
|
Developments in Language Theory [electronic resource] : 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings / edited by Oscar H. Ibarra, Zhe Dang. by Ibarra, Oscar H [editor.] | Dang, Zhe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4036Source: 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): .
|
|
|
|
|
|
|
|
Finite-State Methods and Natural Language Processing [electronic resource] : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers / edited by Anssi Yli-Jyrä, Lauri Karttunen, Juhani Karhumäki. by Yli-Jyrä, Anssi [editor.] | Karttunen, Lauri [editor.] | Karhumäki, Juhani [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4002Source: 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): .
|
|
|
|
Component-Based Software Engineering [electronic resource] : 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings / edited by Ian Gorton, George T. Heineman, Ivica Crnković, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau. by Gorton, Ian [editor.] | Heineman, George T [editor.] | Crnković, Ivica [editor.] | Schmidt, Heinz W [editor.] | Stafford, Judith A [editor.] | Szyperski, Clemens [editor.] | Wallnau, Kurt [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4063Source: 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): .
|
|
|
|
|
|
|
|
Algebraic Methodology and Software Technology [electronic resource] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings / edited by Michael Johnson, Varmo Vene. by Johnson, Michael [editor.] | Vene, Varmo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4019Source: 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): .
|
|
|
|
|
|
|
|
Architecting Systems with Trustworthy Components [electronic resource] : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers / edited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski. by Reussner, Ralf H [editor.] | Stafford, Judith A [editor.] | Szyperski, Clemens A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3938Source: 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): .
|
|
|
|
|
|
|
|
Model Driven Architecture – Foundations and Applications [electronic resource] : Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings / edited by Arend Rensink, Jos Warmer. by Rensink, Arend [editor.] | Warmer, Jos [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4066Source: 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): .
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings / edited by Matthias Baaz, Andrei Voronkov. by Baaz, Matthias [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2514Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Formal Methods in Computer-Aided Design [electronic resource] : 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings / edited by Mark D. Aagaard, John W. O’Leary. by Aagaard, Mark D [editor.] | O’Leary, John W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2517Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Interactive Systems:Design, Specification, and Verification [electronic resource] : 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers / edited by Peter Forbrig, Quentin Limbourg, Jean Vanderdonckt, Bodo Urban. by Forbrig, Peter [editor.] | Limbourg, Quentin [editor.] | Vanderdonckt, Jean [editor.] | Urban, Bodo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2545Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Natural Language Processing and Information Systems [electronic resource] : 6th International Conference on Applications of Natural Language to Information Systems, NLDB 2002 Stockholm, Sweden, June 27–28, 2002 Revised Papers / edited by Birger Andersson, Maria Bergholtz, Paul Johannesson. by Andersson, Birger [editor.] | Bergholtz, Maria [editor.] | Johannesson, Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2553Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|