Your search returned 17 results.

Not what you expected? Check for suggestions
Sort
Results
1.
2.
Foundations of intelligent systems : 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002 : proceedings / Mohand-Saïd Hacid [and others], eds. by Series: 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, ©2002
Online resources:
Availability: Items available for loan: e-Library (1).
3.
High performance computing : 4th International Symposium, ISHPC 2002, Kansai Science City, Japan, May 15-17, 2002 : proceedings / Hans P. Zima [and others], eds. by Series: Lecture notes in computer science ; 2327.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2002
Online resources:
Availability: Items available for loan: e-Library (1).
4.
Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 / M. Joseph, ed. by Series: Lecture notes in computer science ; 331.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1988
Online resources:
Availability: Items available for loan: e-Library (1).
5.
Methodologies for intelligent systems : 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993 : proceedings / J. Komorowski, Z.W. Raś (eds.). by Series: 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, ©1993
Other title:
  • ISMIS '93
Online resources:
Availability: Items available for loan: e-Library (1).
6.
High performance computing : third international symposium, ISHPC 2000, Tokyo, Japan, October 16-18, 2000 : proceedings / Mateo Valero [and others] (eds.). by Series: Lecture notes in computer science ; 1940.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2000
Online resources:
Availability: Items available for loan: e-Library (1).
7.
8.
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 Series: Lecture notes in computer science ; 1509.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 1999
Online resources:
Availability: Items available for loan: e-Library (1).
9.
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 Series: 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, ©1991
Online resources:
Availability: Items available for loan: e-Library (1).
10.
The grid [electronic resource] : blueprint for a new computing infrastructure / edited by Ian Foster, Carl Kesselman. by Series: The Elsevier series in grid computing
Edition: 2nd ed.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Amsterdam ; Boston : Morgan Kaufmann, c2004
Online resources:
Availability: Items available for loan: e-Library (1).
11.
Grid computing [electronic resource] : the savvy manager's guide / Pawel Plaszczak, Richard Wellner, Jr. by Series: The savvy manager's guides
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Amsterdam ; Boston : Elsevier/Morgan Kaufmann, c2006
Online resources:
Availability: Items available for loan: e-Library (1).
12.
Molecular computing / edited by Tanya Sienko [and others]. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, ©2003
Online resources:
Availability: Items available for loan: e-Library (1).
13.
Effective business intelligence systems / Robert J. Thierauf. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Westport, CT : Quorum Books, ©2001
Online resources:
Availability: Items available for loan: e-Library (1).
14.
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, ©1999
Online resources:
Availability: Items available for loan: e-Library (1).
15.
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, 1999
Online resources:
Availability: Items available for loan: e-Library (1).
16.
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, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
17.
Pages

Powered by Koha