Your search returned 18 results.

Not what you expected? Check for suggestions
Sort
Results
High performance computing, HiPC 2002 : 9th international conference, Bangalore, India, December 18-21, 2002 : proceedings / Sartaj Sahni, Viktor K. Prasanna, Uday Shukla (eds.).

by International Conference on High Performance Computing (9th : 2002 : Bangalore, India) | Sahni, Sartaj | Prasanna Kumar, V. K | Shukla, Uday.

Series: Serienbezeichnung | Lecture notes in computer science ; 2552.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of intelligent systems : 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002 : proceedings / Mohand-Saïd Hacid [and others], eds.

by International Symposium on Methodologies for Intelligent Systems (13th : 2002 : Lyon, France) | Hacid, Mohand-Saïd, 1963-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2366. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
High performance computing : 4th International Symposium, ISHPC 2002, Kansai Science City, Japan, May 15-17, 2002 : proceedings / Hans P. Zima [and others], eds.

by International Symposium on High Performance Computing (4th : 2002 : Kansai Science City, Japan) | Zima, Hans.

Series: Serienbezeichnung | Lecture notes in computer science ; 2327.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 / M. Joseph, ed.

by Joseph, M | Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (1988 : Warwick, England).

Series: Serienbezeichnung | Lecture notes in computer science ; 331.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1988Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Methodologies for intelligent systems : 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993 : proceedings / J. Komorowski, Z.W. Raś (eds.).

by Komorowski, J. (Jan) | Raś, Zbigniew | International Symposium on Methodologies for Intelligent Systems (7th : 1993 : Trondheim, Norway).

Series: Serienbezeichnung | Lecture notes in computer science ; 689. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1993Other title: ISMIS '93.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
High performance computing : third international symposium, ISHPC 2000, Tokyo, Japan, October 16-18, 2000 : proceedings / Mateo Valero [and others] (eds.).

by ISHPC 2000 (2000 : Tokyo, Japan) | Valero, Mateo.

Series: Serienbezeichnung | Lecture notes in computer science ; 1940.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
High performance computing--HiPC'99 : 6th International Conference, Calcutta, India, December 17-20, 1999 : proceedings / Prith Banerjee, Viktor K. Prasanna, Bhabani P. Sinha (eds.).

by International Conference on High Performance Computing (6th : 1999 : Calcutta, India) | Banerjee, Prithviraj | Prasanna Kumar, V. K | Sinha, Bhabani P, 1952-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1745.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Quantum computing and quantum communications : First NASA International Conference, QCQC '98, Palm Springs, California, USA, February 17-20, 1998 : selected papers / Colin P. Williams (ed.).

by QCQC '98 (1998 : Palm Springs, Calif.) | Williams, Colin P.

Series: Serienbezeichnung | Lecture notes in computer science ; 1509.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Methodologies for intelligent systems : 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991 : proceedings / Z.W. Ras, M. Zemankova, eds.

by International Symposium on Methodologies for Intelligent Systems (6th : 1991 : Charlotte, N.C.) | Raś, Zbigniew | Zemankova, Maria.

Series: Serienbezeichnung | Lecture notes in computer science ; 542. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1991Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Evolving the high performance computing and communications initiative to support the nation's information infrastructure / Committee to Study High Performance Computing and Communications: Status of a Major Initiative, Computer Science and Telecommunications Board, Commission on Physical Science, Mathematics, and Applications, National Research Council.

by National Research Council (U.S.). Committee to Study High Performance Computing and Communications: Status of a Major Initiative.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Washington, D.C. : National Academy Press, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Hypertext : theory into practice / edited by Ray McAleese.

Edition: 2nd ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Oxford : Intellect, 1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Melodic similarity : concepts, procedures, and applications / edited by Walter B. Hewlett, Eleanor Selfridge-Field.

Series: Computing in musicology ; 11.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.

by Clarke, Edmund M., Jr. (Edmund Melson), 1945- [author.] | Grumberg, Orna [author.] | Peled, Doron A, 1962- [author.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Effective business intelligence systems / Robert J. Thierauf.

by Thierauf, Robert J.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Westport, CT : Quorum Books, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Mechanizing proof : computing, risk, and trust / Donald MacKenzie.

by MacKenzie, Donald A.

Series: Inside technologyMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Molecular computing / edited by Tanya Sienko [and others].

by Sienko, Tanya.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Grid computing : the savvy manager's guide / Pawel Plaszczak, Richard Wellner, Jr.

by Plaszczak, Pawel | Wellner, Richard.

Series: Savvy manager's guidesMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Amsterdam ; Boston : Elsevier/Morgan Kaufmann, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1).
The grid : blueprint for a new computing infrastructure / edited by Ian Foster, Carl Kesselman.

by Foster, Ian, 1959- | Kesselman, Carl.

Series: Elsevier series in grid computingEdition: 2nd ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Amsterdam ; Boston : Morgan Kaufmann, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha