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

4793 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. 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/

  4. apl. Prof. Dr. Martin Rösel

    TRE 33, Lfg. 5, 2002, 732-743 Art. "Tradition I. Altes Testament", TRE 33, Lfg. 5, 2002, 689-691 The Septuagint-Version of the Book of Joshua, Scandinavian Journal for the OT, 16, 2002, 5-23 Zwischen dem [...] Auflage 1999 3. Auflage 2002 4. Auflage 2004, ab jetzt mit Lernübersichten von Dirk Schwiderski . 5. Auflage 2006 6., vollständig neu bearbeitete Auflage 2008 7., verbesserte Auflage 2011 8., aktualisierte [...] Studienbuch) 2., durchgesehene Auflage 2010 3., erweiterte Auflage 2012 4., verbesserte Auflage 2016 5. Auflage (in zwei Teilbänden) 2020 W. Klaiber, M. Rösel, Streitpunkt Bibel in gerechter Sprache , Leipzig

    https://www.theologie.uni-rostock.de/en/fachgebiete/altes-testament/apl-prof-dr-martin-roesel/

  5. 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/

  6. 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/

  7. Publikationen Dr. Fischer

    Solvent Production by Clostridium acetobutylicum in Continous Culture. BMC Systems Biology 5:10 (DOI:10.1186/1752-0509-5-10) Millat, T., O. Wolkenhauer, R.-J. Fischer , H. Bahl. 2011. Modeling of Cellular Processes: [...] acetobutlicum - From experiments to models. In: Kettner, C. and Hicks, M. G., eds., Proceedings of the 5th International Beilstein Symposium on Experimental Standard Condtions of Enzyme Characterizations Logos

    https://www.mikrobiologie.uni-rostock.de/en/aktuelles/wissenschaftlicher-werdegang/publikationen/

  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 2561 to 2570 of 4793.
  • Previous
  • ...
  • 253
  • 254
  • 255
  • 256
  • 257
  • 258
  • 259
  • 260
  • 261
  • 262
  • ...
  • 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