Results for Bib

42 results found.

Neu in Konstanz

ist denn eigentlich meine Matrikelnummer? Wie kann ich ein Buch ausleihen? Wo ist denn überhaupt die Bib? Und wie komme ich da nach langem Herumirren wieder raus?Was für Sportarten kann ich beim Hochschulsport …

https://www.wiwi.uni-konstanz.de/en/fachschaft/fuer-erstsemester/neu-in-konstanz/
En

QuantUM

Checking of Software (SPIN 2014), San Jose, CA, USA. (2014). Download:   [pdf] [BibTex] [www] Florian Leitner-Fischer and Stefan Leue: Probabilistic Fault Tree Synthesis using …

https://www.sen.uni-konstanz.de/en/research/research/quantum/
En

Publications

2018 SARA-Dienst: Software langfristig verfügbar machen. o-bib : Das offene Bibliotheksjournal. 2017 SARA Service: Long-Term Access and Publishing …

https://www.disy.uni-konstanz.de/en/research/publications/
En

Publications

von Neuzuwanderern: Evidenzen aus dem Mikrozensus und der ‚Neuzuwandererbefragung-Pilotstudie‘ des BiB.“ Zeitschrift für Bevölkerungswissenschaft 32(1-2): 161-182. Diehl, Claudia, and Rainer Schnell …

https://www.soziologie.uni-konstanz.de/en/chair-of-microsociology-prof-dr-claudia-diehl/research/publications/
En

UniCard

facilities managed by Seezeit student services Bodensee (canteen, Al stuDente, cafeteria, CampusCafé, BibCafé, Gießberghütte, SB machines). To top up your credit, you can use manually one of the cash terminals …

https://www.uni-konstanz.de/en/study/while-you-study/formalities/unicard/
En

Publications

of SCOOP Programs. Science of Computer Programming, 2016. Download:   [BibTex] [www] Florian Leitner-Fischer, Stefan Leue and Sirui Liu : Automated …

https://www.sen.uni-konstanz.de/en/publications/publications/
En

Publications

of SCOOP Programs. Science of Computer Programming, 2016. Download:   [BibTex] [www] Florian Leitner-Fischer, Stefan Leue and Sirui Liu : Automated …

https://www.sen.uni-konstanz.de/en/publications/publications/
En

FAQ

Aktuelle Informationen rund um die Sanierung der Bibliothek erhalten Sie auch auf der Facebook-Seite der Universität Konstanz …

https://www.uni-konstanz.de/en/university/news-and-media/topics-of-focus-jauss-library-renovation/rehabilitation-of-the-library/faq/
En

Seminar: Faults and Failures in Safety-Critical Systems

Seminar: Faults and Failures in Safety-critical Systems Schedule Seminar ( Prof. Dr. Stefan Leue , Martin Kölbl ) Thursday 13:30 - 15:00  Room PZ 901 The first session …

https://www.sen.uni-konstanz.de/en/teaching/current-term/past-terms/summer-term-2017/seminar-faults-and-failures-in-safety-critical-systems/
En

Powerbike

The Powerbike Project …

https://www.mmsp.uni-konstanz.de/en/research/projects/powerbike/
En