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.

Kommunikation und Synchronisation multimedialer Datenströme in verteilten Systemen (Forschungsarbeit)Zum Shop

Kommunikation und Synchronisation multimedialer Datenströme in verteilten Systemen

Forschungsergebnisse zur Informatik

Durch Fortschritte in der Kommunikations- und Computertechnik wird die Einbeziehung von Audio- und Videodaten in Computeranwendungen möglich. Beispiele hierfür sind Telekonferenzanwendungen am Arbeitsplatz oder die Verarbeitung von digitalem Filmmaterial in Studios. Der Entwurf und die Implementierung solcher Anwendungen sind wegen der zeitlichen Eigenschaften der Daten jedoch schwierig und zeitaufwendig.

Unterstützung für den Entwurf und die Laufzeitsteuerung…

ASPDienstprogrammEDVInformatikMultimediaSchnittstelleSychronisationSystem
Neuronale Netze in Planung und Optimierung von mobilen Kommunikationssystemen (Forschungsarbeit)Zum Shop

Neuronale Netze in Planung und Optimierung von mobilen Kommunikationssystemen

Forschungsergebnisse zur Informatik

Thema des Buches ist die Anwendung neuronaler Netze auf Planungsprobleme mobiler Kommunikationssysteme. Deren Planung ist dadurch gekennzeichnet, daß aufgrund von Erfahrungswerten und Expertenwissen bislang nur Speziallösungen für Mobilfunksysteme gefunden werden. Der Autor zeigt die Grundlagen der mobilen Kommunikation wie auch deren Problematik eingehend auf. Die unter dem Begriff „neuronale Netze“ bekanntgewordenen „intelligenten“ Verfahren lehnen sich in ihrem Aufbau…

InformatikKommunikationssystemeMobilNetzNeuronalOptimierungPlanung
Planung und Durchführung methodischer Entwurfsaktivitäten (Forschungsarbeit)Zum Shop

Planung und Durchführung methodischer Entwurfsaktivitäten

Forschungsergebnisse zur Informatik

Für den Entwurf integrierter Schaltungen steht eine Vielzahl hochentwickelter rechnergestützter Werkzeuge auf der Basis integrierter Entwurfsumgebungen zur Verfügung. Trotzdem ist auch der rechnergestützte Schaltungsentwurf nicht frei von Problemen.

Einerseits hat die Komplexität integrierter Schaltungen aufgrund ständiger technologischer Verbesserungen drastisch zugenommen, so dass mit der Entwicklung einer einzelnen Schaltung Gruppen von Entwerfern befasst sind,…

EntwurfsablaufEntwurfsprojektEntwurfsumgebungInformatikintegrierte SchaltungPlanungProjektdurchführungrechnergestütztSchaltungsentwurf
Spieltheoretische Untersuchung von Problemen der Datenverifikation (Forschungsarbeit)Zum Shop

Spieltheoretische Untersuchung von Problemen der Datenverifikation

Forschungsergebnisse zur Informatik

Ein Datenverifikationsproblem im Sinne der vorliegenden Arbeit ergibt sich aus der folgenden Situation: Eine Vertragspartei (der Inspizierte) verpflichtet sich aufgrund festgelegter Vereinbarungen zu legalem, d.h. zu vertragskonformem Verhalten und berichtet Daten, die dieses legale Verhalten bestätigen sollen. Eine Überwachungsbehörde (der Inspektor) verifiziert diese Daten mit Hilfe unabhängiger Beobachtungen und hat daraufhin zu entscheiden, ob sich der Inspizierte…

DatenverifikationEDVFixpunktInformatikMaterialbilanzNashNeyman-Pearson-TestSpieltheorieStatistische Fehler
Mehrstufige sequentielle Inspektionsspiele mit statistischen Fehlern erster und zweiter Art (Forschungsarbeit)Zum Shop

Mehrstufige sequentielle Inspektionsspiele mit statistischen Fehlern erster und zweiter Art

Forschungsergebnisse zur Informatik

In dieser Arbeit werden Überwachungssituationen im Rahmen von vertraglichen Vereinbarungen zwischen einem Inspektor und einem Inspizierten als Inspektionsspiele modelliert und analysiert. Typische Anwendungsmöglichkeiten in der Praxis liegen u.a. im Bereich der Kernmaterialbilanzierung, der Abrüstungskontrolle, der Überwachung von Industrieschadstoffen in der Umwelt und der Buch- und Steuerprüfung.

Inspektionsspiele sind durch eine gewisse Asymmetrie…

GleichgewichtInformatikInspektionsspielKonfliktsituationNashSpieltheorieStatistische FehlerStrategie
Ein Modell für CAD-Entwurfsumgebungen (Forschungsarbeit)Zum Shop

Ein Modell für CAD-Entwurfsumgebungen

Beschreibung und Formalisierung wesentlicher Konzepte auf der Basis von Hypermedia

Forschungsergebnisse zur Informatik

Dieses Buch präsentiert ein formales Modell zur Verwaltung der Entwurfsdaten mikroelektronischer Systeme. Das vorgestellte Modell kann als Grundlage für die Entwicklung von Frameworks und Entwicklungsumgebungen verwendet werden. Im Gegensatz zu anderen Ansätzen bestimmen die Bedürfnisse von Benutzern die Beschreibung. Wartung und Wiederverwendung mikroelektronischer Systeme stellen dabei den Schlüssel für die Effizienz zukünftiger Entwurfsprozesse dar. [...]

CADCFIEntwurfsumgebungFrameworkHypermediaInformatikKonfigurationskonzeptVDMVHDL
Rechtwinkliges Layout von hierarchisch strukturierten Graphen (Forschungsarbeit)Zum Shop

Rechtwinkliges Layout von hierarchisch strukturierten Graphen

Forschungsergebnisse zur Informatik

Zunächst führt Hickl in alle graphentheoretischen und geometrischen Begriffe ein, die zur Beschreibung des Ansatzes nötig sind. Sodann befaßt er sich mit Graph–Grammatiken, insbesondere mit Ableitungen in Graph–Grammatiken, der Sprache einer Graph–Grammatik und speziellen Eigenschaften von Ableitungen und Graph–Sprachen, die zur Klassifikation der nachfolgenden Layout–Probleme herangezogen werden. [...]

Informatik
Ein regelbasierter Testdatengenerator für das Rapid Prototyping von Datenbankanwendungen (Forschungsarbeit)Zum Shop

Ein regelbasierter Testdatengenerator für das Rapid Prototyping von Datenbankanwendungen

Studien zur Datenbankforschung

Die Unterstützung der Analysephase mittels Rapid Prototyping ist charakterisiert durch die Erstellung von Prototypen, die Aufschluss über nur vage vorhandene Vorstellungen über das zu erstellende Endprodukt geben sollen. Wesentlich bei dieser Vorgehensweise ist die Einbeziehung des Endbenutzers, der durch Beurteilung des Systemverhaltens das Design der nachfolgenden Implementierung beeinflusst. Voraussetzung hierfür ist jedoch, dass die implementierten Funktionen des…

Datenbankexploratives PrototypingInformatikrapid prototypingregelbasierterSoftwareentwicklungTestdatengenerator
Plattformübergreifende Konstruktion graphischer Benutzeroberflächen (Forschungsarbeit)Zum Shop

Plattformübergreifende Konstruktion graphischer Benutzeroberflächen

Forschungsergebnisse der Programmentwicklung

Beim Entwurf graphischer Benutzeroberflächen lassen sich drei wesentliche Problembereiche unterscheiden: Fenstersysteme, Entwurfswerkzeuge und Entwurfsmethoden. Fenstersysteme bilden die Grundlage von graphischen Benutzeroberflächen. Dabei kommen häufig Toolkits mit vorgefertigten Oberflächenelementen zum Einsatz, die in Form von Bibliotheken bereitgestellt werden. Selbst unter Verwendung solcher Toolkits gestaltet sich der Entwurfsprozess äußerst kompliziert. Daher…

BenutzeroberflächeEntwurfswerkzeugeEntwurfsystemeFenstersystemeInformatikPortierungTools
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache (Forschungsarbeit)Zum Shop

Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache

Forschungsergebnisse der Programmentwicklung

Diese Arbeit beschäftigt sich mit der compilergestützten Parallelisierung der funktionallogischen Programmiersprache BABEL. Hiebei werden unter Berücksichtigung der verwendeten Auswertungsstrategie im Parallelisierungsprozess sich gegenseitig nicht-beeinflussende Ausdrücke durch Datenflussanalysemethoden und Programmtransformation approximativ bestimmt und zugehörige Annotationen in das zu übersetzende Quellprogramm eingebettet. [...]

BABELCompilercompilergestütztDatenflussInformatikParallelisierungsprozessPrallelisierungProgrammierspracheProgrammtransformation