IFI Kolloquium

04.07.2006

Prof. Ilkka Niemelä

Place: T4, Tannenhöhe

Prof. Ilkka Niemelä from Helsinki University of Technology will speak on ,,Bounded Model Checking using Answer Set Programming''.

Zurück

Hier können Sie die Barrierefreiheitstools unserer Website aktivieren oder deaktivieren.

Erforderlich

Zustimmen

Diese Cookies werden für eine reibungslose Funktion unserer Website benötigt.

Name	Zweck	Ablauf	Typ	Anbieter
CookieConsent	Speichert Ihre Einwilligung zur Verwendung von Cookies.	1 Jahr	HTML	Website

Schrift-Skalierung

Zustimmen

Name	Zweck	Ablauf	Typ	Anbieter
FontScaler	Aktiviert einige Schaltflächen am oberen Rand der Seite, um die Schriftgröße der Website zu skalieren	1 Monate	HTML	TU Clausthal

Readspeaker

Zustimmen

Name	Zweck	Ablauf	Typ	Anbieter
ReadSpeaker	Aktiviert die Funktion "Readspeaker", die Teile einer Seite oder die ganze Seite vorliest, ohne dass eine zusätzliche Software installiert werden muss	1 Monate	HTML	TU Clausthal

Druck-Schaltfläche

Zustimmen

Name	Zweck	Ablauf	Typ	Anbieter
PrintButton	Aktiviert eine Schaltfläche zum Ausdrucken der aktuellen Seite per Klick	1 Monate	HTML	TU Clausthal