 |
|
||||||||||
2012 Spring Semester
Search video
Kolloquium für Informatik
Towards a Semantic Program Development Environment
19.03.2012, Logozzo, Francesco
 |
The PlusCal Algorithm Language - unpublished Colloquium 14.05.2012, Lamport, Leslie |
|
|
Probabilistic Techniques for Mobile Robot Navigation 07.05.2012, Burgard, Wolfram |
|
|
Scientific Data Management: Not Your Everyday Transaction 23.04.2012, Ailamaki, Anastasia |
|
|
The Smart Phone: Why we don't have one and what it'll take to build one 02.04.2012, Dey, Anind |
|
 |
Towards a Semantic Program Development Environment 19.03.2012, Logozzo, Francesco |
|
|
Experiments in Social Computation 05.03.2012, Kearns, Michael |
|
|
Detecting stable dictatorships and juntas 20.02.2012, Friedgut, Ehud |
|
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne
graphische Elemente dargestellt. Die Funktionalität der
Website ist aber trotzdem gewährleistet. Wenn Sie diese
Website regelmässig benutzen, empfehlen wir Ihnen, auf
Ihrem Computer einen aktuellen Browser zu installieren. Weitere
Informationen finden Sie auf
folgender
Seite.
Important Note:
The content in this site is accessible to any browser or
Internet device, however, some graphics will display correctly
only in the newer versions of Netscape. To get the most out of
our site we suggest you upgrade to a newer browser.
More
information
