Institut für Informatik Technische Universität MünchenHochschule und Universität, TUM, Logdatei..., Isabelle/HOL, Schwärtzel-Dissertationspreis, SPPEXA, Exascale, Algorithmen, Festrednerin, Plenarvortrag, ERC Adresse / Anfahrt c/o Technische Universität München Boltzmannstraße 3 85748 Garching b. MünchenDE 1 weitere Adresse 1x Adresse:Backhaushohl 2555128 Mainz Kontakt 14x Telefonnummer 6x Fax 14x E-Mail 24x Webadresse/Domain 26 Ansprechpartner/Personen Prof. Dr. Susanne AlbersProf. Dr.SusanneAlbers (Vorsitzende)Prof. Dr.-Ing. Georg CarleProf. Dr.-Ing.GeorgCarle (Inhaltlich verantwortlich)24 weitere Ansprechpartner Statistik mind. 26 Mitarbeiter Formell UstID+Steuernummer Marketing Adwords-Schaltung (08.07.2016) 1x Sonstige Domains Neu: Daten zu 3,6 Mio. deutschen Firmen exportieren + professionell nutzen