Awada Habib

Treffer aus Sozialen Netzen

Habib Awada

München
Mehr

Treffer im Web

Automatisches Beweisen ? Theoretische Informatik

Bearbeitet von: Habib Awada Betreuer: M. Hofmann Kombination von Theorien: Nelson-Oppen-Prozedur Bearbeitet von: Aigerim Zhuankhan Betreuer: M. Hofmann SMT

Proseminar Medieninformatik - Medieninformatik

Habib Awada Guidance Systems: Scripting Collaborative Learning Natalya Vagner Abgabe der schriftlichen Ausarbeitung (kein Treffen) ? Impressum ? Datenschutz

Mitglieder | Fachschaft Medieninformatik

Habib Awada (2011-2014) Oliver Baumann (2012-2014) Michelle Lemme (2012-2014) Martin Gross (2013-2014) Patrick Proppe (2011-2013) Karsten Bänder (2011-2013)