4 Bücher 

Wissenschaftliche LiteratursprachenInformatik

Eine Auswahl unserer Fachbücher

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








Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Tagungsband)

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

MBMV 2012

Forschungsergebnisse zur Informatik

Der Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV 2012) ist bereits das fünfzehnte gemeinsame Treffen der Fachgruppen 3 und 4 der Kooperationsgemeinschaft "Rechnergestützter Schaltungs- und Systementwurf (RSS)" der Gesellschaft für Informatik…

BeschreibungssprachenCodesginElektro-/InformationstechnikFormale ModellierungFormale VerifikationInformatikSimulationSystementwurf
The eXtensible Characterisation Languages – XCL (Forschungsarbeit)

The eXtensible Characterisation Languages –
XCL

Kölner Beiträge zu einer geisteswissenschaftlichen Fachinformatik

Wenn Sie ein Office Dokument von Microsoft Word in ein PDF konvertieren, enthält es dann immer noch dieselbe Information? Wenn Sie ein Bild aus einem Format in ein anderes verwandeln, ist es immer noch dasselbe? Überraschenderweise gibt es heute noch keine technische Antwort auf diese Fragen: Der einzige Weg sie…

DatenabstraktionFachinformatikFormatbeschreibungssprachenInformatikKonvertierungLangzeitsicherungSoftware
Programmieren und Induktion (Forschungsarbeit)

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

AlgorithmenDidaktikInduktionInformatikInformatik-DidaktikModell ALIProblemlösungProgrammierProgrammiersprachen
Temporal Modeling in Relational Database-Systems (Forschungsarbeit)

Temporal Modeling in Relational Database-Systems

Studien zur Datenbankforschung

Die Fähigkeit der Modellierung von Zeitaspekten der Realwelt in Datenbanken ist seit längerer Zeit bereits als eine in vielen Anwendungen wichtige Eigenschaft eines Datenmodells erkannt worden. Zu einer solchen Modellierung gehört in jedem Falle auch eine entsprechende Anfragesprache, mit der man die in einer…

BenutzerDATALOGDatenbankDatenbanksprachenInformatikModellierung von ZeitaspektenRelational Database SystemsSprachkonzepteZeit