232 Bücher 

Wissenschaftliche Literatur Informationswissenschaft

Eine Auswahl unserer Fachbücher

Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.

Entwicklung objektorientierter Konzepte zur Erstellung paralleler und verteilter Systeme des rechnergestützten Schaltungsentwurfs (Forschungsarbeit)Zum Shop

Entwicklung objektorientierter Konzepte zur Erstellung paralleler und verteilter Systeme des rechnergestützten Schaltungsentwurfs

Forschungsergebnisse der Programmentwicklung

Der rechnergestützte Entwurf von integrierten Schaltungen muss vor allem die ständige Weiterentwicklung der Schaltkreistechnologie berücksichtigen. Durch immer feinere Strukturgrößen bei gleichzeitig zunehmender Chipfläche wurde es möglich, immer umfassendere und komplexere Schaltungen auf einem Chip zu integrieren. Bei diesem Prozess spielen die Entwurfswerkzeuge eine zentrale Rolle; ohne ihre Unterstützung wäre die Entwicklung höchstintegrierter Schaltungen nicht…

CAD-VerfahrenCAD-WerkzeugeInformatikNebenläufige ProgrammierungParallele SystemeSchaltungsentwurfVerteilte SystemeWorkstationcluster
Ein Modell für Informationssuchsysteme im medizinischen Umfeld (Forschungsarbeit)Zum Shop

Ein Modell für Informationssuchsysteme im medizinischen Umfeld

Forschungsergebnisse der Programmentwicklung

Medizinische Information ist eine unverzichtbare Voraussetzung ärztlicher und pflegerischer Handlungen. Allerdings ist in einer Domäne wie der Medizin, die durch eine anwachsende Zahl autonomer, dezentraler und hinsichtlich ihrer Terminologien, Interaktionsschnittstellen und inhaltlichen Orientierung hochgradig heterogener Informationsquellen gekennzeichnet ist, die Suche nach der jeweils behandlungsrelevanten medizinischen Information eine Aufgabe mit vielen Barrieren.…

computergestütze InformationssucheInformatikInformation RetrievalInformationsangebotsmodellierungInformationsbedarfsmodellierungmedizinisches InformationssuchsystemMISSModelle für Informationssuchsysteme
Ein Modell zur Repräsentation binokularer Information (Forschungsarbeit)Zum Shop

Ein Modell zur Repräsentation binokularer Information

Forschungsergebnisse der Programmentwicklung

In dieser Arbeit werden zweidimensionale Repräsentationen binokularer Informationen erzeugt und untersucht. Sie werden nach Prinzipien organisiert, die bei der frühen visuellen Informationsverarbeitung im Cortex gefunden werden. Die Erzeugung künstlicher neuronaler Karten ermöglicht einerseits den qualitativen Vergleich mit biologisch gemessenen Karten und andererseits die Untersuchung, inwieweit ihre Verwendung in technischen Systemen zur Lösung von…

binokulare Informationcortikale Strukturenhochdimensionale EingangssignaleInformatikKohonenneuronale KartenOkulardominanzstreifenSelbstorganisationStereosehen
Fehlertolerantes Workflow-Management (Forschungsarbeit)Zum Shop

Fehlertolerantes Workflow-Management

Eine Architektur für die zuverlässige Ausführung verteilter Geschäftsprozesse

Studien zur Wirtschaftsinformatik

Gegenstand dieser Arbeit ist die zuverlässige Ausführung von langandauernden Geschäftsprozessen auf Datenbanken und anderen gemeinsam genutzten Ressourcen. Bei komplexen Produkten kann sich beispielsweise der Prozess Auftragsabwicklung von der Anfrage eines Kunden über die Angebotserstellung, Vorbereitung und Durchführung der Fertigung, bis zur Auslieferung und vollständigen Bezahlung leicht über mehrere Wochen oder Monate hinziehen. An seiner Ausführung sind eine…

Business Workflow ManagerConTractDatenbank-TransaktionenErweiterte TransaktionssystemeInformatikTransaktionales Workflow-ManagementVerteilte AnwendungVerteilte SystemeWorkflow
Spieltheoretische Modelle zur Optimierung von stichprobenartigen Vor-Ort-Inspektionen (Forschungsarbeit)Zum Shop

Spieltheoretische Modelle zur Optimierung von stichprobenartigen Vor-Ort-Inspektionen

Studien zur Wirtschaftsinformatik

Vertraglich geregelte Vereinbarungen ziehen die Notwendigkeit einer Verifikation der Einhaltung aller hierdurch von den beteiligten Parteien eingegangenen Verpflichtungen nach sich. Ausschließlich mit Hilfe einer formalen Verifikationsmethode als quantitativer Basis ist die Analyse optimaler Inspektionsverfahren und die damit einhergehende Demonstration von Glaubwürdigkeit realisierbar. Neben der Aufdeckung vertragswidrigen Verhaltens steht hierbei die Abschreckung von…

EinhaltungInformatikInspektionnichtkooperative SpieleOptimierungSpieltheorieVerifikationVertragvertragswidriges Verhalten
Integration von Erlösinformationen in computergestützte Konstruktion industrieller Erzeugnisse bei der Nutzung von CIM-Technologien (Forschungsarbeit)Zum Shop

Integration von Erlösinformationen in computergestützte Konstruktion industrieller Erzeugnisse bei der Nutzung von CIM-Technologien

Studien zur Wirtschaftsinformatik

In einer Situation zunehmenden globalen Konkurrenzdrucks und schrumpfender Märkte ist die ständige Neugestaltung des Leistungsprogramms zur Existenzsicherung der Unternehmen unumgänglich. Dieser Innovationswettbewerb erfordert eine frühzeitige umfassende ökonomische Beurteilung einzelner Produktlösungen. Neben den Kosten müssen auch die potentiellen Erlöse (Preise) konstruktionsbegleitend in die Untersuchung einbezogen werden. Da in der Einzelfertigung der…

CIM-TechnologieComputergestütztComputertechnologieConjoint-MeasurementErlösermittlungErlösinformationErlösrechnungIndustrielle ErzeugnisseInformatik
Evaluation hypertextbasierter Lernumgebungen (Forschungsarbeit)Zum Shop

Evaluation hypertextbasierter Lernumgebungen

Anforderungsanalyse, theoretisches Modell und exemplarische Umsetzung

Studien zur Wirtschaftsinformatik

Moderne Informations- und Kommunikationstechnologien verändern in Kombination mit neuen lern- und motivationstheoretischen Erkenntnissen immer stärker die Praxis des Lernens. Traditionelle Formen der Wissensvermittlung werden durch computer- und telekommunikationsunterstützte Formen unterstützt und teilweise sogar ersetzt. Eine besondere Rolle spielen in diesem Zusammenhang hypertextbasierte Lernumgebungen, die auf neuen Paradigmen des Lernens aufbauen und mit…

computerunterstützes LernenEvaluationHypertextInformatikInvestitionsrechnungLernsoftwareLernumgebung
Pfadanalyse stochastischer Netzwerke (Forschungsarbeit)Zum Shop

Pfadanalyse stochastischer Netzwerke

Forschungsergebnisse zur Informatik

Viele reale Systeme wie z.B. Kommunikationsnetze, Fertigungs– oder Rechnersysteme, lassen sich durch stochastische Netzwerke beschreiben. Darunter versteht man ein System miteinander verbundener Stationen. Entlang der Verbindungen zwischen den Stationen bewegen sich Einheiten, auch als Kunden bezeichnet, durch das Netz und erfahren an den Stationen, die als Bedienstationen bzw. Bediener bezeichnet werden, zeitliche Verzögerung. Ein stochastisches Netz wird auch…

FertigungssystemeInformatikKommunikationKommunikationsnetzePfadanalyseRechnersystemeStochastische Netzwerke
Synthese assoziativer Steuerwerke (Forschungsarbeit)Zum Shop

Synthese assoziativer Steuerwerke

Forschungsergebnisse zur Informatik

Mit Ausweitung der Forschungs- und Entwicklungstätigkeiten auf dem Arbeitsgebiet der Schaltungssynthese auf höhere Abstraktionsebenen gewannen in jüngster Zeit die in diesen Zusammenhängen auftauchenden Fragestellungen und Vorgehensweisen zunehmend Einfluss auf die Steuerwerkssynthese. So stellen insbesondere die Optimierungsprobleme der Zerlegung eines Steuerwerks in mehrere untereinander kommunizierende Steuerwerke und der Bestimmung einer individuellen Zielarchitektur…

assoziativer Festwertspeicher MMPLAAssoziativspeicherCosytaInformatikintergrierte SchaltungSteuerwerkssynthese
Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen (Forschungsarbeit)Zum Shop

Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen

Forschungsergebnisse zur Informatik

Da Software in zunehmendem Maße auch in sicherheitsrelevanten Anwendungen eingesetzt wird, steigt der Bedarf an Software-Prüfung, die über das Testen hinausgeht. In dieser Arbeit wird ein System zur Prüfung von mit Zusicherungen angereicherten Programmen entwickelt, dessen Kern konstant ist und bei dem die sprachspezifischen Anteile aus der für die Erstellung eines Compilers vorhandenen Sprachbeschreibung generiert werden können. Die Grundidee für ein solches System…

InformatikLambdaProgrammierungQualitätssicherungSemantikbeschreibungSoftwaresprachunabhängiges VerifikationsystemZielsprache