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

4797 Results:

  1. Dr. M. Feike

    C. (2006). Segmentation and Classification of Microscopic Objects. Computer Graphic topics , 18 (5), 5-6. Heerkloss, R. & Feike, M. (2006). Zooplankton monitoring of the Darß-Zingst lagoon - long term [...] 28, 134. Feike, M., Levetzow, S., & Retzlaff-Fürst, C. (2023). Faszination für die Natur. Mathematik 5-10 , 65 (4), 38–41. Feike, M. (2022). Erstnachweis des Binden-Langhornfalters Nemophora fasciella (Fabricius [...] & Feike, M. (2018). Überlebenskünstler im Klassenraum – Unbeachtete Zimmerpflanzen nutzen. Biologie 5-10 , 24 , 22-25. Feike, M. (2017). Wie bestimme ich eigentlich biologische Vielfalt? Unterricht Biologie

    https://www.biodidaktik.uni-rostock.de/en/arbeitsgruppe/mitarbeiter/dr-m-feike/

  2. Prof. Dr. Jessica Hoth

    schulbezogenes Fachwissen als berufsspezifische Wissenskomponente von Lehrkräften. 10.1007/978-3-662-64381-5_5 . Kaiser, G., Scheiner, T., Ayalon, M., Kosko, K., Kersting, N., Fernandez, C., Superfine, A., Walkoe [...] Bernd Wollring (S. 145-159). Springer Fachmedien Wiesbaden. https://doi.org/10.1007/978-3-658-33450-5_10 Hoth, J., Jeschke, C., Dreher, A., Lindmeier, A., & Heinze, A. (2020). Ist akademisches Fachwissen [...] on Mathematics Education. ISSN 1863-9690. 49(1), 107- 120. https://doi.org/10.1007/s11858-016-0817-5 Hoth, J., Döhrmann, M., Kaiser, G., Busse, A., König, J. & Blömeke, S. (2016). Diagnostic competence

    https://www.igsp.uni-rostock.de/en/institut/personen/professuren/prof-dr-jessica-hoth/

  3. Publikationen

    Charac­terisation of the Novel 2-Triphenylphosphanimino-4-azidotetra­zolo[5,1-a]-[1,3,5]triazine and 2,4,6-Tris(triphenyphosphanimino)-1,3,5­triazine E. Kessenich, K. Polborn , A. Schulz Inorg. Chem . 2001 , [...] Crystal Structure of 2,4-Bis(triphenylphosphanimino)tetrazolo[5,1-a]-[1,3,5]triazine, and Improved Crystal Structure of 2,4,6-Triazido-1,3,5-triazine E. Keßenich, T. M. Klapötke, J. Knizek, H. Nöth, A. [...] Villinger Eur. J. Inorg. Chem. 2012 , 5 , 822 – 832 . 162 Binary Pnictogen Azides - An Experimental and Theoretical Study:[As(N 3 ) 4 ] - , [Sb(N 3 ) 4 ] - and [Bi(N 3 ) 5 (DMSO)] 2- A. Schulz, A. Villinger

    https://www.schulz.chemie.uni-rostock.de/en/publikationen/

  4. FT Lehrgang (2020)

    Institut Kiel-Kronshagen : 12.3.2020 Praxisausbildung am Schweriner See (DLRG Bad Kleinen) : 04.5.2020 - 15.5.2020 (täglicher Ablauf: 7:00Uhr 1000m FS im See + 9:00Uhr – 17:00Uhr Freiwasserausbildung zT. [...] Schwimmhallenausbildung am 13.3.) und der Endausbildung (geplanter Beginn des Freiwassertauchens am 4.5.2020). Fast zeitgleich mit dem Verlassen der Schwimmhalle machte diese nämlich für 3 Monate wegen CoVid-19 [...] auch die Einmietung der Forschungstauchergruppe in Bad Kleinen möglich und es konnte tatsächlich am 4.5. weitergehen. Allerdings war zuvor bei allen Kursteilnehmern die Bereitschaft dazu abgefragt worden

    https://www.fotau.uni-rostock.de/en/aus-und-weiterbildung/informationen/letzter-ft-lehrgang-2020/

  5. Presse 2008

    ZEITUNG: 5.6.2008 Die Deutsche Forschungsgemeinschaft fördert an der Universität Rostock ein neues fächerübergreifendes Graduiertenkolleg idw: 20.5.2008 Flitzende Roboter OSTSEE ZEITUNG: 17.5.2008 Super-Chip [...] erleben! – Veranstaltung zum bundesweiten Tag der Technik 2008 in Rostock Pressemitteilung der IEF: 5.6.2008 Wissenschaft und Wirtschaft gestalten gemeinsames Programm – Fakultät für Informatik und Ele [...] gewinnt (Prof. Werner Petersen-Preis für Technik für Carsten Potratz) Norddeutsche Neueste Nachrichten: 5.12.2008 Roboter erobern Klassenzimmer – Am Hansa-Gymnasium stehen nicht nur Kunst und Kultur im Vordergrund

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/presseinformationen/presse-2008/

  6. Kern, Beate

    Anna Ch. (eds.) (2017): (Un-)Sichtbarkeiten. Beiträge zum XXXI. Forum Junge Romanistik in Rostock (5.-7. März 2015) . München: Akademische Verlagsgemeinschaft München. Aufsätze (eingereicht): " Bon courage [...] Opening Romanistik: Ein Access, mehrere Perspektiven“, in: apropos [Perspektiven auf die Romania] 1, 5-11. [mit Christoph Behrens, Joris Lehnert, Stefan Serafin]. < https://doi.org/10.15460/apropos.1.1253 [...] Stefan/Thode, Anna Ch. (eds.): (Un-)Sichtbarkeiten. Beiträge zum XXXI. Forum Junge Romanistik in Rostock (5.-7. März 2015) . München: Akademische Verlagsgemeinschaft München, 11-24. [mit Jennifer Roger, Stefan

    https://www.romanistik.uni-rostock.de/en/institut/mitarbeitende/wissenschaftliche-mitarbeitende/kern-beate/

  7. Project Activities

    Delucchi 3:30–4:00 Break 4:00–5:30 Round Table Student project at Mt. Allison conference Friederike Münch, Sara Didriksen und Jule Andreeßen auf dem DICES-Workshop (II): 31.5. - 2.6.2023 Der zweite DICE [...] Deborah Beck, University of Texas at Austin Respondent: Ombretta Cesca (zoom) 3:30–4:00 Break 4:00–5:00 Student Session 1 The goddess Juno as a transtextual speaker in the epic tradition from Virgil to [...] of Rostock Mother Mary in the Homerocentones of Empress Eudocia Sara Didriksen, Aarhus University 5:30–6:30 Keynote Address: “Beyond Translation ” Gregory Crane, Tufts University (Owens Art Gallery) 6:30–7:30

    https://www.dices.uni-rostock.de/en/project-activities/

  8. Dr.-Ing. Martin Kurowski

    41st International Conference on Ocean, Offshore and Arctic Engineering. Volume 5A: Ocean Engineering. Hamburg, Germany. June 5–10, 2022. V05AT06A035. ASME. https://doi.org/10.1115/OMAE2022-78583. Rethfeldt [...] using model-based control as key to autonomous shipping" at - Automatisierungstechnik, vol. 70, no. 5, 2022, pp. 456-468. https://doi.org/10.1515/auto-2021-0146 Majohr, J., Kurowski, M.: Maritime Regelungs- [...] Planning for Berth-to-Berth Navigation of Modern Ships. at – Automatisierungstechnik 2015; Volume 63(5), DeGruyter Oldenbourg, 2015, pp. 368–379. Kurowski, M., Haghani, A., Koschorrek, P., & Jeinsch, T.

    https://www.rt.uni-rostock.de/en/arbeitsgruppe/mitarbeiter/dr-ing-martin-kurowski/

  9. 2021

    the SFB have been filled. The proportion of women among these scientists is 42% . November 2021: The 5th retreat of the CRC 1270 ELAINE took place from 03-05 November at Schloss Hasenwinkel. There was a [...] took place. After we had submitted our renewal proposal to the DFG in November 2020, after almost 3.5 years, the intensive preparations by all staff members for the review followed. Due to the current COVID-19

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

  10. Publications

    Kösters. Exact relation between singular value and eigenvalue statistics. Random Matrices Theory Appl. 5 1650015 (57 pages), 2016. F. Götze, H. Kösters and A. N. Tikhomirov. Asymptotic global spectra of products [...] Kösters. Exact relation between singular value and eigenvalue statistics. Random Matrices Theory Appl. 5 1650015 (57 pages), 2016. F. Götze, H. Kösters and A. N. Tikhomirov. Asymptotic global spectra of products

    https://www.mathematik.uni-rostock.de/en/department/professors-apl-prof/probability-theory/prof-dr-holger-koesters/publications/

Displaying results 1821 to 1830 of 4797.
  • Previous
  • ...
  • 179
  • 180
  • 181
  • 182
  • 183
  • 184
  • 185
  • 186
  • 187
  • 188
  • ...
  • 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