Skip to main content Skip to footer
Deutsch Login

Vorlesungsverzeichnis

Stud.IP

Bibliothek

DFG

Petri Nets 2017

Model Checking Contest @ Petri Nets

Universität Rostock
Theoretische Informatik
  • Team
    • Portalseite Lehre
    • Lehrveranstaltungen
    • Studentische Arbeiten
    • Absolventen
      • Dissertationen
      • Diplomarbeiten
      • Masterarbeiten
      • Bachelorarbeiten
      • Hausarbeiten
      • Studienarbeiten
    • Didaktisches Kabinett
    • Forschungsziele
    • Projekte
    • Publikationen
    • Werkzeuge
    • Tools
      • Tool Listing
  • Institut für Informatik
  • Startseite
  • Suche
Reset

4861 Results:

  1. 1827-1918

    des 18. Jahrhunderts. In: Wissenschaftliche Zeitschrift der Universität Rostock, G-Reihe 19 (1970), 5, S. 355-375. Uerckwitz, Jürgen: Die Geschichte des Hygiene-Institutes der Universität Rostock, Diss [...] Entwicklung der Botanik in Rostock. In: Wissenschaftliche Zeitschrift der Universität Rostock, 17 (1968), 4/5, S. 263-275. Strahl, Antje: Rostock im Ersten Weltkrieg. Bildung, Kultur und Alltag in einer Seestadt

    https://www.uni-rostock.de/en/university/history/history/chronicle/epochs/1827-1918/

  2. 1946 bis 1990

    Lothar : Allgemeine Kriterien zur Maßbestimmung linearer Punktmengen. (Holzer, Kochendörffer). 1955. A 5 Hiller, Fritz: Selbstadjungierte Eigenwertprobleme in Abhängigkeit von einem Parameter. (Holzer, Schmidt) [...] mit Gewichtsfunktion. (Fenyö, Pietsch/Jena). 1970. 1970-19978 Lektor Sektion Mathematik U Rostock. * 5.2.1939 Jena, † 21.8.1999. A 18 Hackmann, Wolfgang: Abbildung der kubischen Flächen auf eine abstrakte

    https://www.mathematik.uni-rostock.de/en/unser-institut/informationen/historie/promotionen-und-weitere-doktorwuerden/promotionen/promotionsgebiet-mathematik/1946-bis-1990/

  3. C++

    s 2d. Der Schwingkreis in C++ 2e. Operator and Method Overloading 3. Events 4. Call-Back Functions 5. Tutorial Part 1 6. Tutorial Part 2 7. Your Own Widgets 8. Timer Objects 9. The Make Tool 10. A Simple [...] tutorials Qt’s implementation of signals & slots: the meta object compiler (MOC) Working on Exercises 5 and 6 November: 20. 11. 2018: Lecture and Exercise/Laboratory November: 20. 11. 2018: Lecture and E

    https://www.imd.uni-rostock.de/en/team/mitarbeitende/persoenliche-seiten/ralf-salomon/ehemalige-lehrveranstaltungen/c/

  4. Kuhnt - Anne-Kristin

    (2020): Partnership Living Arrangements of Immigrants and Natives in Germany. Frontiers in Sociology, 5(86), 1-8 (Open Access). doi:10.3389/fsoc.2020.538977 Kuhnt, A.-K. , Depenbrock, E. & Unkelbach, S. (2018): [...] Age-Differentiated Company and Tariff Policies"]. In: Mitteilungen aus dem SOFI, Ausgabe 6, 3. Jahrgang, 5-7 ( Open Access ). Follow me on:

    https://www.isd.uni-rostock.de/en/kuhnt-anne-kristin/

  5. Girls'Day / Boys'Day

    bundesweit jährlich stattfindenden Girls’Day als Tag zur Berufsorientierung für Schülerinnen ab der 5. Klasse stellen Universitäten, Hochschulen, Unternehmen, Institutionen und Organisationen Studiengänge [...] Seit 2010 gibt es auch den bundesweiten Boys’Day als Tag zur Berufsorientierung für Schüler ab der 5. Klasse, der jeweils am selben Tag stattfindet, um Schülern Studiengänge und Ausbildungsberufe vorzustellen

    https://www.ief.uni-rostock.de/en/studieninteressierte/oeffentliche-veranstaltungen/girlsday-/-boysday/

  6. 2020

    Heimann, was released on August, 24th, 2020 by De Gruyter: http://www.degruyter.com/books/978-3-11-061919-5 . This book gives an introduction to the highly interdisciplinary field of biomaterials. It concisely [...] COVID-19 pandemic the conference ELAINE 2020 will take place virtually on 29 and 30 September 2020! ♦♦♦ 5 March 2020: This year, our Collaborative Research Centre 1270 ELAINE would like to present itself to

    https://www.elaine.uni-rostock.de/en/research/news/2020/

  7. Publications

    machines. In 5th European Workshop on Maritime Systems, Resilience and Security (MARESEC 2025) . University of Rostock, June 2025. Peter Danielis, Helge Parzyjegla, and Stefan Lüdtke, editors. 5th European [...] Torres, Peter Danielis, and Frank Golatowski. Cooperative mission planning for autonomous vehicles. In 5th European Workshop on Maritime Systems, Resilience and Security (MARESEC 2025) . University of Rostock [...] Business Information Processing , pages 54-69. Springer, September 2012. DOI: 10.1007/978-3-642-33281-4_5 . Nikolaus Jeremic, Gero Mühl, Anselm Busse, and Jan Richling. Dataset management aware software ar

    https://www.ava.uni-rostock.de/en/ava-research/publications/

  8. Publications

    and Subsequent Suzuki-Miyaura Reactions Revisited. The Products are Benzo[1,2-b;5,6-b']dithiophenes and not Benzo[1,2-b;4,5-b']dithiophenes. Adv. Synth. Catal., 354, 4, 731-739, 2012 S. Reimann, M. Sharif [...] for Selective Recognition of Fluoride Anion: A Spectroscopic and Theoretical Study R. Soc. open sci., 5, 18046, 2018 F. S. Menges, H. J. Zeng, T. Niemann, A. Strate, R. Ludwig, M. A. Johnson Elucidating the [...] Hydrogen: Photocatalytic Hydrogen Generation from Water with Molecular-Defined Iron Complexes Inorganics, 5 (1), 2017 M. Moghayedi, E. K. Goharshadi, K. Ghazvini, H. Ahmadzadeh, R. Ludwig, M. Namayandeh Jorabchi

    https://www.ludwig.chemie.uni-rostock.de/en/publications/publications/publications/

  9. 2018

    Studienpreises 2018 in der Kategorie „Sozialwissenschaften“ ausgezeichnet worden. Sie erhielt die mit 5.000 Euro dotierte Auszeichnung für ihr Promotionsprojekt „Bildungsziel Ingenieur*in – Techniksozialisation

    https://www.iasp.uni-rostock.de/en/aktuelles/vorlage-aktuelles/archiv/2018/

  10. 2019

    Vorträge finden in der Aula des Universitätshauptgebäudes der Universität Rostock (Universitätsplatz 1-5, 18055 Rostock) statt und richten sich an alle Studierende und Lehrende der bildungswissenschaftlichen

    https://www.iasp.uni-rostock.de/en/aktuelles/vorlage-aktuelles/archiv/2019/

Displaying results 3451 to 3460 of 4861.
  • Previous
  • ...
  • 342
  • 343
  • 344
  • 345
  • 346
  • 347
  • 348
  • 349
  • 350
  • 351
  • ...
  • Next

Kontakt

Universität Rostock
Institut für Informatik
Theoretische Informatik
Albert-Einstein-Straße 22
18059 Rostock Tel.: +49 381 498 7641
Fax: +49 381 498 7642
E-Mail senden

Service

  • Imprint
  • Privacy
  • Barrierefreiheit
  • Maps

E-Mail Webmaster

Social Media

  • Facebook
  • YouTube
  • Instagram

© 2026  Universität Rostock