Publikationen der DHBW Karlsruhe

  • Erweiterte Suche öffnen

  • 1994

  • Vollmer, Jürgen (1994): Dataflow equations for parallel programs that share memory (echnical report. GMD ; 1101). Online verfügbar unter http://www.informatik-vollmer.de/publications/dfepp.pdf
  • 1993

  • Bauer, Michael; Klee, Wilfrid E. (1993): The monoclinic-hexagonal phase transition in chloraphatite. In: European Journal of Mineralogy 5 (2), S. 307-316. DOI: 10.1127/ejm/5/2/0307
  • Bauer, Michael; Klee, Wilfrid E. (1993): Induced ferrielectricity in chlorapatite. In: Zeitschrift für Kristallographie. Crystalline materials 206 (1), S. 15-24. DOI: 10.1524/zkri.1993.206.Part-1.15
  • Daniel, Manfred; Striebel, Dieter (1993): Künstliche Intelligenz, Expertensysteme. Anwendungsfelder, neue Dienste, soziale Folgen. Wiesbaden: VS Verlag für Sozialwissenschaften (Sozialverträgliche Technikgestaltung). Online verfügbar unter http://dx.doi.org/10.1007/978-3-322-94197-8
  • Daniel, Manfred; Fieguth, Gert (1993): Entwicklung von Methoden zur Ermittlung der Gestaltungsanforderungen an expertensystemgestützte Arbeitssysteme. Karlsruhe

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Daniel, Manfred; Fieguth, Gert (1993) : Computerunterstütztes Problemlösen und Verbesserung der Wissenskommunikation als humanorientierte Gestaltungsaufgaben In: Coy, Wolfgang; Gorny, Peter; Kopp, Ilona; Skarpelis, Constantin (Hg.): Menschengerechte Software als Wettbewerbsfaktor, 40: Wiesbaden: Vieweg+Teubner Verlag (Berichte des German Chapter of the ACM), S. 526-547
  • Hammer, Rolf; Neaga, Michael; Ratz, Dietmar (1993) : PASCAL-XSC - New Concepts for Scientific Computation and Numerical Data Processing In: Adams, Ernst; Kulisch, Ulrich (Hg.): Scientific Computing with Automatic Result: New York: Academic Press, S. 15-44

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Hammer, Rolf; Hocks, Matthias; Kulisch, Ulrich; Ratz, Dietmar (1993): Numerical Toolbox for Verified Computing I - Basic Numerical Problems.. Heidelberg, New York: Springer-Verlag

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Kruschwitz, Lutz; Decker, Rolf O. A.; Möbius, Christian (1993): Investitions- und Finanzplanung. Arbeitsbuch mit Aufgaben und Lösungen. Wiesbaden: Gabler Verlag. Online verfügbar unter http://dx.doi.org/10.1007/978-3-322-82527-8
  • Muthusamy, Yeshwant K.; Berkling, Kay; Arai, Takayuki; Cole, Ronald; Barnard, Etienne (1993) : A comparison of approaches to automatic language identification using telephone speech EUROSPEECH 1993, Berlin, Germany, September 22-25, 1993 In: International Speech Communication Association: European Conference on Speech Communication and Technology, 3: Eurospeech 1993: Berlin, Germany: International Speech Communication Association (ISCA) (Eurospeech). Online verfügbar unter http://www.isca-speech.org/archive/eurospeech_1993/e93_1307.html

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Seidel, Gabriele; Striebel, Dieter; Daniel, Manfred (1993) : Erfolgsfaktoren für die Anwendung lernförderlicher Expertensysteme In: Coy, Wolfgang; Gorny, Peter; Kopp, Ilona; Skarpelis, Constantin (Hg.): Menschengerechte Software als Wettbewerbsfaktor, 40: Wiesbaden: Vieweg+Teubner Verlag (Berichte des German Chapter of the ACM), S. 429-441
  • Vollmer, Jürgen (1993) : Die Programmiersprache Modula-P In: Baumann, Martin; Grebe, Reinhard (Hg.): Parallele Datenverarbeitung mit dem Transputer: 4. Transputer-Anwender-Treffen TAT ’92, Aachen, 22.-23. September 1992: Berlin; Heidelberg: Springer (Informatik aktuell), S. 114-115

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1992

  • Klatte, Rudi; Kulisch, Ulrich; Neaga, Michael; Ratz, Dietmar; Ullrich, Christian (1992): PASCAL XSC Language Reference with Examples. Heidelberg: Springer-Verlag

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Ratz, Dietmar (1992) : An Inclusion Algorithm for Global Optimization in a Portable PASCAL-XSC Implementation In: Herzberger, Jürgen; Atanassova, Lidiya (Hg.): Computer Arithmetic and Enclosure Methods: Elsevier; Amsterdam: North-Holland, S. 329-338

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Ratz, Dietmar (1992): Automatische Ergebnisverifikation bei globalen Optimierungsproblemen. Dissertation: Universität Karlsruhe (TH)
  • Vollmer, Jürgen; Hoffart, Ralf (1992) : Modula - P, a language for parallel programming: Definition and implementation on a transputer network In: Cordy, James R.; Barbacci, Mario (Hg.): Proceedings of the 1992 International Conference on Computer Languages ICCL'92: ICCL 92, Proceedings of the 1992 International Conference on Computer Languages: Oakland, California: 20-23 Apr 1992: IEEE Computer Society Press, S. 54-64. Online verfügbar unter http://www.informatik-vollmer.de/publications/mp-iccl-92.pdf

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen (1992) : Modula-P.. A language for parallel programming, and the implementation of its channel communication In: Gesellschaft für Informatik: PARS - Mitteilungen Nr. 10: GI Workshop Parallelrechner und Parallelsprachen, PARS 92: Schloss Dagstuhl, Germany: 26-28. Feb. 1992, S. 59-67. Online verfügbar unter http://www.informatik-vollmer.de/publications/mp-pars-92.pdf

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1991

  • Daniel, Manfred (1991) : Social Impact of Expert Systems Application in Enterprises In: Brunnstein et al.: Proceedings of the International IFIP-GI-Conference " Opportunities and Risks of Artificial Intelligence Systems" (ORAIS '89): Opportunities and Risks of Artificial Intelligence Systems: Hamburg: Universität Hamburg [University of Hamburg], S. 206-213

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Diehl-Becker, Angela (1991): Personal-Effectiveness-Trainings für Frauen. Theoretische Fundierung, Durchführung und Evaluierung anhand von Selbstkonzept-Daten. Zugl.: Mannheim, Univ., Diss., 1990. Göttingen: Hogrefe

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Hammer, Rolf; Neaga, Michael; Ratz, Dietmar; Shiriaev, D. (1991): PASCAL-XSC - A New Language for Scientific Computing. In: Interval Computations (2), S. 47-81

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Klatte, Rudi; Kulisch, Ulrich; Neaga, Michael; Ratz, Dietmar; Ullrich, Christian (1991): PASCAL XSC Sprachbeschreibung mit Beispielen. Heidelberg: Springer-Verlag
  • Vollmer, Jürgen (1991): The compiler construction system GENTLE. Mannual and tutorial (Arbeitsberichte der GMD). Online verfügbar unter http://www.informatik-vollmer.de/publications/gentle-manual.pdf

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen (1991) : Experiences with Gentle.. Efficient compiler construction based on logic programming In: Maluszynski, Jan; Wirsing, Martin (Hg.): Proceedings of the Third International Symposium on Programming Language Implementation and Logic Programming -- PliLP 1991: Third International Symposium on Programming Language Implementation and Logic Programming: Passau, Germany,: August 26-28, 1991. Online verfügbar unter http://www.informatik-vollmer.de/publications/misc.php

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen; Dietrich, Roland (1991) : Modula-P. Transputer-Netzwerkprogrammierung im Griff.: GMD-Jahresbericht 1991/1992. Gesellschaft für Mathematik und Datenverarbeitung mbH, Bonn: St. Augustin

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1990

  • Ratz, Dietmar (1990): The Effects of the Arithmetic of Vector Computers on Basic Numerical Methods. In: IMACS Annals on Computing and Applied Mathematics (7), S. 499-514

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML