Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

FB 4: Informatik

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2501
  • 0261/287-2502
Publikationen
Ergebnisse pro Seite:  10

Hampe, J. Felix

CTI-Lösungen im Überblick

Koblenz: IWI, Inst. für Wirtschaftsinformatik, Univ. 1995 16 S.


Baumgartner, Peter

Deduktion und Logisches Programmieren

Koblenz-Landau: Univ., Inst. f. Informatik 1995 11 S. (Fachberichte Informatik ; 17/95)


Zöbel, D.; Albrecht, Wolfgang

Echtzeitsysteme - Grundlagen und Techniken. Band 1

Bonn: International Thomson Publishing 1995


Huang, Xiandeng; Steigner, C.; Müller-Schloer, C.

Eine Spezifikationssprache zur modellgesteuerten Leistungsbewertung paralleler Programme

Müller-Schloer, C. (Hrsg). Tagungsband der 3. GI/ITG Fachtagung Arbeitsplatz-Rechensysteme: Anwendung, Betrieb und Architektur von Workstations. Hannover. 1995 S. 40-48


Von Kortzfleisch, Harald F. O.

Elektronischer Datenaustausch und Information Highways: Aktuelle Trends in den USA

AWV Arbeitsgemeinschaft für Wirtschaftliche Verwaltung (Hrsg). EDI-Guide: Teil 2. Technik - Recht - Organisation - case studies. Eschborn: Arbeitsgemeinschaft für Wirtschaftliche Verwaltung AWV 1995 S. 26 - 47


Denzler, Joachim; Heigl, Benno; Paulus, Dietrich

Farbsegmentierung für aktives Sehen

Volker Rehrmann (Hrsg). 1. Workshop Farbbildverarbeitung. Koblenz: Universität Koblenz-Landau, Institut für Informatik 1995 S. 9 - 12


Lemmer, Uwe; Steigner, C.; Dreschler-Fischer, L. et al.

Feature Structures for Representing and Deducing Visual Data

Dreschler-Fischer, L.; Pribbenow, S. (Hrsg). KI-95 Activities, 19. Conference on Artificial Intelligence, Bielefeld. Gesellschaft für Informatik 1995 S. 142-143


Mauthe, Andreas; Hutchison, David; Coulson, Geoff et al.

From requirements to services: a study on group communication support for distributed multimedia systems

Lancaster: Lancaster University, Computing Department 1995


Furbach, Ulrich

From Theorem Proving to Logic Programming

Andreas Krall; Ulrich Geske (Hrsg). 11. Workshop Logische Programmierung WLP 1995: Technische Universität Wien, 27.-29. September 1995, Proceedings. Sankt Augustin: GMD-Forschungszentrum Informationstechnik 1995 S. 59 - 62