vum FAKULTAT FUR INFORMATIK DER TECHNISCHEN UNIVERSITAT MUNCHEN Bachelorarbeit in Informatik A Web Based Front End to Scenario Based Procurement with Quantity Rebates Philipp Reichart D vum FAKULTAT FUR INFORMATIK DER TECHNISCHEN UNIVERSITAT MUNCHEN Bachelorarbeit in Informatik A Web Based Front End to Scenario Based Procurement with Quantity Rebates Eine Web Basierte Schnittstelle zu Szenario Basierter Beschaffung mit Mengenrabatten Author Phili
vum FAKULTAT F R INFORMATIK DER TECHNISCHEN UNIVERSIT T M NCHEN Master s Thesis in Informatics A Visualization Toolkit for Simplifier Traces in Isabelle jEdit Lars Hupel D FAKULTAT F R INFORMATIK DER TECHNISCHEN UNIVERSIT T M NCHEN Master s Thesis in Informatics A Visualization Toolkit for Simplifier Traces in Isabelle jEdit Ein Visualisierungswerkzeug f r Simplifier Traces in Isabelle jEdit Author Lars Hupel Supervisor Prof Tobias Nipk
WM FAKULTAT FUR INFORMATIK DER TECHNISCHEN UNIVERSITAT MUNCHEN Master s Thesis in Informatics Leveraging Traceability between Code and Tasks for Code Reviews and Release anagement Jan Finis D FAKULTAT FUR INFORMATIK DER TECHNISCHEN UNIVERSITAT MUNCHEN Master s Thesis in Informatics Leveraging Traceability between Code and Tasks for Code Reviews and Release Management Einsatz von Nachvollziehbarkeit zwischen Quellcode und Aufgaben fiir Code Reviews