|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
Mobile Agents for Telecommunication Applications [electronic resource] : 4th International Workshop, MATA 2002 Barcelona, Spain, October 23–24, 2002 Proceedings / edited by Ahmed Karmouch, Thomas Magedanz, Jaime Delgado. by Karmouch, Ahmed [editor.] | Magedanz, Thomas [editor.] | Delgado, Jaime [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2521Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Active Networks [electronic resource] : IFIP-TC6 4th International Working Conference, IWAN 2002 Zurich, Switzerland, December 4–6, 2002 Proceedings / edited by James Sterbenz, Osamu Takada, Christian Tschudin, Bernhard Plattner. by Sterbenz, James [editor.] | Takada, Osamu [editor.] | Tschudin, Christian [editor.] | Plattner, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2546Source: 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): .
|
|
|
|
|
Developing an Infrastructure for Mobile and Wireless Systems [electronic resource] : NSF Workshop IMWS 2001 Scottsdale, AZ, October 15, 2001 Revised Papers / edited by Birgitta König-Ries, Kia Makki, Niki Pissinou, S.A.M. Makki, Peter Scheuermann. by König-Ries, Birgitta [editor.] | Makki, Kia [editor.] | Pissinou, Niki [editor.] | Makki, S.A.M [editor.] | Scheuermann, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2538Source: 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): .
|
|
|
|
|
Distributed Communities on the Web [electronic resource] : 4th International Workshop, DCW 2002 Sydney, Australia, April 3–5, 2002 Revised Papers / edited by John Plaice, Peter G. Kropf, Peter Schulthess, Jacob Slonim. by Plaice, John [editor.] | Kropf, Peter G [editor.] | Schulthess, Peter [editor.] | Slonim, Jacob [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2468Source: 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): .
|
