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
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 VerifikationInformatikSimulationSystementwurfThe 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…
DatenabstraktionFachinformatikFormatbeschreibungssprachenInformatikKonvertierungLangzeitsicherungSoftwareProgrammieren 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ösungProgrammierProgrammiersprachenTemporal 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