|
|
|
Software Security — Theories and Systems [electronic resource] : Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers / edited by Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa. by Okada, Mitsuhiro [editor.] | Pierce, Benjamin C [editor.] | Scedrov, Andre [editor.] | Tokuda, Hideyuki [editor.] | Yonezawa, Akinori [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2609Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Agent-Oriented Software Engineering III [electronic resource] : Third International Workshop, AOSE 2002 Bologna, Italy, July 15, 2002 Revised Papers and Invited Contributions / edited by Fausto Giunchiglia, James Odell, Gerhard Weiß. by Giunchiglia, Fausto [editor.] | Odell, James [editor.] | Weiß, Gerhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2585Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Evolvable Systems: From Biology to Hardware [electronic resource] : 5th International Conference, ICES 2003 Trondheim, Norway, March 17–20, 2003 Proceedings / edited by AAndy M. Tyrrell, Pauline C. Haddow, Jim Torresen. by Tyrrell, AAndy M [editor.] | Haddow, Pauline C [editor.] | Torresen, Jim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2606Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Self-Adaptive Software: Applications [electronic resource] : Second International Workshop, IWSAS 2001 Balatonfüred, Hungary, May 17–19, 2001 Revised Papers / edited by Robert Laddaga, Howie Shrobe, Paul Robertson. by Laddaga, Robert [editor.] | Shrobe, Howie [editor.] | Robertson, Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2614Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Efficiency and Effectiveness of XML Tools and Techniques and Data Integration over the Web [electronic resource] : VLDB 2002 Workshop EEXTT and CAiSE 2002 Workshop DIWeb Revised Papers / edited by Stéphane Bressan, Mong Li Lee, Akmal B. Chaudhri, Jeffrey Xu Yu, Zoé Lacroix. by Bressan, Stéphane [editor.] | Lee, Mong Li [editor.] | Chaudhri, Akmal B [editor.] | Yu, Jeffrey Xu [editor.] | Lacroix, Zoé [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2590Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Objects, Components, Architectures, Services, and Applications for a Networked World [electronic resource] : International Conference NetObjectDays, NODe 2002 Erfurt, Germany, October 7–10, 2002 Revised Papers / edited by Mehmet Aksit, Mira Mezini, Rainer Unland. by Aksit, Mehmet [editor.] | Mezini, Mira [editor.] | Unland, Rainer [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2591Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Agent Technologies, Infrastructures, Tools, and Applications for E-Services [electronic resource] : NODe 2002 Agent-Related Workshops Erfurt, Germany, October 7–10, 2002 Revised Papers / edited by Jaime G. Carbonell, Jörg Siekmann, Ryszard Kowalczyk, Jörg P. Müller, Huaglory Tianfield, Rainer Unland. by Carbonell, Jaime G [editor.] | Siekmann, Jörg [editor.] | Kowalczyk, Ryszard [editor.] | Müller, Jörg P [editor.] | Tianfield, Huaglory [editor.] | Unland, Rainer [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2592Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Web, Web-Services, and Database Systems [electronic resource] : NODe 2002 Web- and Database-Related Workshops Erfurt, Germany, October 7–10, 2002 Revised Papers / edited by Akmal B. Chaudhri, Mario Jeckle, Erhard Rahm, Rainer Unland. by Chaudhri, Akmal B [editor.] | Jeckle, Mario [editor.] | Rahm, Erhard [editor.] | Unland, Rainer [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2593Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
High Performance Computing for Computational Science — VECPAR 2002 [electronic resource] : 5th International Conference Porto, Portugal, June 26–28, 2002 Selected Papers and Invited Talks / edited by José M. L. M. Palma, A. Augusto Sousa, Jack Dongarra, Vicente Hernández. by Palma, José M. L. M [editor.] | Sousa, A. Augusto [editor.] | Dongarra, Jack [editor.] | Hernández, Vicente [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2565Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Universal Access Theoretical Perspectives, Practice, and Experience [electronic resource] : 7th ERCIM International Workshop on User Interfaces for All, Paris, France, October 24–25, 2002, Revised Papers / edited by Noëlle Carbonell, Constantine Stephanidis. by Carbonell, Noëlle [editor.] | Stephanidis, Constantine [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2615Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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] : 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings / edited by Hubert Garavel, John Hatcliff. by Garavel, Hubert [editor.] | Hatcliff, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2619Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|