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

4864 Results:

  1. Publikationen

    microelectrode arrays. J. Neural Eng. 22(2), 026056, 2025, in press https://doi.org/10.1088/1741-2552/adc2d5 P.W. Kämmerer, N. Engel, R. Bader, V. Engel, B. Frerich, D. Heimes, J. Kröger, L. Lembcke, F. Plocksties [...] A multilevel analysis of data quality for formal software citation. Quantitative Science Studies ; 5 (3): 637–667. doi: https://doi.org/10.1162/qss_a_00309 J. Zimmermann, A. R. Farooqi, U. van Rienen, [...] Polley C, Riaz A, Lund H, Boccaccini AR, Seitz H, Field-Assisted Sintering of Barium Titanate and 45S5 Bioactive Glass for Biomedical Applications. Ceram. Int. (2024) https://doi.org/10.1016/j.ceramint.2024

    https://www.ief.uni-rostock.de/en/forschung/projekte/projekte-an-der-ief/dfg-sonderforschungsbereich-sfb-1270-elaine/wissenschaftliche-ergebnisse/publikationen/

  2. Thiessen

    n in der Frühen Neuzeit.Aufeinandertreffen – Übereinstimmung – Rivalität (Frühneuzeit-Impulse, Bd. 5). Köln / Wien 2023. Mitherausgeber einer Reihe Mitherausgeber einer Reihe Externa. Geschichte der A [...] in der Frühen Neuzeit. Aufeinandertreffen – Übereinstimmung – Rivalität (Frühneuzeit-Impulse, Bd. 5). Köln / Wien 2023, S. 13–30. Internetpublikationen Internetpublikationen Patronagekultur in den Au

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

  3. Veröffentlichungen - Publications

    Mathematik, Online-Publikationen an deutschen Hochschulen, Bonn, Univ., Diss., 2011, URN: urn:nbn:de:hbz:5-25267 Herausgegebene Schriften Michael Meyer, Eva Müller-Hill & Ingo Witzke (Hg.) (2013). Wissensch [...] erklärenden Funktion geometrisch-zeichnerischer Darstellungen", Jahrestagung der GDM 2013, Münster, 5. März 2013. "Making it explicit? Lehren und Lernen von mathematischen Leitideen und nature of science

    https://www.mathematik.uni-rostock.de/en/unser-institut/professuren-apl-prof/didaktik-der-mathematik/mitglieder-der-arbeitsgruppe/prof-dr-eva-mueller-hill/veroeffentlichungen-publications/

  4. 2024

    A multilevel analysis of data quality for formal software citation. Quantitative Science Studies ; 5 (3): 637–667. doi: https://doi.org/10.1162/qss_a_00309 J. Zimmermann, A. R. Farooqi, U. van Rienen, [...] Polley C, Riaz A, Lund H, Boccaccini AR, Seitz H, Field-Assisted Sintering of Barium Titanate and 45S5 Bioactive Glass for Biomedical Applications. Ceram. Int. (2024) https://doi.org/10.1016/j.ceramint.2024

    https://www.elaine.uni-rostock.de/en/research/publications/2024/

  5. VC Master (SPSO 2016)

    Computing eröffnet alternativ zum Prüfungs- und Studienplan den Studierenden die Möglichkeit, nach § 5 Absatz 2 und 3 Rahmenprüfungsordnung (Bachelor/Master) freiwillig ein Semester an einer ausländischen [...] werden. Studierende und die Vorsitzende/der Vorsitzende des Prüfungsausschusses schließen 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-2/visual-computing-msc/vc-master-spso-2016/

  6. LFS IuK - ProVIS

    Information Systems. submitted to: Int.Workshop Knowledge-Based Information Systems (KBWIS 2005) , 5. Nov. 2005, Bremen, Germany Düsterhöft, Antje; Biehl, Norman; Forbrig, Peter; Fuchs, Georg; Reichart [...] Manet Marketing GmbH. (Diplomarbeit 24.08.04) DA Griethe, Henning : Linsentechniken. (Diplomarbeit 5/2004) DA Hanck, Andreas : Untersuchung von Werkzeugen für die Integration einer Interaktionsmöglichkeit

    https://www.ief.uni-rostock.de/en/forschung/projekte/projekte-an-der-ief/erfolgreich-abgeschlossene-grossprojekte/landesforschungsschwerpunkte/lfs-iuk-provis/

  7. LFS IuK - M6C

    Information Systems. submitted to: Int.Workshop Knowledge-Based Information Systems (KBWIS 2005) , 5. Nov. 2005, Bremen, Germany Düsterhöft, Antje; Biehl, Norman; Forbrig, Peter; Fuchs, Georg; Reichart [...] Manet Marketing GmbH. (Diplomarbeit 24.08.04) DA Griethe, Henning : Linsentechniken. (Diplomarbeit 5/2004) DA Hanck, Andreas : Untersuchung von Werkzeugen für die Integration einer Interaktionsmöglichkeit

    https://www.ief.uni-rostock.de/en/forschung/projekte/projekte-an-der-ief/erfolgreich-abgeschlossene-grossprojekte/landesforschungsschwerpunkte/lfs-iuk-m6c/

  8. Plant Pollination by Insects

    S. D. (2013). Pollinator-mediated evolution of floral signals. Trends in Ecology & Evolution , 28(5), 307–315. Serrano, A. R. & Guerra-Sanz, J. M. (2006). Quality fruit improvement in sweet pepper culture [...] orange, and red flowers of Mimulus verbenaceus and M. cardinalis . Great Basin Naturalist , 52(2), 5. Text: Toby Weisenhaus, Dr. Dethardt Goetze

    https://www.garten.uni-rostock.de/en/studies-and-teaching/in-depth-information-on-selected-subjects/plant-pollination-by-insects/

  9. Meadow Orchards and Savannas as Agroforestry Systems

    mammals, birds, reptiles, amphibians, and arthropods. Studies have revealed that arthropod biomass is 2.5 to 7 times greater in scattered fruit tree orchards than in nearby forests. Tree orchards provide habitats [...] ecosystem services in sub-Saharan Africa. A meta-analysis. Agronomy for Sustainable Development , 39(5), 47. Lorenz, K., & Lal, R. (2014). Soil organic carbon sequestration in agroforestry systems. A review

    https://www.garten.uni-rostock.de/en/studies-and-teaching/in-depth-information-on-selected-subjects/meadow-orchards-and-savannas-as-agroforestry-systems/

  10. Publikationen

    crops, eds. Kole C., Pandey M. K., Puppala N., Taylor & Francis Group, CRC Press, Boca Raton, Chapter 5, 113-154. Schilling F., Schumacher C., Köhl K., Sprenger H., Kopka J., Peters R., Haas M., Zuther E [...] In Vitro Haploid Production in Higher Plants, Jain S.M., Sopory S.K., Veilleux R.E. (eds.), Volume 5: Oil, Ornamental and Miscellaneous Plants S. 17-35 1996 Horn, R., Hustedt J.E.G., Horstmeyer A., Hahnen

    https://www.pflanzengenetik.uni-rostock.de/en/bibliographie/publikationen/publikationen/

Displaying results 3711 to 3720 of 4864.
  • Previous
  • ...
  • 368
  • 369
  • 370
  • 371
  • 372
  • 373
  • 374
  • 375
  • 376
  • 377
  • ...
  • 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