ACM SIGSOFT Workshop on Formal Methods in Software Practice

Einrichtung auswählen

1. Wählen Sie zunächst eine Gruppe von Einrichtungen aus: Deutschland     Hochschulbibliotheken     Staats- und Landesbibliotheken     Fraunhofer-Gesellschaft     Helmholtz-Gemeinschaft Österreich     Hochschulbibliotheken     andere Einrichtungen Schweiz     Hochschulbibliotheken
2. Wählen Sie danach die Einrichtung aus: Augsburg, Universitätsbibliothek Augsburg Bamberg, Universitätsbibliothek Bamberg Bonn, Universitäts- und Landesbibliothek Bonn Coburg, Bibliothek der HS Coburg Essen, FOM Hochschule für Oekonomie & Management Hamburg, Universitätsbibliothek Technische Universität Hamburg Karlsruhe, Hochschule Karlsruhe - HKA ..................Karlsruher Institut für Technologie KIT Mannheim, Universitätsbibliothek Mannheim München, Technische Universität München – Universitätsbibliothek ..............Universität der Bundeswehr München Regensburg, Universitätsbibliothek Regensburg Trier, Universitätsbibliothek Trier Ulm, Universität Ulm / Kommunikations- und Informationszentrum (kiz) Weimar, Universitätsbibliothek der Bauhaus-Universität Weimar ______________________________________________________

3. Bitte wählen Sie eine Bibliothek aus, um zu prüfen, ob der von Ihnen gesuchte Jahrgang dort lizenziert ist.