Universitätspublikationen
Refine
Year of publication
- 2015 (1742) (remove)
Document Type
- Article (606)
- Doctoral Thesis (187)
- Working Paper (169)
- Contribution to a Periodical (164)
- Book (159)
- Report (157)
- Part of Periodical (124)
- Review (70)
- Preprint (55)
- Conference Proceeding (22)
Language
- English (866)
- German (835)
- Spanish (14)
- Italian (11)
- Portuguese (11)
- French (3)
- Multiple languages (1)
- Russian (1)
Is part of the Bibliography
- no (1742)
Keywords
- Islamischer Staat (34)
- IS (25)
- Terrorismus (23)
- Deutschland (16)
- Dschihadismus (13)
- Syrien (12)
- Terror (11)
- Irak (10)
- Islamismus (10)
- Salafismus (10)
Institute
- Präsidium (336)
- Medizin (252)
- Gesellschaftswissenschaften (230)
- Physik (185)
- Wirtschaftswissenschaften (149)
- Exzellenzcluster Die Herausbildung normativer Ordnungen (116)
- Center for Financial Studies (CFS) (115)
- Biowissenschaften (99)
- Frankfurt Institute for Advanced Studies (FIAS) (97)
- Informatik (96)
Preise für Unternehmens-Gründer : INNOVATIONSFORUM prämiert die besten Startups des Goethe-Unibators
(2015)
Anlässlich des 4. INNOVATIONSFORUMs wurde der Goethe-Innovations-Preis an drei Startups des Unibators verliehen. Die Preise werden von der Vereinigung von Freunden und Förderern der Goethe-Universität aus dem Erlös der Veranstaltung gestiftet. Ein von Handelsblatt-Herausgeber Gabor Steingart moderiertes Podium mit vier Vorstandsvorsitzenden und rund 600 Gäste, darunter Vertreter der regionalen Wirtschaft und Studenten, waren der Rahmen für die Preisverleihung am 8. September 2015 auf dem Westend Campus. Dr. Friederike Lohse, stellvertretende Vorstandsvorsitzende der Freunde, und Universitätspräsidentin Prof. Birgitta Wolff gratulierten den Gewinnern.
Newsletter FamilyPlus 2/2015
(2015)
Contents:
Yuki Chiba, Santiago Escobar, Naoki Nishida, and David Sabel, and Manfred Schmidt-Schauß : Preface:
The Collection of all Abstracts of the Talks at WPTE 2015 xi
Brigitte Pientka : Mechanizing Meta-Theory in Beluga
Giulio Guerrieri : Head reduction and normalization in a call-by-value lambda-calculus
Adrián Palacios and Germán Vidal : Towards Modelling Actor-Based Concurrency in Term Rewriting
David Sabel and Manfred Schmidt-Schauß : Observing Success in the Pi-Calculus
Sjaak Smetsers, Ken Madlener, and Marko van Eekelen : Formalizing Bialgebraic Semantics in PVS 6.0
[Nachruf] Franz Josef Comes
(2015)