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

4889 Results:

  1. Projects

    Henkel Dr.-Ing. Michél Hauer M.Eng. Moritz Rath Project duration: 04/2026 – 03/2029 Funding volume: 3,5 Millionen Euro Project partners: Department of Piston Machines and Internal Combustion Engines – Prof

    https://www.fuegetechnik.uni-rostock.de/en/forschung/projekte/

  2. Normen-Infopoint

    Abfall IEEE Xplore (IEEE: Institute of Electrical and Electronics Engineers): Volltextzugang zu über 5 Mio. Publikationen des IEEE, darunter Standards aus den Bereichen Elektrotechnik, Mess- und Regelungstechnik

    https://www.ub.uni-rostock.de/en/standorte-einrichtungen/patent-und-normenzentrum/normen-infopoint/

  3. Aufsätze

    aftliche und missionswissenschaftliche Perspektiven, in:Berliner Theologische Zeitschrift 24:1, S. 5-28. Interreligiöse Dialogforen im deutschsprachigen Raum, in: Verkündigung und Forschung 52/1, S. 31-42 [...] Das Christentum in Schulbüchern islamisch geprägter Länder (=Beiheft der Zeitschrift für Mission Nr. 5), Frankfurt am Main, S. 7-10. Können Schulbücher verglichen werden? Eine religionswissenschaftliche [...] Das Christentum in Schulbüchern islamisch geprägter Länder (=Beiheft der Zeitschrift für Mission Nr. 5), Frankfurt am Main, S. 124-136. Non-Christian Religions in Fiji, in: Ernst, Manfred (Hg.), Globalization

    https://www.theologie.uni-rostock.de/en/fachgebiete/religionswissenschaft-und-interkulturelle-theologie/prof-dr-klaus-hock/aufsaetze/

  4. Prof. Dr Klaus Neymeyr

    Mohajeri, Solute-induced perturbation of methanol-water association. RSC Advances 5, 71102 - 71108 (2015) DOI: 10.1039/C5RA11432B M. Sawall, C. Kubis, A. Börner, D. Selent, K. Neymeyr, A multiresolution [...] preconditioned steepest descent eigensolver with implicit deflation. Numer. Linear Algebra Appl. 30(5), e2498 (2023). https://doi.org/10.1002/nla.2498 M. Sawall, T. Andersons, K. Neymeyr, On the Area of [...] Maeder, On the avoidance of crossing of singular values in the evolving factor analysis. J. Chemom. 34(5), e3217 (2020). DOI: 10.1002/cem.3217 K. Neymeyr, A. Golshan, K. Engel, R. Tauler, M. Sawall, Does the

    https://www.numerik.mathematik.uni-rostock.de/en/neymeyr/

  5. Alle Publikationen

    Christian Haubelt, Frank Golatowski: Choosing the Right Data Plane: Introduction of an End-to-End 5G User Plane Positioning System In Proceedings of the 16th International Conference on Indoor Positioning [...] Nico Kalis, Sven Pawletta, Christian Haubelt, Frank Golatowski: Towards Ambient Internet of Things in 5G: What does Medium Access Control Scheduling cost? In Proceedings of the 31st IEEE International Conference [...] Golatowski: Preparing the Stage for Ambient Internet of Things: A Study of Positioning Protocols in 5G Networks In Proceedings of the 22nd IEEE Conference on Factory Communication Systems (WFCS26), pp.

    https://www.imd.uni-rostock.de/en/team/mitarbeitende/persoenliche-seiten/christian-haubelt/alle-publikationen/

  6. IN Bachelor (SPSO 2025)

    Informatikinstitute unter: Lehrveranstaltungen für das 1. bis 4. Semester Lehrveranstaltungen für das 5. bis 7. Semester Anstelle der für diesen Studiengang ausdrücklich angebotenen Wahlpflicht- und Wahlmodule [...] Simulation Seminar B.Sc. Informatik Wahlpflichtbereich Extern Es sind unter Beachtung von SPSO § 4 Abs. 5 Module im Umfang von 30 Leistungspunkten aus folgendem Katalog zu belegen. Es ist ein Modul (Auslandsstudium [...] Umfang von 30 LP aus dem folgenden Katalog zu wählen. Alternativ kann auch ein Nebenfach nach § 4 Absatz 5 studiert werden. Das Nebenfach umfasst 30 LP eines anderen Studiengangs außer Informatik, Informati

    https://www.ief.uni-rostock.de/en/studiengaenge/bachelor-studiengaenge/informatik-bsc/in-bachelor-spso-2025/

  7. Aktivitäten der Arbeitsgruppe

    perception 0.999... < 1 . 5. Fachtagung der Gemeinsamen Kommission Lehrerbildung 5. Fachtagung der Gemeinsamen Kommission Lehrerbildung Viola Mendler und Eva Müller-Hill besuchen die 5. Fachtagung der Gemeinsamen [...] 2022 Eva Müller-Hill nimmt an der INDRUM 2022 in Hannover teil mit einem Beitrag in der Arbeitsgruppe 5 "Teacher education in university" zum Thema "Activity Theory as a Base for Course Design in Pre-Service [...] teacher education to counter Klein’s double discontinuity". Homepage des Seminars CERME 12 CERME 12 2. - 5. Februar 2022 Eva Müller-Hill und Annika Bachmann besuchen die (virtuelle) CERME12 an der Universität

    https://www.mathematik.uni-rostock.de/en/unser-institut/professuren-apl-prof/didaktik-der-mathematik/aktivitaeten-der-arbeitsgruppe/

  8. Veröffentlichungen

    unter kontrollierten Wasserverfügbarkeiten. Hydrologie und Wasserbewirtschaftung 61, 5: 311-326, DOI: 10.5675/HyWa_2017,5_2 Stahn, P., Busch, S., Salzmann, T., Eichler-Löbermann, B., Miegel, K. (2017): Combining [...] Systems Analysis. Ecological Studies, vol 246. Springer, Cham. pp. 141–145. 10.1007/978-3-031-13682-5_14 Oesterwind, D., Köhler, L., Paar, M., Henseler, C., Kriegl, M., Gogina, M., Schubert, H., Arbizu [...] from sediments of the Adventfjorden (Svalbard): growth as function of temperature. Polar Biology 40(5): 1043-1051. 2016 Pfaff S, Borchhardt N, Boy J, Karsten U, Gustavs L. 2016. Desiccation tolerance and

    https://www.inf.uni-rostock.de/en/maritime-systeme/forschung-1/publikationen/

  9. Publications

    N. Isomura, S. Nigam, C. Majumder, Y. Watanabe, A. Fortunelli and S. Vajda J. Mater. Chem. A, 2017,5, 4923-4931 2016 High performance charge-state resolving ion energy analyzer optimized for intense laser [...] 8,148,293 B2, published 3. Apr. 2012 Periodic variations in the local surface potential of Si(111)-(5×2)-Au S. Polei, I. Barke, S. C. Erwin, and K.-H. Meiwes-Broer Phys. Rev. B 85 , 165414 (2012) Ultrafast [...] V.N. Popok, A. Kalabukhov, R. Gunnarsson, S. Lemeshko, T. Claeson, D. Winkler J. Adv. Microsc. Res. 5 , 26 (2010) Probing near-solid density plasmas using soft x-ray scattering S. Toleikis, T. Bornath,

    https://www.cluster-nano.physik.uni-rostock.de/en/publications/

  10. Feldforschungen der UFG

    Sedimente in einem Moor ca. 2 km südwestlich des Fundplatzes gefunden. Hier wurde ein Bohrkern mit 5 m Länge entnommen. Erste Pollenanalysen zeigen, dass die ältesten Sedimente vor ca. ~13.000 Jahre abgelagert [...] Geländearbeiten im Herbst 2018 in Angriff: Auf ausgedehnte Oberflächenbegehungen folgten auf einer 1,5 ha großen Fläche geomagnetische Messungen, ergänzt durch geomorphologische Bohrstocksondagen, die Michael

    https://www.altertum.uni-rostock.de/en/forschung/forschungsprojekte/feldforschungen-ufg/

Displaying results 3351 to 3360 of 4889.
  • Previous
  • ...
  • 332
  • 333
  • 334
  • 335
  • 336
  • 337
  • 338
  • 339
  • 340
  • 341
  • ...
  • 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