Ausleih-Tool der FSMI

Sonstiges (SWT)

Teilgebiet SWT
Verfügbar 2061, 2062
Prüfungsarten Protokoll (23x)
Unbekannter Typ (5x)
Gedächtnisprotokoll (3x)
Klausur (2x)
Protokoll, Vertiefung (1x)
Klausur, Referenz (1x)
Datumsspanne 2005-03-07 bis 2018-04-19
Veranstaltungen Advanced Software Engineering (1x)
Build it, Break it, Fix it (1x)
Datenbanken und Informationssysteme (1x)
Datenbanken und Informationssysteme 2 (2x)
Deductive Verification (1x)
Designing Code Analyses for Large-Scale Software Systems (2x)
Fundamentals of Model-Driven Engineering (1x)
Generating Software from Specification (1x)
Grundlagen der Programmiersprachen (1x)
Grundlagen der Programmierung (1x)
Konfiguration und Diagnose (1x)
Logik und Deduktion (2x)
Logik und Semantik (1x)
Machine Learning 1 (1x)
Model Checking (1x)
Modellbasierte Softwareentwicklung (3x)
Objektorientierte Programmierung (2x)
Programmverifikation (1x)
Prolog (1x)
Propositional Proof Systems (2x)
Secure Software Engineering (1x)
Seminar Software Language Engineering (1x)
Seminar Verification of Partially Unknown Systems (1x)
Software Analysis (4x)
Software Quality Assurance (1x)
Softwareentwurf (3x)
Statistical Natural Language Processing (2x)
Web Engineering (1x)
Prüfer Anjorin (2x)
Becker (1x)
Bodden (3x)
Böttcher (3x)
Engels (5x)
Hüllermeier (1x)
Kastens (4x)
Kleine Büning (4x)
Ngonga Ngomo (2x)
Rooijen (1x)
Sauer (1x)
Schäfer (1x)
Sommer (1x)
Unbekannt (1x)
Wehrheim (8x)
Veranstaltungen Prüfer Prüfungsart Datum
Statistical Natural Language Processing Ngonga Ngomo Gedächtnisprotokoll 2018-04-19
Statistical Natural Language Processing Ngonga Ngomo Gedächtnisprotokoll 2018-04-03
Advanced Software Engineering Engels Protokoll 2018-04-01
Grundlagen der Programmierung Sommer Gedächtnisprotokoll 2018-02-12
Build it, Break it, Fix it Anjorin Protokoll 2017-09-12
Logik und Deduktion Rooijen Protokoll 2017-08-24
Secure Software Engineering Bodden Klausur 2017-03-02
Fundamentals of Model-Driven Engineering Anjorin Protokoll 2017-02-27
Software Analysis Wehrheim Protokoll 2017-02-09
Designing Code Analyses for Large-Scale Software Systems Bodden Protokoll 2016-08-18
Designing Code Analyses for Large-Scale Software Systems Bodden Protokoll 2016-08-18
Datenbanken und Informationssysteme Böttcher Protokoll 2015-09-01
Machine Learning 1; Propositional Proof Systems Hüllermeier; Kleine Büning Protokoll 2015-08-24
Softwareentwurf Engels; Sauer Protokoll 2015-05-06
Software Analysis Wehrheim Protokoll 2015-04-16
Software Analysis Wehrheim Protokoll 2015-04-16
Deductive Verification Wehrheim Protokoll 2015-03-05
Software Analysis Wehrheim Protokoll 2015-03-04
Modellbasierte Softwareentwicklung Becker Unbekannter Typ 2014-03-06
Konfiguration und Diagnose Kleine Büning Protokoll 2013-08-21
Propositional Proof Systems Kleine Büning Protokoll 2013-08-21
Logik und Deduktion Kleine Büning Protokoll 2013-03-22
Objektorientierte Programmierung Kastens Protokoll 2013-02-07
Grundlagen der Programmiersprachen Kastens Protokoll 2012-07-19
Datenbanken und Informationssysteme 2; Prolog Böttcher Protokoll 2012-06-01
Softwareentwurf Engels Klausur, Referenz 2012-02-10
Softwareentwurf Engels Klausur 2012-02-10
Generating Software from Specification Kastens Unbekannter Typ 2010-08-05
Model Checking; Seminar Verification of Partially Unknown Systems; Software Quality Assurance; Web Engineering Engels; Wehrheim Protokoll, Vertiefung 2010-03-02
Objektorientierte Programmierung; Seminar Software Language Engineering Kastens Unbekannter Typ 2010-02-22
Datenbanken und Informationssysteme 2 Böttcher Unbekannter Typ 2008-06-03
Logik und Semantik Wehrheim Unbekannter Typ 2007-05-10
Modellbasierte Softwareentwicklung Schäfer Protokoll 2007-03-02
Programmverifikation Wehrheim Protokoll 2007-02-14
Modellbasierte Softwareentwicklung Unbekannt Protokoll 2005-03-07