|
|
|
|
Model Driven Engineering Languages and Systems [electronic resource] : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio. by Nierstrasz, Oscar [editor.] | Whittle, Jon [editor.] | Harel, David [editor.] | Reggio, Gianna [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4199Source: 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): .
|
|
|
|
|
|
|
|
|
|
Advances in Computing and Information — ICCI '91 [electronic resource] : International Conference on Computing and Information Ottawa, Canada, May 27–29, 1991 Proceedings / edited by Frank Dehne, Frantisek Fiala, Waldemar W. Koczkodaj. by Dehne, Frank [editor.] | Fiala, Frantisek [editor.] | Koczkodaj, Waldemar W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 497Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Web-Age Information Management [electronic resource] : Second International Conference, WAIM 2001 Xi’an, China, July 9–11, 2001 Proceedings / edited by X. Sean Wang, Ge Yu, Hongjun Lu. by Wang, X. Sean [editor.] | Yu, Ge [editor.] | Lu, Hongjun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2118Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Human Computer Interaction [electronic resource] : Vienna Conference, VCHCI '93, Fin de Siècle Vienna, Austria, September 20–22, 1993 Proceedings / edited by Thomas Grechenig, Manfred Tscheligi. by Grechenig, Thomas [editor.] | Tscheligi, Manfred [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 733Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Conceptual Modeling [electronic resource] : ER’ 99 Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling Paris, France, November 15–18, 1999 Proceedings / edited by Peter P. Chen, David W. Embley, Jacques Kouloumdjian, Stephen W. Liddle, John F. Roddick. by Chen, Peter P [editor.] | Embley, David W [editor.] | Kouloumdjian, Jacques [editor.] | Liddle, Stephen W [editor.] | Roddick, John F [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1727Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Cryptographic Hardware and Embedded Systems [electronic resource] : First InternationalWorkshop, CHES’99 Worcester, MA, USA, August 12–13, 1999 Proceedings / edited by Çetin K. Koç, Christof Paar. by Koç, Çetin K [editor.] | Paar, Christof [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1717Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Formal Methods in Computer-Aided Design [electronic resource] : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings / edited by Mandayam Srivas, Albert Camilleri. by Srivas, Mandayam [editor.] | Camilleri, Albert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1166Source: 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): .
|
|
|
|
|
Formal Approaches to Software Testing and Runtime Verification [electronic resource] : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / edited by Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff. by Havelund, Klaus [editor.] | Núñez, Manuel [editor.] | Roşu, Grigore [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4262Source: 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): .
|
|
|
|
|
Parallel Algorithms for Irregularly Structured Problems [electronic resource] : Third International Workshop, IRREGULAR '96 Santa Barbara, CA, USA, August 19–21, 1996 Proceedings / edited by Alfonso Ferreira, José Rolim, Yousef Saad, Tao Yang. by Ferreira, Alfonso [editor.] | Rolim, José [editor.] | Saad, Yousef [editor.] | Yang, Tao [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1117Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Worldwide Computing and Its Applications — WWCA'98 [electronic resource] : Second International Conference Tsukuba, Japan, March 4–5, 1998 Proceedings / edited by Yoshifumi Masunaga, Takuya Katayama, Michiharu Tsukamoto. by Masunaga, Yoshifumi [editor.] | Katayama, Takuya [editor.] | Tsukamoto, Michiharu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1368Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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): .
|
