List of Courses

Elenco corsi, a.a. 2011/2012

Code

Code

Year of course

Type

Credits

Sem

Titolo

314AA

AlP

2

Complementary

6

1

Parallel and distributed algorithms

315AA

ABI

2

Complementary

6

2

Algorithms for bioinformatics

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

503AA

CPA

2

Complementary

6

1

Complements of distributed enabling platforms

332AA

DMA

2

Complementary

6

2

Data Mining: advanced topics and applications
Borrowed from:

Data mining: advanced aspects and applications

335AA

DMF

2

Complementary

6

1

Data Mining: foundations
Borrowed from:

Data mining: foundations

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

344AA

ID

2

Complementary

6

1-2

Informatics and education

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:

Business Intelligence laboratory

363AA

LMC

2

Complementary

6

2

Laboratory of computational mathematics

291AA

LPD

2

Complementary

6

1

Laboratory of distributed software design

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:

Business processes modelling

151BB

MF

2

Complementary

6

2

Models of physics

375AA

MOD

1

Fundamental

9

2

Principles for software composition

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

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

304AA

SPA

2

Complementary

6

1

High performance computing systems and enabling platforms

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

308AA

SPD

2

Complementary

9

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