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

4868 Results:

  1. Camille de la Vega

    between birds and macrofauna within food webs of six intertidal habitats of the Wadden Sea. PLOS ONE 12(5): e0176381. doi.org/10.1371/journal.pone.0176381 de la Vega C, Lebreton B, Siebert U, Guillou G, Das [...] Seasonal Variation of Harbor Seal's Diet from the Wadden Sea in Relation to Prey Availability. PLOS ONE 11(5): e0155727. doi.org/10.1371/journal.pone.0155727 Horn S and de la Vega C (2016). Relationships between

    https://www.oekologie.uni-rostock.de/en/mitarbeitende/camille-de-la-vega/

  2. Landmark Stories

    ‘geos’ not referring to ‘nonlife’ as in the rationalist tradition but to ‘earth life’ (Povinelli 2016: 5). Narrative “place-making” is a way of constructing history itself, as Keith Basso showed for the Apache [...] Nespelam WA. Online. https://static1.squarespace.com/static/5747304db654f905c35dcdf4/t/57ab818720099e5d69752c32/1470857614035/Book_of_legends_for_pdf_10-31-11.pdf . 11 March 2018. Lankford, George E. (1996)

    https://www.iaa.uni-rostock.de/en/forschung/laufende-forschungsprojekte/amerikanische-fruehgeschichte/landmark-stories-1/

  3. Publications/Press

    N. Nguyen, D. Hollmann, U. Kragl, "Herstellen von regenerierten Polysacchariden" DE 10 2020 103 195.5 (Ed.: U. o. Rostock), 2020. Publications 2021- 48. B. C. Nguyen, T. M. Truong, N. T. Nguyen, D. N. Dinh [...] Kathleen Grabow, Ursula Bentrup, Henrik Junge, Matthias Beller, Angelika Brückner . ACS Catal. 2015 , 5 , 2137–2148. “Solar Hydrogen Production by Plasmonic Au-TiO 2 Catalysts: Impact of Synthesis Protocol [...] 3199-3201. “ N -Dealkylation of Aliphatic Amines and Selective Synthesis of Monoalkylated Aryl Amines” 5. Dirk Hollmann , Sebastian Bähn, Annegret Tillack, Matthias Beller, Angew. Chem. Int. Ed. 2007 , 46

    https://www.hollmann.chemie.uni-rostock.de/en/publicationspress/

  4. FAQ

    richtet sich grundsätzlich nach den in der Praktikumsordnung vorgegebenen Wochen. Eine Woche besteht aus 5 Arbeitstagen. Es ist zu berücksichtigen, dass Feier- und Ferientage nicht als Praktikumstage zählen [...] Stundennachweisen mit lfd. Nr. gemeint ? lfd. Nr.: die laufende Nummerierung einer Aufzählung (1 2 3 4 5 usw.) Listen mit laufender Nummerierung werden unter dem letzten Eintrag mit einer sogenannten Buch [...] Übung bzw. eines Praktikums vom Dozierenden bescheinigt wird. Demzufolge ist beispielsweise auch eine 5 oder 6 tägige SPÜ förderfähig. Wie hoch ist der Reisekostenzuschuss? Wie hoch ist der Reisekostenzuschuss

    https://www.phf.uni-rostock.de/en/studium/praktikumsbuero-lehraemter/faq/

  5. Objekte des Monats 2017

    ausbrechender Epidemien vermutlich über 50.000 Insassen ums Leben. Das Monument besteht aus einem 36,5 Meter hohen Obelisken, einer zentralen Bronzeplastik, die zwei trauernde Frauen mit einem sterbenden [...] Grabstein gibt Auskunft, dass der Hindu-Soldat, Angehöriger des Infanterieregiments der 89th Punjabis am 5. Februar 1915 verstarb. Prominent ist auf dem Stein das Mantra „Om Bhagvate namaha“ (Mit der Gnade Lord [...] 200 Jahre nach seiner Herstellung, noch benutzt werden kann: https://www.youtube.com/watch?v=hhIIEv5Rt9g (Text: Prof. Dr. Ulrike v. Hirschhausen)

    https://www.geschichte.uni-rostock.de/en/forschung/forschung/objekt-des-monats-maerz-2021/archiv/objekte-des-monats-2017/

  6. Publikationen 2018

    Gerätevernetzung im OP 4.0 wird Standard In meditronic-journal - Fachzeitschrift für Medizin-Technik, Vol. 5, pp. 6–10, Beam-Verlag, Marburg, Deutschland, November 2018 Theo Gabloffsky, Jannika Lossner, Julia [...] Wellnitz, Christian Haubelt: Activity Recognition using Head Worn Inertial Sensors In Proceedings of the 5th international Workshop on Sensor-based Activity Recognition and Interaction (iWOAR), pp. 14:1 – 14:7 [...] ons & Networking Conference (CCNC), pp. 1-2, DOI: 10.1109/CCNC.2018.8319304, ISBN: 978-1-5386-4790-5, Las Vegas, NV, USA, Januar 2018 Raluca Dees, Angela Merzweiler, Gerd Schneider, Martin Kasparick, Lars

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

  7. Liste

    der Förderer der Universität Rostock 2017 (04.12.2017) B.Sc. Mohamad Albadawi (Syrien), Student im 5. Fachsemester im Master-Studiengang Visual Computing, erhält am 4. Dezember 2017 den Preis der Gesellschaft [...] 2017) Dr.-Ing. Peter Danielis (Institut für Angewandte Mikroelektronik und Datentechnik) erhält am 5. Oktober 2017 einen Best Paper Award der 8. IEEE Annual Information Technology, Electronics and Mobile [...] Eurographics – Fellow auf Lebenszeit gewählt. read more 01.04.2017 Deutschland STIPENDIUM 2017 (01.04.2017) 5 Studierende der Fakultät für Informatik und Elektrotechnik erhalten ab dem 1. April 2017 als Nachrücker

    https://www.ief.uni-rostock.de/en/fakultaet/geschichte/preise-und-ehrungen/preise-und-ehrungen-2017/liste/

  8. Aktuelles

    einem fachfremden Publikum präsentieren zu können. Das Video finden Sie » hier «. DEMel-Projekt beim 5. Rostocker Forschungscamp Beim diesjährigen Forschungscamp an der Uni Rostock wurde auch das hispanistische [...] Projekt am 23.11.17 dem interessierten Publikum näher. Alle Infos zum Forschungscamp finden Sie hier . 5. Taller lexicográfico Vom 14.–17. Mai 2017 trafen sich die das komplette DEM el -Projektteam (bestehend [...] (bestehend aus Projektleitung, Projektoordination und Projektmitarbeitenden) am Standort Rostock zum 5 o Taller lexicográfico , der unter dem Thema "El lemario del DEM el – Tratamiento de las fichas digitales"

    https://www.romanistik.uni-rostock.de/en/forschung/sprachwissenschaft/demel/aktuelles/

  9. Equipment funded by the European Regional Development Fund (ERDF)

    specific substance groups and identified. The possibility of injecting larger sample volumes of up to 5 µl with the temperature-programmable evaporator also supports this separation task. The 8890 GC system [...] automation systems available in the test field at the University of Rostock (AVL Puma Open 1.4.x, 1.5.x). The platform offers a high degree of flexibility with regard to distributed modelling and simulation [...] nm, laser class II) and enables measurements with a height resolution in the z-direction of up to 0.5 nm. Keyence VK-X200 Optical system: Confocal pinhole Total magnification: up to 28,800x (full image

    https://www.lkv.uni-rostock.de/en/laboratories/equipment-funded-by-the-european-regional-development-fund-erdf/

  10. FAQ

    followed by the RE 5 regional train, which takes around 2–3 hours. Alternatively, you can take the IC or Flixbus directly from the airport. From Hamburg Airport, it takes approximately 2–2.5 hours by S1 to [...] Depending on the program, we need the following documents from you: • Resumé • Statement of purpose (0.5–1 page) • Proof of enrollment, current transcript, or academic record • Proof of language proficiency

    https://www.uni-rostock.de/en/internationales/rostock-international-house/summer-schools-home-page/faq/

Displaying results 3101 to 3110 of 4868.
  • Previous
  • ...
  • 307
  • 308
  • 309
  • 310
  • 311
  • 312
  • 313
  • 314
  • 315
  • 316
  • ...
  • 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