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 |
+ | http://www.infsec.ethz.ch/education/ss10/fmfp |
| David Basin, Peter Müller |
+ | |
+ | Course material |
+ | http://www.infsec.ethz.ch/education/ss10/fmfp/material |
| ) |
| |
| |
| operation systems [os] |
| software architecture [sa] |
| http://www.vvz.ethz.ch/Vorlesungsverzeichnis/lerneinheitPre. do?lerneinheitId=66418&semkez=2010S&lang=de |
| ( |
| Main page |
- | http://stefanheule.com |
+ | http://se.inf.ethz.ch/teaching/2010-S/0050/index.html |
| Bertrand Meyer, Michela Pedroni |
| ) |
| |
- | partial differential eq[pde] |
+ | partial differential eq [pde] |
| http://www.vvz.ethz.ch/Vorlesungsverzeichnis/lerneinheitPre. do?lerneinheitId=66453&semkez=2010S&lang=de |
| ( |
| Main page |
| http://stefanheule.com |
