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

4794 Results:

  1. Simulation der Wechselwirkung zwischen positiv geladenen Teilchenstrahlen und Elektronenwolken

    the Space Charge Fields of Charged Particle Bunches . In Proceedings of IPAC 2014 (Proceedings of the 5th International Particle Accelerator Conference), Dresden, Germany, pages 418–421, 2014. A. Markovik [...] Sauerland, W. Hillert, A. Meseck: Dynamics of Ion Distributions in Beam Guiding Magnets . Proc. of the 5th Intl. Particle Accelerator Conf. (IPAC 2014): pp. 1668 – 1670. Gefördert von

    https://www.iae.uni-rostock.de/en/forschung/theoretische-elektrotechnik/elektromagnetische-felder-in-der-beschleunigerphysik/simulation-der-wechselwirkung-zwischen-positiv-geladenen-teilchenstrahlen-und-elektronenwolken/

  2. Benjamin Moritz

    Barbara/ Wilhelm, Markus (Hrsg.): Aneignungspraktiken an ausserschulischen Lernorten. Tagungsband zur 5. Tagung Ausserschulische Lernorte der PH Luzern vom 9. und 10. Juni 2017, Zürich: LIT Verlag, S. 203-208 [...] Parlament. Konzept und Ergebnisse einer qualitativ-empirischen Studie“ Gehalten am 10.06.17 im Rahmen der 5. Tagung ausserschulische Lernorte der PH Luzern am 9. und 10. Juni 2017 zu Aneignungspraktiken an a

    https://www.ipv.uni-rostock.de/en/lehrstuehle-und-personal/fachdidaktik-politische-bildung/mitarbeiterinnen/benjamin-moritz/

  3. Dr.-Ing. Björn Henke

    "Development trends for air pollution reduction of large engines – on the way to a greener shipping", 4.-5. November 2019, 40. Duisburger Kolloquium Schiffstechnik / Meerestechnik, Duisburg Henke, B.; Andree [...] otoren der nächsten Generation", 12. Tagung Motorische Verbrennung, S. 29-38, ISBN 978-3-945806-00-5, Ludwigsburg, 12.-13. März 2015;

    https://www.lkv.uni-rostock.de/en/team/external-lecturers-partners/dr-ing-bjoern-henke/

  4. M.Sc. Jules Christopher Dinwoodie

    team 2008-2010 English teacher in Rostock 2006-2008 Gap Year in Mecklenburg - West Pommerania 2006 5 „A-Levels“, Dallam School, England 1987 Born in Sidcup, England Projects Projects Technology Evaluation [...] Single-Cylinder Engine, 20 th Symposium “Sustainable Mobility, Transport and Power Generation”, 4 th - 5 th September 2025, Graz, Österreich Dinwoodie, J.C., Cepelak, S., Glauner, M., Seipel, P., Buchholz

    https://www.lkv.uni-rostock.de/en/team/research-fellows-and-assistants/msc-jules-christopher-dinwoodie/

  5. Sichtbarkeit und Vielfalt: Fortschrittsstudie zur audiovisuellen Diversität

    g, sexuelle Orientierung und Behinderung untersucht. Die Daten für den Bereich Fernsehen wurden am 5. Oktober 2021 in Berlin vorgestellt. Sie zeigen, dass es in einigen Bereichen deutliche Fortschritte [...] unterrepräsentiert: Während sie schätzungsweise rund 10 Prozent der Bevölkerung stellen, können nur rund 5 Prozent der Protagonistinnen und Protogonisten als Schwarz oder People of Color gelesen werden. Auch

    https://www.imf.uni-rostock.de/en/forschung/kommunikations-und-medienwissenschaft/sichtbarkeit-und-vielfalt-fortschrittsstudie-zur-audiovisuellen-diversitaet/

  6. Examination offices

    Tel.: +49 385 588 59252 State Examination Office for Health Professions M-V Friedrich-Engels-Platz 5-8 18055 Rostock ► Contact & office hours Faculty of Humanities Philosophische Fakultät Examination Office [...] ► Contact & office hours State Examination Office for Health Professions M-V Friedrich-Engels-Platz 5-8 18055 Rostock Phone: +49 385 588 59003 ► State Office for Health and Social Affairs

    https://www.uni-rostock.de/en/study/examination-offices/

  7. Dr. Alexandra Gericke

    Bonn am 25./26.5.2024. Moderation Paneldiskussion zur Bedeutung des Militärputsches gegen Allende aus lateinamerikanischer Perspektive im Zuge des Rostocker Lateinamerika-Tages RoLaT, 5. Juli 2023. "Relations

    https://www.ipv.uni-rostock.de/en/lehrstuehle-und-personal/vergleichende-regierungslehre/mitarbeiterinnen/dr-alexandra-gericke/

  8. Dipl.-Psych. Angelika Haase

    J. (2007). Sexual dysfunctions in a mixed sample of patients with psychiatric disorders , Vortrag, 5th World Congress of Behavioral and Cognitive Therapies (WCBCT), Barcelona, July 2007. Boos, A., Linke [...] Characteristics of Intrusions and their change in treatment of PTSD after complex trauma , Vortrag, 5th World Congress of Behavioral and Cognitive Therapies (WCBCT), Barcelona, July 2007. Beruflicher Werdegang

    https://www.ipprdk.uni-rostock.de/en/team-kontakt/professoreninnen-mitarbeiterinnen/dipl-psych-angelika-haase/

  9. Pleistocene Overkill

    Web. 5 April 2016. <https://commons.wikimedia.org/wiki/File:MammothVsMastodon.jpg.> Figure 3: Source: Unknown. Bison skull pile-restored . 1870. Wikimedia Commons. Wikimedia Foundation. Web. 5 April 2016 [...] finding that populations of large herbivores collapsed due to human impact around 14,000 years ago (5). [1] Referring to these findings, Robinson generally agrees with Martin. As a result, the widely circulated

    https://www.iaa.uni-rostock.de/en/forschung/laufende-forschungsprojekte/american-antiquities-prof-mackenthun/project/stories/pleistocene-overkill-1/

  10. Publikationen 2021

    preclinical deep brain stimulation research in rodents In Journal of Neural Engineering, Vol. 18, Iss. 5, ISSN: 1741-2560, pp. 1-20, DOI: 10.1088/1741-2552/ac23e1, September 2021 Babak Rooholahi, Ralf Salomon: [...] Conference on Power Electronics and Applications (EPE'21 ECCE Europe), pp. 1-10, ISBN: 978-9-0758-1537-5, Ghent, Belgium, September 2021 Tianzhe Yu, Hannes Raddatz, Karsten Meisberger, Metin Tekkalmaz, Giuliano [...] Uster, Franz Plocksties, Dirk Timmermann: Room Lighting for Grid Stabilization In Proceedings of the 5th International Conference on Smart Grid and Smart Cities (ICSGSC 2021), pp. 39-44, DOI: 10.1109/ICSGSC52434

    https://www.imd.uni-rostock.de/en/forschung/veroeffentlichungen/publikationen/publikationen-2021/

Displaying results 2701 to 2710 of 4794.
  • Previous
  • ...
  • 267
  • 268
  • 269
  • 270
  • 271
  • 272
  • 273
  • 274
  • 275
  • 276
  • ...
  • 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