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

4877 Results:

  1. 2019

    < News 2018 News 2020 > SFB 1270 ELAINE on Social Media News 2019 5 December 2019: The preliminary results of the DFG (German Research Foundation) Review Boards Election 2019 are published. The voting [...] three new RISE DAAD stipends. During their internship they will support the projects A01, A02 and INF. 5 March 2019: The CRC 1270 ELAINE, the Wissenschaftsverbund IuK and the University Library Rostock invite

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

  2. Prof. Dr. Eva Stumpf

    auf die Bindungssicherheit und die sozial-emotionale Entwicklung. Kindheit und Entwicklung, 22(1), 5-13. *Bäuerlein, K., Linkert, C., Stumpf , E. & Schneider, W. (2013). Kinderkrippen - Chancen und Risiken [...] Gymnasiale Begabtenklassen auf dem Prüfstand: Ergebnisse einer vierjährigen Begleitstudie. Schulmanagement, 5, 27-30. Stumpf , E. (2012). Förderung bei Hochbegabung. Stuttgart: Kohlhammer. Stumpf , E. (2012).

    https://www.ipprdk.uni-rostock.de/en/team-kontakt/professoreninnen-mitarbeiterinnen/prof-dr-eva-stumpf/

  3. ET Master (SPSO 2019)

    Electrical Engineering im Rahmen der Wahlpflichtmodule auf Antrag anerkannt werden können: ein Kurs (5 Wochen) mit 10 ECTS, zwei Kurse (10 Wochen) mit 20 ECTS. Für die Teilnahme ist eine Bewerbung im Vorjahr [...] der Anerkennung schließen die Studierenden und die/der Vorsitzende des Prüfungsausschusses gemäß § 5 Absatz 3 der Rahmenprüfungsordnung (Bachelor/Master) vor Aufnahme des Auslandaufenthalts eine Lehr-

    https://www.ief.uni-rostock.de/en/studiengaenge/master-studiengaenge-1/elektrotechnik-msc/et-master-spso-2019/

  4. Veröffentlichungen

    - π + π - , K + K - π + π - , and K + K - K + K - cross sections at center-of-mass energies 0.5 GeV to 4.5 GeV measured with initial-state radiation Phys. Rev. D71 , 052001 (2005) BABAR Collaboration, [...] al. Measurement of the Λ c + to D 0 production ratio in peripheral Pb Pb collisions at sqrt(s NN ) = 5.02 TeV JHEP 06 , 132 (2023) LHCb collaboration, R. Aaij et al. Search for the lepton-flavour violating [...] collaboration, R. Aaij et al. Open charm production and asymmetry in p Ne collisions at sqrt(s NN ) = 68.5 GeV Eur. Phys. J. C83 , 541 (2023) LHCb collaboration, R. Aaij et al. Measurement of antiproton production

    https://www.physik.uni-rostock.de/en/arbeitsgruppen/emeriti/prof-dr-henning-schroeder-/-pd-dr-roland-waldi-elementarteilchenphysik/veroeffentlichungen/

  5. Gruppe Nanostrukturen und Nanomaterialien (Prof. Christian Klinke)

    and values of the specific conductivity in the range of 470 S/cm at room temperature and 880 S/cm at 5.5 K, which is attributed to the surface-induced off-stoichiometry. The presented colloidal nanosheets [...] free colloidal synthesis approach for a phase-selective synthesis of Bi 2 Te 3 , BiTe, and Bi 4 Te 5 nanosheets with well-defined hexagonal morphology. By controlling precursor chemistry and reaction [...] the (Bi 2 ) m (Bi 2 Te 3 ) n homologous series. Based on in situ heating studies, BiTe and Bi 4 Te 5 nanosheets transform into Bi 2 Te 3 at ∼340 °C, followed by preferential Te sublimation under vacuum

    https://www.nanomaterials.uni-rostock.de/en/

  6. Aktuelles

    Universitätshauptgebäudes. Die Personen (von links): Dekan Prof. Dr. Klaus Neymeyr, Dr. Peter Ahrenholz (5), Dr. Dieter Gäbel (4), Prof. Dr. Hartmut Krienke (2), Dr. Albrecht Müller (10), Prof. Dr. Wolfgang

    https://www.physik.uni-rostock.de/en/das-institut/historisches/aktuelles/

  7. Paradigm

    a network are switching scheme , topology and routing algorithm :.. HW/SW Codesgin The upper layers 5 to 7 represent the application oriented layers. They are mostly closely coupled with each other. Thereby

    https://www.imd.uni-rostock.de/en/forschung/projekte/forschungsprojekte/networksonchip/paradigm/

  8. Geschäftshinweise

    zu melden. Bitte vereinbaren Sie einen Termin, um die Formulare für die Unfallanzeige auszufüllen. § 5 – Tätigkeit der Kursleiter*innen Die Beauftragung von selbständig tätig werdenden Kursleiter*innen für

    https://www.hochschulsport.uni-rostock.de/en/geschaeftsbereich/geschaeftshinweise/geschaeftsbedingungen/

  9. Workshops und Wochenplan

    werden die wichtigsten Grundlagen für das souveräne Auftreten in diesem Milieu vermittelt. Workshop 5: "Warum bin ich eigentlich hier?" – Studieren als Biographiearbeit (Gruppe 2) Workshopleitung: Junior-Prof

    https://www.phf.uni-rostock.de/en/studium/beratung-und-hilfe/infos-fuer-erstsemster/workshops-und-wochenplan/

  10. Peer reviewed publications

    Peatlands of Europe. Status, distribution and conservation. Schweitzerbart Science Publishers, Stuttgart, 5-64. Jurasinski, G., Ahmad, S., Anadon-Rosell, A., Berendt, J., Beyer, F., Bill, R., Blume-Werry, G.

    https://www.wetscapes.uni-rostock.de/en/publications/peer-reviewed-publications/

Displaying results 3781 to 3790 of 4877.
  • Previous
  • ...
  • 375
  • 376
  • 377
  • 378
  • 379
  • 380
  • 381
  • 382
  • 383
  • 384
  • ...
  • 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