FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
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)
Garcia Garrido, J.L; Carneiro, R.; Fowell, Susan P. et al.
A educação do futuro. O futuro da educaçãoPorto: Ediçoes ASA 1995
Huang, X.; Steigner, C.
A model-driven tool for performance measurement and analysis of parallel programsLecture notes in computer science. Bd. 919. Berlin: Springer 1995 S. 612 - 617
Nolte, Doris; Priese, Lutz
Abstract fairness and semanticsKoblenz-Landau: Univ., Inst. f. Informatik 1995 16 S. (Fachberichte Informatik ; 16/95)
Riding, Phil; Fowell, Sue; Levy, Philippa
An action research approach to curriculum developmentInformation Research. Bd. 1. H. 1. Sheffield: University of Sheffield 1995 S. Keine Angaben
Stolzenburg, Frieder; Thomas, Bernd
Analysing rule sets for the calculation of banking fees by a theorem prover with constraintsKoblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. (Fachberichte Informatik ; 14/95)