|
|
|
|
|
|
|
|
|
|
|
|
|
|
Interactive Systems: Design, Specification, and Verification [electronic resource] : 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers / edited by Chris Johnson. by Johnson, Chris [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2220Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Computational Science — ICCS 2001 [electronic resource] : International Conference San Francisco, CA, USA, May 28–30, 2001 Proceedings, Part I / edited by Vassil N. Alexandrov, Jack J. Dongarra, Benjoe A. Juliano, René S. Renner, C. J. Kenneth Tan. by Alexandrov, Vassil N [editor.] | Dongarra, Jack J [editor.] | Juliano, Benjoe A [editor.] | Renner, René S [editor.] | Tan, C. J. Kenneth [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2073Source: 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): .
|
|
|
|
|
Networking 2000 Broadband Communications, High Performance Networking, and Performance of Communication Networks [electronic resource] : IFIP-TC6/European Commission International Conference Paris, France, May 14–19, 2000 Proceedings / edited by Guy Pujolle, Harry Perros, Serge Fdida, Ulf Körner, Ioannis Stavrakakis. by Pujolle, Guy [editor.] | Perros, Harry [editor.] | Fdida, Serge [editor.] | Körner, Ulf [editor.] | Stavrakakis, Ioannis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1815Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Perspectives of System Informatics [electronic resource] : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers / edited by Dines Bjørner, Manfred Broy, Alexandre V. Zamulin. by Bjørner, Dines [editor.] | Broy, Manfred [editor.] | Zamulin, Alexandre V [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2244Source: 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): .
|
|
|
|
|
Conceptual Modeling — ER 2001 [electronic resource] : 20th International Conference on Conceptual Modeling Yokohama, Japan, November 27–30, 2001 Proceedings / edited by Hideko S.Kunii, Sushil Jajodia, Arne Sølvberg. by S.Kunii, Hideko [editor.] | Jajodia, Sushil [editor.] | Sølvberg, Arne [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2224Source: 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): .
|
|
|
|
|
|
|
|
|
|
Engineering Societies in the Agents World II [electronic resource] : Second International Workshop, ESAW 2001 Prague, Czech Republic, July 7, 2001 Revised Papers / edited by Andrea Omicini, Paolo Petta, Robert Tolksdorf. by Omicini, Andrea [editor.] | Petta, Paolo [editor.] | Tolksdorf, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2203Source: 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): .
|
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 4th International Symposium, PADL 2002 Portland, OR, USA, January 19–20, 2002 Proceedings / edited by Shriram Krishnamurthi, C. R. Ramakrishnan. by Krishnamurthi, Shriram [editor.] | Ramakrishnan, C. R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2257Source: 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): .
|
|
|
|
|
COTS-Based Software Systems [electronic resource] : First International Conference, ICCBSS 2002 Orlando, FL, USA, February 4–6, 2002 Proceedings / edited by John Dean, Andrée Gravel. by Dean, John [editor.] | Gravel, Andrée [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2255Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
