Information
The changes are displayed in the unified format.
New lines are highlighted in green, while deleted lines are red. All other lines are unchanged and can be used for orientation.
| formal methods [fm] |
| http://www.vvz.ethz.ch/Vorlesungsverzeichnis/lerneinheitPre. do?lerneinheitId=64520&semkez=2010S&lang=de |
| ( |
| Main page |
- | / |
+ | http://stefanheule.com |
| David Basin, Peter Müller |
| ) |
| |
| |
| operation systems [os] |
| http://www.vvz.ethz.ch/Vorlesungsverzeichnis/lerneinheitPre. do?lerneinheitId=66406&semkez=2010S&lang=de |
| ( |
| Main page |
- | / |
+ | http://stefanheule.com |
| Gustavo Alonso, Timothy Roscoe |
| ) |
| |
| |
| information security [is] |
| http://www.vvz.ethz.ch/Vorlesungsverzeichnis/lerneinheitPre. do?lerneinheitId=66416&semkez=2010S&lang=de |
| ( |
| Main page |
- | / |
+ | http://stefanheule.com |
| David Basin, Ueli Maurer |
| ) |
| |
| software architecture [sa] |
| http://www.vvz.ethz.ch/Vorlesungsverzeichnis/lerneinheitPre. do?lerneinheitId=66418&semkez=2010S&lang=de |
| ( |
| Main page |
- | / |
+ | http://stefanheule.com |
| Bertrand Meyer, Michela Pedroni |
| ) |
| |
| partial differential eq[pde] |
| http://www.vvz.ethz.ch/Vorlesungsverzeichnis/lerneinheitPre. do?lerneinheitId=66453&semkez=2010S&lang=de |
| ( |
| Main page |
- | / |
+ | http://stefanheule.com |
| Ralph Hiptmair |
| ) |
| |
| |
