Elenco corsi, a.a. 2012/2013
Code | Code | Year of course | Type | Credits | Sem | Titolo | |||
314AA | AlP | 2 | Complementary | 6 | 1 | Parallel and distributed algorithms | |||
316AA | ALG2 | 1 | Fundamental | 9 | 1 | Advanced algorithms | |||
317AA | AV | 2 | Complementary | 6 | 2 | Virtual Environments | |||
320AA | AA1 | 2 | Complementary | 6 | 1 | Machine Learning: fundamentals | |||
321AA | AA2 | 2 | Complementary | 6 | 2 | Machine Learning: neural networks and advanced models | |||
322AA | BSD | 2 | Complementary | 6 | 1 |
Decision Support Data Bases Borrowed from: |
|||
324AA | BD2 | 1 | Fundamental | 9 | 2 | Advanced Data Base Systems | |||
332AA | DMA | 2 | Complementary | 6 | 2 |
Data Mining: advanced topics and applications Borrowed from:
|
|||
335AA | DMF | 2 | Complementary | 6 | 1 |
Data Mining: foundations Borrowed from:
|
|||
337AA | ELN | 2 | Complementary | 6 | 2 | Natural Language Processing | |||
340AA | ESI | 2 | Complementary | 6 | 1 | Signal and Image Processing | |||
342AA | FGT | 2 | Complementary | 6 | 1 | Introduction to 3D computer graphics | |||
532AA | HPC | 2 | Complementary | 9 | 1 | High performance computing | |||
289AA | IR | 1 | Complementary | 6 | 1 | Information Retrieval | |||
290AA | ISS | 1 | Complementary | 9 | 1 | Advanced software engineering | |||
230EE | IBI | 2 | Complementary | 6 | 2 | Introduction to Biology | |||
254AA | LBD | 1 | Complementary | 6 | 2 | Database laboratory | |||
353AA | LBI | 2 | Complementary | 6 | 1 |
Business Intelligence laboratory Borrowed from:
|
|||
363AA | LMC | 2 | Complementary | 6 | 2 | Laboratory of computational mathematics | |||
255AA | LOG | 1 | Complementary | 6 | 1 | Introduction to logistics | |||
293AA | MFS | 2 | Complementary | 6 | 2 | Security methods and verification | |||
371AA | MNO | 1 | Fundamental | 12 | 1-2 | Numerical methods and optimization | |||
295AA | MPB | 2 | Complementary | 6 | 1 |
Methods for the specification and verification of business
processes Borrowed from:
|
|||
373AA | MVS | 2 | Complementary | 6 | 2 | Software verification methods | |||
375AA | MOD | 1 | Fundamental | 9 | 2 | Principles for software composition | |||
534AA | PAD | 2 | Complementary | 6 | 1 | Distributed enabling platforms | |||
379AA | PLP | 1 | Fundamental | 12 | 1-2 | Principle of Programming Languages | |||
479AA | PIV | 2 | Complementary | 6 | 1 | Interface design and usability evaluation | |||
301AA | PA | 1 | Fundamental | 9 | 1 | Advanced programming | |||
384AA | RMC | 2 | Complementary | 6 | 2 | Cellular Mobile Networks | |||
386AA | RHS | 2 | Complementary | 6 | 2 | Mobile ad hoc networks and wireless sensor networks | |||
387AA | ROB | 2 | Complementary | 6 | 2 | Robotics | |||
388AA | STT | 2 | Complementary | 6 | 2 | Semantics and Type theory | |||
303AA | SR | 2 | Complementary | 9 | 2 | ICT risk assessment | |||
259AA | SIM | 1 | Complementary | 6 | 2 | Simulation Modelling and Analysis | |||
393AA | SBC | 2 | Complementary | 6 | 2 | Knowledge based systems | |||
305AA | SPM | 2 | Fundamental | 9 | 2 | Parallel and Distributed Systems: paradigms and models | |||
260AA | SIT | 1 | Complementary | 6 | 1 | Introduction to Geographical Information Systems | |||
261AA | P2P | 1 | Complementary | 6 | 2 | Peer to peer systems and blockchains | |||
535AA | SPD | 2 | Complementary | 6 | 1 | Programming tools for parallel and distributed systems | |||
402AA | TAS | 2 | Complementary | 6 | 1 | Static Analysis Techniques | |||
403AA | TDP | 2 | Complementary | 6 | 2 | Design patterns | |||
404AA | TSB | 2 | Complementary | 6 | 2 | Methods and Techniques for Computational Biology |