|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Euro-Par'97 Parallel Processing [electronic resource] : Third International Euro-Par Conference Passau, Germany, August 26–29, 1997 Proceedings / edited by Christian Lengauer, Martin Griebl, Sergei Gorlatch. by Lengauer, Christian [editor.] | Griebl, Martin [editor.] | Gorlatch, Sergei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1300Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Interactive Systems. Design, Specification, and Verification [electronic resource] : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers / edited by Gavin Doherty, Ann Blandford. by Doherty, Gavin [editor.] | Blandford, Ann [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4323Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods [electronic resource] : 4th International Symposium of Formal Methods Europe Graz, Austria, September 15–19, 1997 Proceedings / edited by John Fitzgerald, Cliff B. Jones, Peter Lucas. by Fitzgerald, John [editor.] | Jones, Cliff B [editor.] | Lucas, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1313Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
High Performance Computing [electronic resource] : International Symposium, ISHPC'97 Fukuoka, Japan, November 4–6, 1997 Proceedings / edited by Constantine Polychronopoulos, Kazuki Joe, Keijiro Araki, Makoto Amamiya. by Polychronopoulos, Constantine [editor.] | Joe, Kazuki [editor.] | Araki, Keijiro [editor.] | Amamiya, Makoto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1336Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Scientific Computing in Object-Oriented Parallel Environments [electronic resource] : First International Conference, ISCOPE 97 Marina del Rey, California, USA December 8–11, 1997 Proceedings / edited by Yutaka Ishikawa, Rodney R. Oldehoeft, John V. W. Reynders, Marydell Tholburn. by Ishikawa, Yutaka [editor.] | Oldehoeft, Rodney R [editor.] | Reynders, John V. W [editor.] | Tholburn, Marydell [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1343Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|