Die TU Kaiserslautern und die Universität in Landau wurden am 1.1.2023 zur Rheinland-Pfälzischen Technischen Universität Kaiserslautern-Landau.
Fachbereich Informatik
Schnellzugriff
StudierendenServiceCenter
International Students
Universitätsbibliothek
Mensa
KIS Vorlesungsverzeichnis
Personensuche
Beschäftigte
Kontakt
Social Media
RSS
Facebook
Instagram
LinkedIn
Youtube
Twitter
DE
EN
FR
Suchen
Lehrstuhl Softwaretechnik
Sitemap
Toggle navigation
TUK
TUK
Studium
Vor dem Studium
Studienangebot
Studienangebot
Studiengangübersicht
Vor dem Studium
Finanzielles
Beratung
Beratung
Studienberatung
Angebote für SchülerInnen
Studieren ohne Abitur
Studieren mit Kind
Bewerbung
Bewerbung
Allgemeine Informationen zur Bewerbung
Allgemeine Informationen zur Bewerbung
Notwendige Unterlagen + Form
Hochschulwechsel
Sprachkenntnisse
Zulassung und Einschreibung
Fristen + Termine
Master
Fernstudium
Früheinstieg
Gasthörerschaft
Finanzielles
Stipendien
Studienkosten
BAföG
BAföG
Die wichtigsten Informationen
Antragstellung und Antragsformulare
Eignungsbeauftragte nach dem BAföG
Kontakt
Stipendien
Stipendien der TU Kaiserslautern
Stipendien der TU Kaiserslautern
Studium an der TUK
Studium an der TUK
Deutschland-Stipendium
Deutschland-Stipendium
DAAD Kontaktstipendium
DAAD für besonders engagierte Studierende
DAAD Abschlussstipendium
Exzellenzförderung
Anfängerinnenstipendium
Alleinstehende mit Kind
Felix-Klein-Stipendien
Promotion an der TUK
Promotion an der TUK
DFG Graduiertenkolleg
DAAD STIBET
Exzellenzförderung
Wiedereinstiegsstipendium
Abschlussförderung
Abschlussförderung
DAAD Abschlussstipendium
Studium im Ausland
Studium im Ausland
Europa
Ausserhalb Europas
Praktikum im Ausland
Wipprecht-Stiftung
Forschung an der TU
Externe Förderprogramme
Informationen und Ausschreibungen
Formulare und Richtlinien
Formulare und Richtlinien
Richtlinien
Formulare
Leben an der TUK
Leben an der TUK
Leben auf dem Campus
Freizeit in Stadt & Region
Studentische Gruppen
Im Studium
Im Studium
Studienangelegenheiten
Studienangelegenheiten
Beurlaubungen
Formalia im Präsenzstudium
Formalia im Präsenzstudium
Studien-Bescheinigungen
Chipkarte
Exmatrikulation
Studiengangwechsel
Rückmeldung
Praktika
Übergang Bachelor zum Master
Übergang Früheinstieg ins Präsenzstudium
Formalia im Fernstudium
Formalia im Fernstudium
Exmatrikulation
Rückmeldung
Studien-Bescheinigungen
Studiengangwechsel
Termine im Semester
eCampus
Prüfungsordnungen
Prüfungsordnungen
Archiv-Prüfungsordnungen
Prüfungen im Präsenzstudium
Prüfungen im Fernstudium (DISC)
Beratung und Information
Auslandssemester
Nach dem Studium
Nach dem Studium
Promotion
Forschung
Forschung
Übersicht
Koordinierte Forschung
Koordinierte Forschung
DFG-Sonderforschungsbereiche
DFG-Graduiertenkollegs
DFG-Forschungsgruppen
DFG-Schwerpunktprogramme
EU-finanzierte Kooperationsprojekte
EU-finanzierte Kooperationsprojekte
ERC-Projekte
Kooperationsprojekte
Marie-Skłodowska-Curie-Maßnahmen
Koordinierte Vorhaben in der anwendungsorientierten Forschung
Forschungsinitiative RLP
Forschungsinitiative RLP
Region und Stadt
ZNT
NanoKat
BioComp
AME
OPTIMAS
AI Enhanced Cognition and Learning
Baustelle der Zukunft
MathApp
SymbTools
Forschung in den Fachbereichen
Service für Forschung
Universität der Großregion (UniGR)
Transfer
Transfer
Anwendungsorientierte Forschung
Gründerservice: Startup TU YOU
Kontaktstelle für Information und Technologie
Patent- und Informationszentrum
Partner und Referenzen
Talente finden
Science and Innovation Alliance
Kinder-Uni
Weiterbildung
International
Brazil
Home
Home
Newsroom
Newsroom
Archive
Download Center
Calendar
Calendar
Archive
Photos
Photos
Photo Gallery
Facebook Photos
Press
Bachelor
Bachelor
Home
Home
Newsroom
Newsroom
Archive
Calendar
Calendar
Archive
Download Center
Photo Gallery
Press
Studierende
Studierende
Dein Weg nach Kaiserslautern
Erste Schritte
Wo wohnen?
Wie finanzieren?
Freizeitaktivitäten
Service & Beratung
ISGS-Welcome-Day
Bewerber
Bewerber
Warum Kaiserslautern?
Studienangebot
Bewerbung & Einschreibung
Bewerbung & Einschreibung
Bewerbungstermine
Bewerbungsprozess
Bewerbungsdokumente
Online-Bewerbungsportal
Services für Fachbereiche
Über uns
Über uns
So findest du die ISGS
Studierenden-Service-Center (SSC)
Kontaktpersonen
Master
China
Home
Home
Newsroom
Newsroom
Archive
Calendar
Calendar
Archive
Download Center
Photo Gallery
Press
Current Students
Current Students
Service & Support
Service & Support
Getting Started
Getting Started
Insurances
Bank Account
Registration as a Resident
Visa Extension
Orientation & Language
Orientation & Language
Orientation Course
Daily Life
Daily Life
Canteen
Road Traffic
Car & Equipment Rental
Public Transport
Public Transport
Rail Service
Bus Service
Health Services
Health Services
The German Health Service
Health Insurance for Students
Health Insurance for ISGS Students
Medical Services
Doctors and Hospitals
Emergency Services
Pharmacy
Communication
Leisure & Pleasure
The German Education System
The German Education System
Pre-School Education
Primary Education
Secondary Education
Make German friends
Enhance Your Degree
Enhance Your Degree
Industrial Visits & Excursions
Intercultural Competencies
Scientific & Academic Skills
DAAD Prize Award
Graduating & Leaving
Graduating & Leaving
Formalities at the End of Your Studies
Earning a PhD
Career Service
Career Service
Networking Dialogs
Networking Dialogs
Past Networking Dialogs
Graduation Ceremony
ISGS Alumni
ISGS Alumni
Stay in contact with ISGS & TUK
Alumni offers
ISGS Alumni-Dialogs
Event-offer
Prospective Students
Indonesia
Why Kaiserslautern?
Pakistan
Competition "Excellence in Teaching"
Rankings & Achievements
Student Reports
Russia
Country Specific Information
Turkey
Arab World
Brazil
China
India
Iran
Indonesia
Pakistan
Russia
Rwanda
Serbia
Thailand
Turkey
Uzbekistan
Fees & Living Expenses
Master Programs
Master Programs
Master Programs in English
Master Programs in German
The German Academic System
The German Academic System
Timetable & Examination Regulations
Class Terms
Exams
Application & Admission
Application & Admission
General Requirements
Language Requirements
Fees & Finances
Application Deadlines
Application Procedure
Admission & Enrollment
Admission & Enrollment
Student ID
Student ID
City & Region
Contact Persons
Travel & Accommodation
Travel & Accommodation
Obtaining Your Visa
Getting to Kaiserslautern
Accommodation
Accommodation
Guideline - Renting Private Apartments
Living Space and Rent
Living in an Apartment
Furniture
Opportunities in Kaiserslautern
Accomodation for ISGS Students
Contracts & Duties
About us
About us
How to reach us
Contact persons
PhD
PhD
Home
Home
Newsroom
Newsroom
Archive
Calendar
Calendar
Archive
Download Center
Photo Gallery
Press Releases
Current PhD-Students
Current PhD-Students
Research within a network of high profile research institutes
Research Assistant Jobs
Service & Support
Service & Support
Getting Started
Getting Started
Insurances
Bank Account
Registration as a Resident
Visa Extension
Orientation & Language
Orientation & Language
Orientation Course
Startup Events
Daily Life
Daily Life
Canteen
Road Traffic
Car & Equipment Rental
Public Transport
Health Services
Communication
Leisure & Pleasure
The German Education System
Graduating from university
Graduating from university
Formalities at the End of Your Studies
Graduation Ceremony
Graduation Ceremony
Registration Form
Prospective PhD-Students
Prospective PhD-Students
PhD Programs
PhD Programs
The Path to Your Doctorate Degree
Individual & Independent Research
International PhD Programs
Graduate Schools & Research Training
Application & Admission
Funding & Scholarships
Prearrangements
Prearrangements
Obtaining Your Visa
Accommodation
Accommodation
Living Space and Rent
Living in an Apartment
Furniture
Opportunities in Kaiserslautern
Accomodation for ISGS Students
Contracts & Duties
Getting to Kaiserslautern
Doktorandenforum
Doktorandenforum
Workshops
Interdisciplinary PhD Students Colloquium
Career Service
Career Service
Networking Dialogs
Networking Dialogs
Past Networking Dialogs
Job Application Series
Information on Career Entry
Related Links
About us
About us
How to reach us
Contact persons
Exchange
Exchange
Home
Home
Newsroom
Newsroom
Archive
Calendar
Calendar
Archive
Download Center
Photo Gallery
Press
Incoming Students
Incoming Students
ERASMUS Students
ERASMUS Students
Regulation for non-EU nationals (only ERASMUS)
Erasmuscout
Exchange Program Students
Freemover
Outgoing Exchange
Outgoing Exchange
Auslandsstudium
Auslandsstudium
Erasmus Program
Erasmus Program
ErasmuScout-Program
PROMOS
PROMOS
Field reports of students
German-French Study Programs
University of the Greater Region – UniGR
Erasmus MUNDUS Joint Master Programme
Auslandspraktikum
Für Mitarbeiter
Für Mitarbeiter
Erasmus+ Dozentenmobilität
ISGS International Day
Services for Faculties & Partners
Services for Faculties & Partners
Home
Home
Newsroom
Newsroom
Archive
Calendar
Calendar
Archive
Download Center
Photo Gallery
Press
Coordination of Graduate Programs
International Recruiting
International Recruiting
Recruiting on Higher Education Fairs
Recruiting via Online Study Portals
Print publications
International rankings & evaluations
Social Media Marketing
International Advertisement
Services for Dept., Chairs & Research Groups
Annual Reception
Annual Reception
Past Events
Registration Form
Services for PhDs & Professors
Networks & Partnerships
Networks & Partnerships
Home
Home
Newsroom
Newsroom
Archive
Calendar
Calendar
Archive
Download Center
Photo Gallery
Press
International Partnerships
International Networks
Membership & Participation
Joint Programs
About Us
About Us
Welcome by Vice President
Range of tasks
Team
Team
Student Assistants
IntClub
Flüchtlinge
Fachbereiche
Über die TUK
Referat Qualität in Studium und Lehre
Organisation
Systemakkreditierung
Universitätsleitung
Universitätsleitung
Hochschulentwicklungsplan
Geplante Zusammenführung TUK und Landau
Geplante Zusammenführung TUK und Landau
Strategie
Referate und Stabsstellen
Verfahren der Systemakkreditierung
Hochschulkommunikation
Marketing
Pressemitteilungen
Team
Expertendatenbank
Expertendatenbank
Prof. Dr. Maria Klatte
Prof. Dr. Dr. h.c. Arnold Rolf
Prof. Dr. Dengel, Andreas
Prof. Dr. Henning Fouckhardt
Prof. Dr.-Ing. Christian Glock
Prof. Dr. Michael Hassemer
Prof. Dr. Sascha Henninger
Juniorprof. Marc Herrlich
Prof. Dr. rer. nat. Johannes Herrmann
Prof. Dr. Marcus Höreth
Prof. Dr. rer. nat. Herwig Ott
Prof. Dr. Robert Jüpner
Prof. Dr. Sandro Keller
Prof. Dr. Ralf Korn
Prof. Dr. Stefan Kubik
Prof. Dr.-Ing. habil. Wolfgang Kunz
Prof. Dr. Detlef Kurth
Prof. Dr. rer. nat. Thomas Lachmann
Prof. Dr.-Ing. Wilko Manz
Prof. Dr. Gordon Müller-Seitz
Prof. Dr.-Ing. habil. Karina Pallagst
Prof. Dipl.-Ing. Oda Pälmke
Prof. Dr. Paul Lukowicz
Prof. Dr. Tanja Rabl
Dr. Francisca Rodriguez
Prof. Dr. Matthias Rohs
Prof. Dr. Dr. h.c. Dieter Rombach
Prof. Dr. Stefan Roth
Prof. Dr. Martin Ruskowski
Prof. Dr.-Ing. Hamid Sadegh-Azar
Prof. Dr. Mandy Schiefner-Rohs
Prof. Dr. Thomas Schmidt
Prof. Dr.-Ing. Hans D. Schotten
Prof. Dr. Bernd Simeon
Prof. Dr. Annette Spellerberg
Prof. Dr. Zuzana Storchova
Prof. Dr. Didier Stricker
Prof. Dr. Christina Surulescu
Prof. Dr. Werner R. Thiel
Prof. Dr. Gabi Troeger-Weiß
Prof. Dr. Michael von Hauff
Prof. Dr.-Ing. habil. Christos Vrettos
Prof. Dr.-Ing. Norbert Wehn
Prof. Dr. Philipp Weinschenk
Prof. Dr.-Ing. Wolfram Wellßow
Prof. Dr. Georg Wenzelburger
Prof. Dr. Dirk Bayer
Prof. Dr.-Ing Alois K. Schlarb
Prof. Dipl.-Ing. Dr. techn. Hans-Joerg Bart
Juniorprof. Dr. Svenja Carrigan
Prof. Dr.-Ing. Eberhard Kerscher
Prof. Dr.-Ing. Sergiy Antonyuk
Prof. Dr. Karen Joisten
Prof. Dr.-Ing. Jens C. Göbel
Prof. Dr.-Ing. Naim Bajcinca
Prof. Dr. rer. nat. Karsten Berns
Juniorprof. Dr. Daniela Czernochowski
Prof. Dr. Stefan Kins
Prof. Dr. Jochen Kuhn
Prof. Dr.-Ing. Holger Schmidt
Prof. Dr. Kai Tobias
Prof. Dr.-Ing. Jan Christian Aurich
Prof. Dr. rer. pol. Björn-Martin Kurzrock
Prof. Dr.-Ing. Joachim Hausmann
Prof. Dr. Klaus J. Zink
Prof. Dr. Zuzana Storchová
Prof. Dr. rer. nat. Eckhard Friauf
Dr. Mario Liebensteiner
Prof. Dr. Ping Zhang
Unimagazine
Unimagazine
Talk im Turm
Unispectrum
Unispectrum
Unispectrum Download
Unispectrum Live
Lernen.Forschen.Leben
Die TUK in den Medien
Die TUK in den Medien
Pressemitteilungen
TV
Veranstaltungen
Veranstaltungen
Villengespräche
Kinder-Uni
Kinder-Uni
Kinder-Uni-Lexikon
Infotag
Sommerball
Nacht, die Wissen schafft
Veranstaltungskalender
Fotoarchiv
Marketing
Corporate Design und Vorlagen
Marketingmaterialien
Marketingmaterialien
TU Präsentationen
Hochschulentwicklungsplan
Corporate Design und Vorlagen
Logos
Powerpointvorlagen
Plakatvorlage
Flyer & Broschüren
Schriftarten pt sans
Logos
Gütesiegel Berufungsverhandlungen
Logoartikel
Unterstützung Abiturzeitungen
Fundraising
Alumni
Alumni
In Kontakt bleiben
Alumni-Angebote
Unsere Alumni
Alumni-Treffen 2019
Wissenschafts-Reportagen
Campusführungen
Soziale Medien an der TUK
Soziale Medien an der TUK
Facebook Netiquette
Newsfeeds
Erstsemesterguide
Erstsemesterguide
Viele Wege führen an die Uni
Essen und Trinken an der TUK
Lern- und Leseorte
Service Center und Abteilungen
Rechenzentrum
AStA und Fachschaften
Sport und Freizeit
Wohnen in Kaiserslautern
Freizeit in Kaiserslautern
Referat für Forschung und Nachwuchsförderung
Referat für Forschung und Nachwuchsförderung
Nationale Forschung
National
Forschungsförderung
EU-/Internationale Forschung
EU-/International
EU-Projekte
EU-Projekte
ERC-Projekte
Kooperationsprojekte
Marie-Skłodowska-Curie-Maßnahmen
EFRE Projekte
Universität der Großregion
Universität der Großregion
Förderung wissenschaftlicher Veranstaltungen
Wer wir sind
Ziele der UniGR
Ziele der UniGR
Für Studierende und DoktorandInnen
Für DozentInnen und WissenschaftlerInnen
Leuchtturmbereiche
Leuchtturmbereiche
Materialwissenschaft
Biomedizin
Border Studies
UniGR Studierendenstatus
Nachwuchsförderung
Referat Qualität in Studium und Lehre
Förderung der Lehre
News
Leitbild Lehre
Veranstaltungen
Systemakkreditierung
Interne Verfahren der (Re)Akkreditierung
Verfahren der Systemakkreditierung
Vorphase: Modellprojekt
Vorphase: Modellprojekt
Interne Verfahren der (Re)Akkreditierung
Datenbank interne (re)akkreditierte Studiengänge
Prozess-/Verfahrens-übersicht
Akkreditierungs-kriterien
Datenbank interne (re)akkreditierte Studiengänge
Studiengangentwicklung
Studiengangentwicklung
Einrichtung, Änderung und Aufhebung von Studiengängen
Interne Verfahren
Externe Verfahren
Befragungen
Befragungen
Studiengangbefragung
Leitfadengestützte-Evaluationsgespräche
Lehrveranstaltungs-befragung
Workloaderhebung
Abbrecherbefragung
Absolventenbefragung
Downloads
Förderung der Lehre
Workshop Lehre Plus
Workshop Lehre Plus
Archiv
Archiv
Distinguished Teaching Award
Distinguished Teaching Award
Preisträgerinnen und Preisträger
Lehre Plus-Projekte
Sonderprojekte
Hochschuldidaktik
Exzellente Lehre
Aktuelle Ausschreibungen
Gremien
Gremien
Senatskommission Qualität in Studium und Lehre
Akkreditierungs-ausschuss
Projekte
Projekte
Qualitätsentwicklung Lehre Plus
Qualitätssicherung Plus
Verbesserte Studieneingangsphase
Studierenden-Erfolg erhöhen
Netzwerk Quality Audit
Team
Downloadbereich (TU-intern)
Downloadbereich (TU-intern)
Handreichungen/ Downloads
Quängelbox
Referat Technologie und Innovation
Zentrale Einrichtungen
Verwaltung & Service
Verwaltung & Service
Zentrales
Zentrales
Veranstaltungsmanagement
Veranstaltungsmanagement
Fachbereiche, Verwaltung und zentrale Einrichtungen
Hochschulgruppen und Fachschaften
Externe Veranstalter
Recht
Recht
Verkündungsblatt
Wahlen
Finanzen
Finanzen
Vergabeverfahren
Vergabeverfahren
Ausschreibungen
Personal
Studentisches
Bauen und Technik
Allgemeine Services
Allgemeine Services
Chipkarte
Chipkarte
Funktionen
Technik
Datenschutz
Pflege der Chipkarte
Problembehandlung
FAQ
Chipkarte Service Point
Bedienstete und Gäste Chipkarte
KIS - Informationen und FAQ
KIS - Informationen und FAQ
Mobile Sync
Mobile Sync
Hier geht's zur Einrichtung
Was ist Mobile Sync?
Wie funktioniert es?
Vorteile von Mobile Sync
Mobile Sync für Dozentinnen und Dozenten
KIS-Beauftragte
FAQ-Dozenten
FAQ-Fachstudienberater
FAQ-Organisationseinheiten
Handbücher zu KIS
Raumbuchung im KIS
Hochschulgremien
Hochschulgremien
Hochschulrat
Senat
Kuratorium
Beiräte für Forschung und Lehre
Fachbereichsräte
Akkreditierungsausschuss
Transferbeirat
Ombudsgremium "Gute wissenschaftliche Praxis"
Ombudsgremium "Gute wissenschaftliche Praxis"
Aufgaben (Ombudsgremium)
Verfahrensordnung (Ombudsgremium)
Ombudsgremium "Ethik sicherheitsrelevanter Forschung"
Ombudsgremium "Ethik sicherheitsrelevanter Forschung"
Aufgaben
Studentische Gremien
Zahlen und Fakten
Institute
Vertretungen und Fachkräfte
proCampus
Auszeichnungen und Ehrungen
Stiften und Fördern
Stiften und Fördern
Deutschlandstipendium
Deutschlandstipendium
Grundlagen und Richtlinien
Informationen für Förderer
Informationen für Förderer
Hochschulporträt
Möglichkeiten und Vorteile
Werden Sie Förderer
Downloads
Spenden
Aktuelle Förderer
Wir fördern, weil.......
Studierende
Studierende
FAQ
Ansprechpartner
Sprecherin 2018/2019
Bildergalerien
Video
Bilanz Deutschlandstipendium
Stiftung für die TU Kaiserslautern
Erfolgreiche Förderprojekte
Erfolgreiche Förderprojekte
Stiftungskapital
Stiftungshaus Villa Denis
Möglichkeiten und Vorteile
Partner und Förderer der TUK
Weitere Stiftungen an der TU
Ansprechpartner
Gleichstellung, Vielfalt und Familie
Menschen mit Behinderung
Nachhaltigkeit an der TUK
Gesundheit an der TUK
Gesundheit an der TUK
Studentisches Gesundheitsmanagement
Studentisches Gesundheitsmanagement
Poster UHR Ergebnisse
Ergebnisse des UHR 2018
Betriebliches Gesundheitsmanagement
Betriebliches Gesundheitsmanagement
Ziele
BGM-Prozess
Angebote
Beratungswegweiser
Stellenangebote und Karriere
Stellenangebote und Karriere
Ausbildung an der TU
Ausbildung an der TU
Unsere Ausbildungsstätte
Ausbildungsstellen 2020
Hinweise zur Bewerbung
Berufsspezifische Informationen
Berufsspezifische Informationen
Ausbildung: Index zum Fachinformatiker für Systemintegration
Ausbildung: Index zum Fachinformatiker für Systemintegration
Ausbildung zum Fachinformatikerin / Fachinformatiker Fachrichtung Systemintegration RHRK
Ausbildung zum Fachinformatiker/in für Systemintegration (MV)
Stellenangebote
Professuren
Hiwi-Stellenbörse
TUK Career Center
Von der Uni in den Beruf
Freundeskreis
Leben und Kultur
Leben und Kultur
Leben auf dem Campus
Game of TUK
Freizeit in Stadt & Region
Wohnen
Veranstaltungen
Tagungszentrum Villa Denis
Tagungszentrum Villa Denis
Konzerte und Ausstellungen
Die Villengespräche
Räume und Bestuhlung
Serviceangebot und AktivPaket
Serviceangebot und AktivPaket
Tagungspauschalen
Anfahrt
Kontakt und Buchung
Gästehaus
Studentische Gruppen
Geschichte der Universität
FB
FB
Aktuelles
Studium
Forschung
Organisation
Kontakt
Team
Übersicht
Annette Bieniusa
Arnd Poetzsch-Heffter
Konzepte objektorientierter Programmierung
Albert Schimpf
Elena Yanakieva
Judith Stengel
Caroline Frey
Thomas Schneider
Former Members
Christoph Feller
Patrick Michel
Yannick Welsch
Ilham Kurnia
Houssam Abdoullah
Malte Brunnlieb
Thomas Fischer
Thomas Grundmann
Gabriele Weiler
Jean Marie Gaillourdet
Kathrin Geilmann
Nicole Rauch
Marek Gawkowski
Sebastian Schlosser
Mathias Weber
Deepthi Akkoorath
Jan Schäfer
Markus Reitz
Peter Zeller
Lehre
Masterarbeiten
Bachelorarbeiten
SS 23
Programming Distributed Systems
Lecture: Verification with the Coq Proof Assistant
Bachelor/Master Project: Software Technology
WS 22/23
Compiler and Language Processing Tools
Seminar SWT
Forschung
Publikationen
Schnellzugriff
Schnellzugriff
StudierendenServiceCenter
International Students
Universitätsbibliothek
Mensa
KIS Vorlesungsverzeichnis
Personensuche
Beschäftigte
Kontakt
Social Media
Social Media
RSS
Facebook
Instagram
LinkedIn
Youtube
Twitter
DE
EN
FR
Suchen
AG Softwaretechnik
Lehre
SS 23
Sommersemester 2023
Programming Distributed Systems
Weiterlesen
Lecture: Verification with the Coq…
Weiterlesen
Bachelor/Master Project: Software…
Weiterlesen
Zum Seitenanfang
