|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Applied Parallel Computing [electronic resource] : Advanced Scientific Computing 6th International Conference, PARA 2002 Espoo, Finland, June 15–18, 2002 Proceedings / edited by Juha Fagerholm, Juha Haataja, Jari Järvinen, Mikko Lyly, Peter Råback, Ville Savolainen. by Fagerholm, Juha [editor.] | Haataja, Juha [editor.] | Järvinen, Jari [editor.] | Lyly, Mikko [editor.] | Råback, Peter [editor.] | Savolainen, Ville [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2367Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002Online 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): .
|
|
|
|
|
|
|
|
|
|
Formal Methods in Programming and Their Applications [electronic resource] : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings / edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin. by Bjørner, Dines [editor.] | Broy, Manfred [editor.] | Pottosin, Igor V [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 735Source: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Innovative Internet Computing Systems [electronic resource] : Second International Workshop, IICS 2002 Kühlungsborn, Germany, June 20–22, 2002 Proceedings / edited by Herwig Unger, Thomas Böhme, Armin Mikler. by Unger, Herwig [editor.] | Böhme, Thomas [editor.] | Mikler, Armin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2346Source: 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): .
|
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 4th International Conference, PPAM 2001 Na lęczów, Poland, September 9–12, 2001 Revised Papers / edited by Roman Wyrzykowski, Jack Dongarra, Marcin Paprzycki, Jerzy Waśniewski. by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Paprzycki, Marcin [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2328Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Cooperative Buildings. Integrating Information, Organizations, and Architecture [electronic resource] : Second International Workshop, CoBuild’99, Pittsburgh, PA, USA, October 1-2, 1999. Proceedings / edited by Norbert A. Streitz, Jane Siegel, Volker Hartkopf, Shin’ichi Konomi. by Streitz, Norbert A [editor.] | Siegel, Jane [editor.] | Hartkopf, Volker [editor.] | Konomi, Shin’ichi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1670Source: 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): .
|
|
|
|
|
|
|
|
|
|
FM’99 — Formal Methods [electronic resource] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II / edited by Jeannette M. Wing, Jim Woodcock, Jim Davies. by Wing, Jeannette M [editor.] | Woodcock, Jim [editor.] | Davies, Jim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1709Source: 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): .
|
|
|
|
|
FM’99 — Formal Methods [electronic resource] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I / edited by Jeannette M. Wing, Jim Woodcock, Jim Davies. by Wing, Jeannette M [editor.] | Woodcock, Jim [editor.] | Davies, Jim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1708Source: 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): .
|
|
|
|
|
Parallel Symbolic Computing: Languages, Systems, and Applications [electronic resource] : US/Japan Workshop Cambridge, MA, USA, October 14–17, 1992 Proceedings / edited by Robert H. Halstead, Takayasu Ito. by Halstead, Robert H [editor.] | Ito, Takayasu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 748Source: 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): .
|
