| 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 |
