Literatur im Fachgebiet Informatik Methode

Eine schlagwort­basierte Auswahl unserer Fachbücher

Wirtschaftlichkeitssteigerung im Ratenkreditgeschäft mit einer modellbasierten Personalbedarfsplanung (Dissertation)

Wirtschaftlichkeitssteigerung im Ratenkreditgeschäft mit einer modellbasierten Personalbedarfsplanung

Studien zur Wirtschaftsinformatik

Kreditinstitute weisen hohe Personalkosten und begrenzte Möglichkeiten kurzfristiger Personalbestandsanpassungen auf. Wirtschaftlichkeitsgründe erfordern eine möglichst genaue Personalbedarfsplanung. Im Ratenkreditgeschäft liegt die Herausforderung dabei in der Planungsunsicherheit, hervorgerufen durch Nachfrage,…

Bank Informatik Leistungen Modellierung Personal Personalbedarfsplanung Personalplanung Personalwirtschaft Prozesse Wirtschaftlichkeit Wirtschaftsinformatik
Supplier Relationship Risk Management (Doktorarbeit)

Supplier Relationship Risk Management

Risikomanagement bei der elektronisch gestützten Beschaffung

Studien zur Wirtschaftsinformatik

Mit dem in den letzten Jahren gestiegenen Bewusstsein über die Bedeutung der Beschaffung ist ein verstärkter Einsatz der IT in diesem Bereich zu erkennen gewesen. Die einzelnen dabei eingesetzten IT-Lösungen haben im Supplier Relationship Management einen konzeptionellen Rahmen gefunden. Neben den mit der Anwendung…

Beschaffung Betriebswirtschaftslehre E-Procurement Informatik Risikomanagement
Die Integration formaler Methoden zur Spezifikation von Informationssystemen (Forschungsarbeit)

Die Integration formaler Methoden zur Spezifikation von Informationssystemen

Studien zur Datenbankforschung

Informationssysteme sind komplexe Gebilde, die eine Vielzahl logischer Interdependenzen aufweisen. Der adäquate Umgang mit diesen logischen Abhängigkeiten ist für die Qualität des Endproduktes von entscheidender Bedeutung. Die Verwendung formaler Methoden, die auf der Mengenlehre und der Prädikatenlogik erster…

Informatik Informationssysteme Prädikatenlogik
Learning Search Heuristics for Automated Deduction (Forschungsarbeit)

Learning Search Heuristics for Automated Deduction

Forschungsergebnisse zur Informatik

Viele Probleme in der Informatik, speziell im Teilgebiet der Künstlichen Intelligenz (KI), werden mit Verfahren bearbeitet, die auf Suche basieren. Zu diesen Suchproblemen zählt auch die automatische Deduktion. Probleme aus diesem Bereich gehören zu den schwierigsten Suchproblemen. Gerade hier ist es unbestritten,…

Informatik Künstliche Intelligenz Maschinelles Lernen
Analogieschlüsse beim automatischen Beweisen (Forschungsarbeit)

Analogieschlüsse beim automatischen Beweisen

Forschungsergebnisse zur Informatik

Was macht den Menschen intelligenter als die Maschine?

Einer von vielen Gründen ist: der Mensch kann richtige Analogien erkennen und ausnützen und somit analoge Probleme ohne den analogen Aufwand lösen. Der Autor bezweckt, dieses Defizit aus Maschinensicht zu verringern. Hauptziel ist es, den sprachlichen…

Algorithmen Analogie Informatik Klassifikation Prädikatenlogik

Literatur: Methode / Eine Auswahl an Fachbüchern aus dem Verlag Dr. Kovač