FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Diller, Klaus Dieter
Subventionsberichterstattung der Bundesländer: HessenTrier: Univ., FB IV 1996 126 S. (Dokumentation des Schwerpunktes Finanzwissenschaft, Betriebswirtschaftliche Steuerlehre, Universität Trier, FB IV - VWL ; 10)
Diller, Klaus Dieter
Subventionsberichterstattung der Bundesländer: Nordrhein-WestfalenTrier: Univ., FB IV 1996 142 S. (Dokumentation des Schwerpunktes Finanzwissenschaft, Betriebswirtschaftliche Steuerlehre, Universität Trier, FB IV - VWL ; 12)
Steeples, Christine; Unsworth, Christopher; Bryson, Mark et al.
Technological support for teaching and learning: computer- mediated communications in higher education (CMC in HE)Computers & Education. Bd. 26. H. 1-3. Amsterdam: Elsevier 1996 S. 71 - 80
Steeples, Christine; Unsworth, Christopher; Bryson, Mark et al.
Technological support for teaching and learning: computer-mediated communications in higher education (CMC in HE)Michael R. Kibby;J.Roger Hartley (Hrsg). Computer Assisted Learning: Selected Contributions from the CAL 1995 Symposium: 10 - 13 April 1995; University of Cambridge. Oxford: Pergamon Press 1996 S. 71 - 80
Baumgartner, P.
Theory Reasoning in Connection Calculi and the Linearizing Completion Approach1996
Sofronie, Viorica
Towards a sheaf semantics for cooperating agents scenariosJacques Calmet; John A. Campbell; Jochen Pfalzgraf (Hrsg). Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings. Berlin: Springer 1996 S. 289 - 304
Ebert, J.; Gimnich, R.; Winter, Andreas et al.
Wartungsunterstützung in heterogenen Sprachumgebungen. Ein Überblick zum Projekt GUPROSoftwarewartung und Reengineering - Erfahrungen und Entwicklungen. Bd. Softwarewartung und Reengineering - Erfahrungen und Entwicklungen. Wiesbaden. 1996 S. 263-275
Hampe, Felix; Hampe, J. F.
Weitergehende CTI-DiensteVoiceCom ´96, Köln. 1996
Lautenbach, Kurt; Ridder, Hanno
A completion of the S-invariance technique by means of fixed point algorithmsKoblenz-Landau: Univ., Inst. f. Informatik 1995 43 S. (Fachberichte Informatik ; 10/95)
Baumgartner, Peter; Brüning, Stefan
A disjunctive positive refinement of model elimination and its application to subsumption deletionKoblenz-Landau: Univ., Inst. f. Informatik 1995 48 S. (Fachberichte Informatik ; 6/95)