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