Course overview 2011-2012
Courses for the department of Computer Science ’11-‘12
Course code |
Course name |
|
Credits |
|
Semester |
192135450 |
5 |
1A |
|||
192110902 |
5 |
1A |
|||
192111332 |
5 |
1A |
|||
192160400 |
10 |
1A -1B |
|||
192654000 |
5 |
1A |
|||
192110941/40 |
6 |
1A |
|||
192110880 |
5 |
1A |
|||
192350200 |
5 |
1A |
|||
192330301 |
5 |
1A |
|||
192110880 |
|
5 |
|
1A |
|
191210780 |
|
5 |
|
1A |
|
201000075 |
Wireless Sensor Networks |
|
|
|
1A |
192111700 |
Computability & Computational Complexity |
|
|
|
1A |
192194100 |
Cryptography 1 |
|
|
|
1A |
201100022 |
Cyber-crime Science |
|
|
|
1A |
192130022 |
Design of Digital Systems |
|
|
|
1A |
192150201 |
Distributed Trust Management |
|
|
|
1A |
192130092 |
Faulttolerant Digital Systems |
|
|
|
1A |
201100140 |
Hacker's Hut |
|
|
|
1A |
192195300 |
Hardware and Operating Systems Security |
|
|
|
1A |
192195500 |
Law in Cyberspace |
|
|
|
1A |
192194300 |
Linux Kernel and Hacker's Hut |
|
|
|
1A |
192135310 |
Modeling & Analysis of Concurrent Syst 1 |
|
|
|
1A |
192114100 |
Principles of Model Checking** |
|
|
|
1A |
192114300 |
Program Verification |
|
|
|
1A |
201100023 |
Security and Privacy in Mobile Systems |
|
|
|
1A |
192195200 |
Security in Organisations |
|
|
|
1A |
192166310 |
Speech and Language Processing 1 |
|
|
|
1A |
192135400 |
ADSA - Product Line Engineering |
|
|
|
1B |
192110720 |
Distributed Data Processing, MapReduce |
|
|
|
1B |
192130112 |
Distributed Systems |
|
|
|
1B |
192130122 |
Energy Efficient Embedded Systems |
|
|
|
1B |
192135320 |
Modeling & Analysis of Concurrent Syst 2 |
|
|
|
1B |
192114200 |
Quantitative Modeling and Analysis |
|
|
|
1B |
192110890 |
Sensor Data Management 2 |
|
|
|
1B |
192166320 |
Speech and Language Processing 2 |
|
|
|
1B |
192653000 |
5 |
1B |
|||
192661001 |
5 |
1B |
|||
192111233 |
5 |
1B |
|||
192320201 |
5 |
1B |
|||
192620300 |
|
5 |
|
1B |
|
192111092 |
Advanced Logic |
|
|
|
2A |
192110280 |
Advanced Programming Concepts |
|
|
|
2A |
192194200 |
Verification of Security Protocols |
|
|
|
2A |
192111301 |
Ubiquitous Computing |
|
|
|
2A |
192170015 |
Testing Techniques |
|
|
|
2A |
192195100 |
Software Security |
|
|
|
2A |
192194400 |
Seminar Information Security Technology |
|
|
|
2A |
192195400 |
Seminar (privacy) |
|
|
|
2A |
192130200 |
Real-time Systems 1 |
|
|
|
2A |
192160200 |
Knowledge Representation |
|
|
|
2A |
192194110 |
Cryptography 2 |
|
|
|
2A |
192140122 |
System Validation |
|
|
|
2B |
192130210 |
Real-time Systems 2 |
|
|
|
2B |
192110982 |
5 |
2A |
|||
192166420 |
10 |
2A -2B |
|||
192110961 |
5 |
2A |
|||
201000078 |
10 |
2A |
|||
192166370 |
10 |
2A -2B |
|||
192320850 |
5 |
2A |
|||
192320501 |
5 |
2A |
|||
192340101 |
5 |
2A |
|||
192620010 |
|
5 |
|
2A |
|
192652110 |
|
5 |
|
2B |
|
192653100 |
5 |
2B |
|||
192110860 |
5 |
2B |
|||
192320111 |
5 |
2B |
|||
192376500 |
5 |
2B |
|||
192340041 |
5 |
2B |
|||
192653100 |
|
5 |
|
2B |
|
192640020 |
|
5 |
|
2B |
|
|
|
|
|
|
|
**Links refer to the out of date 2010 course descriptions in Osiris
**Course not available in 2011-2012; will be available again in 2012-2013
Semester 1A: 01-09-2011 t/m 13-11-2011 1B: 14-11-2011 t/m 05-02-2012 2A: 06-02-2012 t/m 22-04-2012 2B: 23-04-2012 t/m 08-07-2012
For an up to date course description and overview:
www.utwente.nl/coursecatalogue (EN) or www.utwente.nl/onderwijscatalogus (NL)
Courses for the department of Electrical Engineering ’11-’12
Course code |
Course name |
|
Credits |
|
Semester |
191210760 |
5 |
1A - 1B |
|||
191210770 |
5 |
1A - 1B |
|||
191211690 |
5 |
1A |
|||
191210800 |
5 |
1A - 1B |
|||
191210870 |
5 |
1A |
|||
191210900 |
5 |
1A |
|||
191210740 |
5 |
1A |
|||
191210930 |
5 |
1A - 1B |
|||
191210780 |
5 |
1A |
|||
191211150 |
5 |
1A |
|||
191211080 |
5 |
1A |
|||
191211590 |
5 |
1A |
|||
191211310 |
5 |
1A |
|||
191210790 |
5 |
1A |
|||
192130240 |
|
5 |
|
1A |
|
192130092 |
|
5 |
|
1A |
|
192620000 |
|
5 |
|
1A |
|
193400141 |
|
5 |
|
1B |
|
192130022 |
|
5 |
|
1A |
|
191210750 |
10 |
1A - 1B |
|||
191211100 |
5 |
1A - 1B |
|||
191211720 |
5 |
1B |
|||
191211110 |
5 |
1B |
|||
191210960 |
5 |
1B |
|||
191210730 |
5 |
1B |
|||
192130250 |
|
5 |
|
1B |
|
191210001 |
|
5 |
|
1B |
|
192130500 |
|
5 |
|
1B |
|
192620300 |
|
5 |
|
1B |
|
191211710 |
5 |
1B |
|||
191210850 |
5 |
2A |
|||
191210720 |
5 |
2A |
|||
191211140 |
5 |
2A |
|||
191211470 |
5 |
2A |
|||
191210910 |
5 |
2A |
|||
191210950 |
5 |
2A |
|||
191211440 |
5 |
2A |
|||
191210880 |
5 |
2A |
|||
191211070 |
5 |
2A |
|||
191210820 |
5 |
2A |
|||
191211050 |
5 |
2A |
|||
191211300 |
5 |
2A |
|||
191211130 |
5 |
2A |
|||
191561620 |
|
5 |
|
2A |
|
191852630 |
|
5 |
|
2A |
|
191211320 |
5 |
2A |
|||
191210840 |
5 |
2B |
|||
191210940 |
5 |
2B |
|||
191211160 |
5 |
2B |
|||
191211330 |
5 |
2B |
|||
191211040 |
5 |
2B |
|||
191211120 |
5 |
2B |
|||
191211030 |
5 |
2B |
|||
191211060 |
5 |
2B |
|||
191211020 |
5 |
2B |
|||
191210920 |
5 |
2B |
|||
191211090 |
5 |
2B |
|||
191211500 |
5 |
2B |
|||
191211000 |
5 |
JAAR |
|||
191210970 |
5 |
JAAR |
|||
191211460 |
VLSI System Design (2010) |
5 |
JAAR |
||
|
|
|
|
|
|
*Links refer to the out of date 2010 course descriptions in Osiris
Semester 1A: 01-09-2011 t/m 13-11-2011 1B: 14-11-2011 t/m 05-02-2012 2A: 06-02-2012 t/m 22-04-2012 2B: 23-04-2012 t/m 08-07-2012