33 Bücher 

Programmierung

Wissenschaftliche Fachliteratur

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

Seitenkopf
Buchcover: Computergestützte Stichprobenverfahren

Peer Schwieren

Computergestützte Stichprobenverfahren

Objektorientierte Programmierung der Gebundenen Hochrechnung bei Geschichteten Stichproben

Schriftenreihe innovative betriebswirtschaftliche Forschung und Praxis

Stichprobenverfahren werden in weiten Gebieten der Wissenschaft angewendet. Die Gründe hierfür sind unbestritten. Stichprobenerhebungen sind kostengünstiger und die Verarbeitung der erhobenen Daten erfordert weniger Zeit als bei Vollerhebungen. Gegenüber diesen Vorteilen ist jedoch einzuräumen, dass bei einer Stichprobenerhebung immer auch die […]


Buchcover: Minimale spannende Aborescencen mit Zeitfenstern

Manuel Castaneda-Falcon

Minimale spannende Aborescencen mit Zeitfenstern

Heuristische Verfahren und untere Schranken

Schriftenreihe naturwissenschaftliche Forschungsergebnisse

In dieser Arbeit werden Verfahren vorgestellt, um Schranken für die Gesamtsumme der Kantenbewertungen eines MSAZF (minimaler spannender Arborescence mit Zeitfenstern) zu bestimmen: Ein heuristisches Verfahren und Verfahren zur Bestimmung von unteren Schranken.

Zuerst werden die für diese Arbeit notwendigen Grunddefinitionen bei […]


Buchcover: Softwareerstellung als Projekt

Silke Naus

Softwareerstellung als Projekt

Schriften zum Medienrecht

Die Zusammenarbeit zweier Unternehmen bei der Programmierung von Software muss in juristischer Hinsicht umfassend vorbereitet und strukturiert werden. Die vertragliche Konzeption kann im Wege eines Projektes erfolgen, in dem die Beziehungen der Parteien zueinander geregelt werden. Die Besonderheiten der gemeinschaftlichen Arbeitsweise bestehen […]


Buchcover: Berücksichtigung ökologischer Qualität in der Produktentwicklung

Astrid Liefländer

Berücksichtigung ökologischer Qualität in der Produktentwicklung

Ein integrierter Planungsansatz

Qualitätsmanagement

Klimaveränderungen und übermäßiger Ressourcenverbrauch als Folge wirtschaftlicher Aktivitäten haben deutlich werden lassen, dass auf Dauer ökologische Aspekte in der Ökonomie berücksichtigt werden müssen. Gleichzeitig wollen die meisten Menschen aber nicht auf ihren erreichten Lebensstandard verzichten. Im Lichte dieses Spannungsverhältnisses […]


Buchcover: Statistische Programmanalyse zur Unterstützung der Wartung objektorientierter Applikationen

Jinhua Li

Statistische Programmanalyse zur Unterstützung der Wartung objektorientierter Applikationen

Forschungsergebnisse zur Informatik

Heute stellen Softwaresysteme in vielen Unternehmen beachtliche Vermögenswerte dar. Ihre Funktionen sind unverzichtbar für betriebliche Abläufe. Neuentwicklung und Ablösung bestehender Software würde größere Risiken mit sich bringen, als die Wartung bestehender Software. Diese Situation macht eine verbesserte Unterstützung der Softwarewartung […]


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

Peter E. H. Hofmann

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 […]


Buchcover: Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen

Marion Kremer

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 […]


Buchcover: Betriebsaufgabe und Rückzugsstrategien in der Landwirtschaft

Claudia Oertel

Betriebsaufgabe und Rückzugsstrategien in der Landwirtschaft

Schriftenreihe agrarwissenschaftliche Forschungsergebnisse

Agrarstruktureller Wandel und fortlaufender Anpassungsdruck auf die landwirtschaftlichen Unternehmen rücken die Betriebsaufgabe bzw. den sukzessiven Rückzug aus der landwirtschaftlichen Produktion als eine Option für die Betriebsplanung immer stärker in den Vordergrund. Die vorliegende Arbeit enthält sowohl einen inhaltlichen Überblick über die […]


Buchcover: Rechtwinkliges Layout von hierarchisch strukturierten Graphen

Timo Hickl

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, […]


Buchcover: Programmieren und Induktion

Lorenz Hilty

Programmieren und Induktion

Untersuchungen zur kognitiven Modellierung des Algorithmen-Entwurfs

Forschungsergebnisse der Programmentwicklung

Immer mehr Schüler und Studenten sind heute mit den Grundlagen der Computerprogrammierung vertraut. Noch ist kaum erforscht, wie das Erlernen von Programmiersprachen sich auf Problemlösefähigkeiten auswirkt, und auf welche Weise Programmierer von einer Problemstellung zu einem Algorithmus gelangen.

Dieses Buch geht von der These aus, […]