Your search returned 16 results.

Sort
Results
1.
Software engineering and human-computer interaction : ICSE '94 Workshop on SE-HCI: Joint Research Issues, Sorrento, Italy, May 16-17, 1994 : proceedings / Richard N. Taylor, Joëlle Coutaz, eds. by Series: Lecture notes in computer science ; 896
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 1995
Availability: Items available for loan: Education Library Collection (1)Call number: QA 76.758 .I3 1994. Informatics and Virtual Education Library Collection (1)Call number: QA76.758 .I3 1994.

2.
Compiler construction : 5th International Conference, CC '94, Edinburgh, U.K., April 7-9, 1994 : proceedings / Peter A. Fritzson, (ed.). by Series: Lecture notes in computer science ; 786
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1994
Online access:
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.76.C65 I52 1994.

3.
A methodology for uncertainty in knowledge-based systems / Kurt Weichselberger, Sigrid Pöhlmann. by Series: Lecture notes in computer science ; 419. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1990
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.76.E95 W44 1990.

4.
Global optimization / Aimo Törn, Antanas Žilinskas. by Series: Lecture notes in computer science ; 350
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1989
Availability: Items available for loan: Informatics and Virtual Education Library Collection (2)Call number: QA402.5 .T685 1989, ...

5.
Formal syntax and semantics of Java / Jim Alves-Foss (ed.). by Series: Lecture notes in computer science ; 1523
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1999
Online access:
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.73.J38 F67 1999.

6.
Active, real-time, and temporal database systems : second international workshop, ARTDB '97, Como, Italy, September 8-9, 1997 ; proceedings / Sten F. Andler, Jörgen Hansson (eds.). by Series: Lecture notes in computer science ; 1553
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1998
Online access:
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.54 .A33 1998.

7.
Applied parallel computing : computations in physics, chemistry, and engineering science : second international workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995 : proceedings / Jack Dongarra, Kaj Madsen, Jerzy Waśniewski, eds. by Series: Lecture notes in computer science ; 1041
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1996
Online access:
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.58 .P35 1995.

8.
Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings / Bengt Jonsson, Joachim Parrow, eds. by Series: Lecture notes in computer science ; 1135
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1996
Online access:
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.54 .F657 1996.

9.
Compiler construction : 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996 : proceedings / Tibor Gyimóthy, ed. by Series: Lecture notes in computer science ; 1060
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1996
Online access:
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.76.C65 I52 1996.

10.
Digital cities : technologies, experiences, and future perspectives / Toru Ishida, Katherine Isbister (eds.). by Series: Lecture notes in computer science ; 1765
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c2000
Online access:
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: TK5105.83 .D54 2000.

11.
Grid computing--GRID 2001 : second international workshop, Denver, CO, USA, November 12, 2001 : proceedings / Craig A. Lee (ed.) by Series: Lecture notes in computer science ; 2242
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : New York : Springer, c2001
Other title:
  • GRID 2001
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.9.C58 G74 2001.

12.
Software engineering--ESEC/FSE '99 : 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 : proceedings / Oscar Nierstrasz, Michel Lemoine (eds.). by Series: Lecture notes in computer science ; 1687
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : New York : Springer, 1999
Online access:
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.758 .E97 1999.

13.
Semantics in databases / Bernhard Thalheim, Leonid Libkin (eds.). by Series: Lecture notes in computer science ; 1358
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1998
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.9.D3 S438 1998.

14.
Algorithms and computation : 8th International Symposium, ISAAC '97, Singapore, December 17-19, 1997 : proceedings / Hon Wai Leong, Hiroshi Imai, Sanjay Jain (eds.). by Series: Lecture notes in computer science ; 1350.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 1997
Availability: Items available for loan: Education Library Collection (1)Call number: QA 76.9 .A44 1997.

15.
Coordination technology for collaborative applications : organizations, processes, and agents / Wolfram Conen, Gustaf Neumann (eds.). by Series: Lecture notes in computer science ; 1364
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1998
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.76.D47 C667 1998.

16.
Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings / edited by E. Knuth and E.J. Neuhold. by Series: Lecture notes in computer science ; 152
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 1983
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA 76.6 .C646 1983.

Pages
© The University of Dodoma 2020