|
|
|
|
|
|
|
|
|
Agent-Oriented Software Engineering II [electronic resource] : Second International Workshop, AOSE 2001 Montreal, Canada, May 29, 2001 Revised Papers and Invited Contributions / edited by Michael J. Wooldridge, Gerhard Weiß, Paolo Ciancarini. by Wooldridge, Michael J [editor.] | Weiß, Gerhard [editor.] | Ciancarini, Paolo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2222Source: 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): .
|
|
|
|
|
Dependable Computing — EDCC-2 [electronic resource] : Second European Dependable Computing Conference Taormina, Italy, October 2–4, 1996 Proceedings / edited by Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini. by Hlawiczka, Andrzej [editor.] | Silva, João Gabriel [editor.] | Simoncini, Luca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1150Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Hardware and Software, Verification and Testing [electronic resource] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers / edited by Eyal Bin, Avi Ziv, Shmuel Ur. by Bin, Eyal [editor.] | Ziv, Avi [editor.] | Ur, Shmuel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4383Source: 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): .
|
|
|
|
|
Programming Languages and Systems [electronic resource] : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings / edited by Rocco Nicola. by Nicola, Rocco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4421Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems [electronic resource] : First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007. Proceedings / edited by Damien Sauveron, Konstantinos Markantonakis, Angelos Bilas, Jean-Jacques Quisquater. by Sauveron, Damien [editor.] | Markantonakis, Konstantinos [editor.] | Bilas, Angelos [editor.] | Quisquater, Jean-Jacques [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4462Source: 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): .
|
|
|
|
|
Web Reasoning and Rule Systems [electronic resource] : First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings / edited by Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie. by Marchiori, Massimo [editor.] | Pan, Jeff Z [editor.] | Marie, Christian de Sainte [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4524Source: 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): .
|
|
|
|
|
Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings / edited by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger. by Kauers, Manuel [editor.] | Kerber, Manfred [editor.] | Miner, Robert [editor.] | Windsteiger, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4573Source: 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): .
|
|
|
|
|
Distributed Computing in Sensor Systems [electronic resource] : Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007. Proceedings / edited by James Aspnes, Christian Scheideler, Anish Arora, Samuel Madden. by Aspnes, James [editor.] | Scheideler, Christian [editor.] | Arora, Anish [editor.] | Madden, Samuel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4549Source: 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): .
|
|
|
|
|
|
|
|
|
|
Data Integration in the Life Sciences [electronic resource] : 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007. Proceedings / edited by Sarah Cohen-Boulakia, Val Tannen. by Cohen-Boulakia, Sarah [editor.] | Tannen, Val [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4544Source: 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): .
|
|
|
|
|
Intercultural Collaboration [electronic resource] : First International Workshop, IWIC 2007 Kyoto, Japan, January 25-26, 2007 Invited and Selected Papers / edited by Toru Ishida, Susan R. Fussell, Piek T. J. M. Vossen. by Ishida, Toru [editor.] | Fussell, Susan R [editor.] | Vossen, Piek T. J. M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4568Source: 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): .
|
|
|
|
|
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence [electronic resource] : Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings / edited by De-Shuang Huang, Laurent Heutte, Marco Loog. by Huang, De-Shuang [editor.] | Heutte, Laurent [editor.] | Loog, Marco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4682Source: 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): .
|
|
|
|
|
Coordination, Organizations, Institutions, and Norms in Agent Systems II [electronic resource] : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers / edited by Pablo Noriega, Javier Vázquez-Salceda, Guido Boella, Olivier Boissier, Virginia Dignum, Nicoletta Fornara, Eric Matson. by Noriega, Pablo [editor.] | Vázquez-Salceda, Javier [editor.] | Boella, Guido [editor.] | Boissier, Olivier [editor.] | Dignum, Virginia [editor.] | Fornara, Nicoletta [editor.] | Matson, Eric [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4386Source: 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): .
|
|
|
|
|
Life System Modeling and Simulation [electronic resource] : International Conference, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings / edited by Kang Li, Xin Li, George William Irwin, Gusen He. by Li, Kang [editor.] | Li, Xin [editor.] | Irwin, George William [editor.] | He, Gusen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4689Source: 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): .
|
|
|
|
|
Ad-Hoc, Mobile, and Wireless Networks [electronic resource] : 6th International Conference, ADHOC-NOW 2007, Morelia, Mexico, September 24-26, 2007, Proceeedings / edited by Evangelos Kranakis, Jaroslav Opatrny. by Kranakis, Evangelos [editor.] | Opatrny, Jaroslav [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4686Source: 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): .
|
|
|
|
|
|
|
|
|
|
Theoretical Aspects of Computing – ICTAC 2007 [electronic resource] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock. by Jones, Cliff B [editor.] | Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4711Source: 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): .
|
