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

4883 Results:

  1. 2020

    Maps: https://goo.gl/maps/hN7DEbbY9raC5TLX9 Anreise mit dem ÖPV Anreise mit dem ÖPV Bahnreise bis Rostock Hauptbahnhof ab Hauptbahnhof, Tramhaltestelle (Bahnsteig A) Tram 5 (Richtung Mecklenburger Allee) oder [...] oder Tram 6 (Richtung Neuer Friedhof) bis Haltestelle Lange Straße . Dann 5 Min. zu Fuß über Breite Straße zum Universitätsplatz . Empfohlene Hotels Empfohlene Hotels Google Maps mit einer Übersicht au [...] ausgewählter Unterkünfte in der Nähe des Tagungsortes: https://goo.gl/maps/zm12cU5dqDCtuMxKA Hotel Am Hopfenmarkt: http://am-hopfenmarkt.com/ Hotel Stadtperle Rostock: www.stadtperle-rostock.de Hostel Subraum:

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

  2. Publikationen 2020

    PoCSpec zeigen neue Lösungsansätze auf In meditronic-journal - Fachzeitschrift für Medizin-Technik, Vol. 5, pp. 10–13, beam-Verlag, Marburg, Deutschland, Dezember 2020 Fabian Hölzke, Jakob Heller, Salo A. Deatcu [...] Virtualization and Software Defined Networks (NFV-SDN), DOI: 10.1109/NFV-SDN50289.2020.9289916 , pp. 1-5, Madrid, Spanien, November 2020 Christoph Niemann, Munawar Ali, Obaid Ullah Shah, Jakob Heller, Dirk [...] Barriers in Sports In Proceedings of the 9th Mediterranean Conference on Embedded Computing (MECO), pp. 1-5, DOI: 10.1109/MECO49872.2020.9134149 , Budva, Montenegro, Juni 2020 Frank Golatowski, Hannes Raddatz

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

  3. Tag der Technik MV

    Informationen zu den IEF-Studiengängen und zum Studium in Rostock 09:30 – 13:00 Uhr → Demonstration → 5G ist in aller Munde – aber was steckt eigentlich dahinter? 09:30 – 13:00 Uhr → Mitmachangebot → Lötkurs [...] Wirtschaftsinformatik Tina Zorn, Studienbüro und Prüfungsamt der IEF Dipl.-Phys. Wolfram Bütow, IEF Dekanat 5G ist in aller Munde – aber was steckt eigentlich dahinter? 09:30 – 13:00 Uhr → Demonstration fortlaufend [...] 10 – Grundlagenpraktikum Experimentalgebäude Elektrotechnik Albert-Einstein-Straße 2, 18059 Rostock 5G-Modem mit Raspberry Pi und Antenne für 3 GHz © Bild: INT / Prof. Volker Kühn Antennenarrays für 30

    https://www.ief.uni-rostock.de/en/studieninteressierte/oeffentliche-veranstaltungen/tag-der-technik-mv/

  4. Einführungswoche

    woche (Orientation Week) für das Wintersemester Anfang Oktober 2026 5. bis 9. Oktober 2026 Programm für internationale Studierende 5. bis 18. Oktober 2026 Angebote für alle neuen Studierenden an der U [...] gekommenen Studierenden Einführungswochen – Termine 2026 1. bis 10. April 2026 für das Sommersemester 2026 5. bis 9. Oktober 2026 für das Wintersemester 2026/2027 Einführungswoche Wintersemester 2026/2027 → im [...] Das International Office bietet zusätzlich Veranstaltungen für internationale Studierende an. Mo, 5. Oktober 2026 Allgemeine Einführung für alle Studierenden Einführung Allgemeine Studienberatung → für

    https://www.ief.uni-rostock.de/en/studierende/erstsemester/zu-studienbeginn/einfuehrungswoche/

  5. House Meeting

    ed Spectroscopy on van der Waals Heterostructures Michael Kempf October 5: Electron Microscopy in the LL&M enviroment October 5: Electron Microscopy in the LL&M enviroment N.N. November 30: Topic_ Competence [...] ed Spectroscopy on van der Waals Heterostructures Michael Kempf October 5: Electron Microscopy in the LL&M enviroment October 5: Electron Microscopy in the LL&M enviroment N.N. November 30: Topic_ Competence

    https://www.inf.uni-rostock.de/en/llm/research-building/house-meeting/

  6. Teilchenzahlen

    Formel im Anfangsunterricht" [NiU-Chemie 5 (1994) Nr. 25, S. 12 ff.] B. Kaminski, A. Flint "Ermittlung der chemischen Formel am Beispiel von Magnesiumoxid" [NiU-Chemie 5 (1994) Nr. 25, S. 23 f.] B. Kaminski [...] Kaminski, A. Flint "Avogadro - einmal anders eingeführt" [NiU-Chemie 5 (1994) Nr. 25, S. 25 f.] B. Kaminski, A. Flint, W. Jansen "Chemische Formeln im Anfangsunterricht" [CHEMKON Heft 4(1994), S. 183ff. A. Flint

    https://www.didaktik.chemie.uni-rostock.de/en/forschung/weitere-forschungsgebiete/teilchenzahlen/

  7. Gunnar Seelentag

    H-Soz-Kult 08.08.2016 / Vlassopoulos, K. 2016, Greece & Rome 63, 264–5 / Link, St. 2015, Anzeiger für die Altertumswissenschaft 68, 220–5 / Maffi, A. 2015, Dike 18, 165–78. Taten und Tugenden Traians. He [...] Mitthof, F./ Schörner, G. (Hg.) Columna Traiani – Trajanssäule. Akten der Internationalen Tagung, Wien 5. 2013. Wien 2017, 145–62. Antoninus Pius und die Herrschaftsdarstellung des 2. Jhs., in Michels, Chr

    https://www.altertum.uni-rostock.de/en/institut/mitarbeitende/gunnar-seelentag/

  8. Scior

    S. 35-50. Stimme und Ohr ihres Herrn. Boten und Gesandte im frühen Mittelalter, in: Damals 49 (H. 5/2017), S. 64-69. Vertrauen und Kontrolle: Boten als Augenzeugen in der mittelalterlichen Kommunikation [...] Logemann (Trends in Medieval Philology, hg. v. Ingrid Kasten, Niklaus Largier u. Mireille Schnyder, Bd. 5), Verlag Walter de Gruyter, Berlin-New York 2005, S. 77-99. Vergangenheitsdeutung und gegenwärtiges [...] deutschen Geschichte des Mittelalters / Freiherr vom Stein-Gedächtnisausgabe, Bd. 19), 6., gegenüber der 5. um einen Nachtrag erweiterte Aufl., Wissenschaftliche Buchgesellschaft, Darmstadt 2002, S. 401-410

    https://www.geschichte.uni-rostock.de/en/institut/professorenprofessorinnen/scior/

  9. Anreiseinformationen

    Airport erreichbar mit Auto, Eisenbahn, Fernbus Auto: ca. 200 km von Innenstadt Rostock, Fahrzeit ca. 2,5 h Flughafen Berlin Brandenburg – BER erreichbar mit Auto, Eisenbahn, Fernbus Auto: Flughafen Berlin [...] Lübeck erreichbar mit Auto, Eisenbahn, Fernbus Auto: ca. 120 km von Innenstadt Rostock, Fahrzeit ca. 1,5 h Ostsee-Fähren Fährverkehr ab Rostock Port (Überseehafen, Seehafen) erreichbar mit Auto und Stadtbus [...] Stadt – Straßenbahn, Stadtbus, Fähre, S-Bahn S-Bahn, Straßenbahnen und Busse fahren am Tage ca. alle 5 bis 15 Minuten. Nachts gibt es Nachtbuslinien, die sogenannten „Fledermauslinien“, so dass der ÖPNV

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/lageplaene-anreiseinfo/anreiseinformationen/

  10. Anreiseinformationen

    Airport erreichbar mit Auto, Eisenbahn, Fernbus Auto: ca. 200 km von Innenstadt Rostock, Fahrzeit ca. 2,5 h Flughafen Berlin Brandenburg – BER erreichbar mit Auto, Eisenbahn, Fernbus Auto: Flughafen Berlin [...] Lübeck erreichbar mit Auto, Eisenbahn, Fernbus Auto: ca. 120 km von Innenstadt Rostock, Fahrzeit ca. 1,5 h Ostsee-Fähren Fährverkehr ab Rostock Port (Überseehafen, Seehafen) erreichbar mit Auto und Stadtbus [...] Stadt – Straßenbahn, Stadtbus, Fähre, S-Bahn S-Bahn, Straßenbahnen und Busse fahren am Tage ca. alle 5 bis 15 Minuten. Nachts gibt es Nachtbuslinien, die sogenannten „Fledermauslinien“, so dass der ÖPNV

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/lageplaene-anreiseinfo/anreiseinformationen-1/

Displaying results 2541 to 2550 of 4883.
  • Previous
  • ...
  • 251
  • 252
  • 253
  • 254
  • 255
  • 256
  • 257
  • 258
  • 259
  • 260
  • ...
  • 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