Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessita'
Probabilistic Proof Systems: Interactive Proof Systems, The Power of Interactive Proofs, Zero-Knowledge Proof Systems.
COM - Complessita'
Randomness and Counting: Probabilistic Polynomial-Time, Two-sided error and One-sided error.
COM - Complessita'
The Bright Side of Hardness: One-Way Functions, Pseudorandom Generators, Computational Indistinguishability.
COM - Complessita'
Space Complexity: Time versus Space, Logarithmic Space, PSPACE and Games.
COM - Complessita'
Introduction and Preliminaries; Computational Tasks; Uniform Models (Turing machines, Time and space complexity, Oracle machines]; Complexity Classes.
COM - Complessita'
P, NP and NP-Completeness; The search version - finding versus checking; The decision version - proving versus verifying; Polynomial-time Reductions; NP-Completeness.

Insegnamenti "a scelta" che possono essere selezionati

1. Computer-supported co-operative working
2. Laboratory of embedded control systems
3. Laboratory of service design and engineering
4. Network security
5. Organizational information systems
6. Real time operating systems and middleware
7. Requirement engineering
8. Security engineering
9. Signals and systems
10. Security testing

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
Software verification
L - Logica
Verification of RTL circuits
L - Logica
SAT-based Model Checking
L - Logica
PSL/sugar
L - Logica
Model checking with timed and hybrid systems
L - Logica
Symbolic Model Checking
L - Logica
Computational Tree Logic Model Checking
L - Logica
Model checking
L - Logica
Linear Temporal Logic Model Checking
L - Logica
Ordered Binary Decision Diagrams
L - Logica
Linear Temporal Logic and Computation Tree Logic
L - Logica
Explicit-State Model Checking

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Modal Logic
MAT/01 - Logica Matematica
First Order Logic: Syntax and semantics, Reasoning, Exercises, Querying DB
MAT/01 - Logica Matematica
The logic of classes: Syntax and semantics, TBox, ABox, Exercises and Applications
MAT/01 - Logica Matematica
Introduction: Data and Knowledge Representation, Languages for Representation
MAT/01 - Logica Matematica
Modeling the World
MAT/01 - Logica Matematica
Propositional Logic: Syntax and semantics, Reasoning, Exercises

Sillabo dell'insegnamento

• B - Algoritmi
TAA - Tecniche Algoritmiche Avanzate
Document indexing
* ASC - Algoritmi su Strutture Combinatorie
Graph representation of social networks and their analysis; PageRank, Hits
TAA - Tecniche Algoritmiche Avanzate
Programming in the MapReduce framework
• M - Rappresentazione della conoscenza
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Unsupervised learning: hyerarchical clustering, k-means, SOMs
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Supervised learning techniques
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Semi-supervised learning

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• H - Computazione su rete
* PT - Protocolli
RIP, RIP-2 e i protocolli distance-vector; OSPF e i protocolli link state
* PT - Protocolli
BGP e i protocolli policy-based; Instradamento globale e topologia di Internet
GRC - Gestione di Reti di Calcolatori
Carico di una rete e stabilità; Ammissione delle chiamate;
GRC - Gestione di Reti di Calcolatori
Controllo reattivo della congestione e TCP; Metodi per stabilizzare TCP: mito e realtà; Multicast
* PT - Protocolli
Servizi voce/video su reti a pacchetto; Il trasporto: RTP/RTCP; Lo standard H.323
* PT - Protocolli
Lo standard SIP; Skype e gli approcci P2P; Servizi di IP-TV

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• I - Ingegneria del software
* ASW - Architetture Software
Introduction to the agent paradigm and multi-agent systems
* ASW - Architetture Software
Multi-agent applications and problems
* ASW - Architetture Software
Multi-agent interaction and cooperation (types of interaction, forms of cooperation, methods of cooperation, organization and cooperation)
* ASW - Architetture Software
Agent and multi-agent communication (speech acts, conversation, and KQML);
* ASW - Architetture Software
Collaboration and distribution of tasks (Models of tasks allocation - Centralized, Decentralized and Emergent)
* ASW - Architetture Software
The BDI Architecture; AUML ; FIPA; Agent-Oriented Methodologies (Gaia, Tropos, Prometheous, MAS-CommonKADS, Comparing AO methodologies);

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Problem classes: decidable, undecidable, semi-decidable; Church's Thesis
MAT/01 - Logica Matematica
Logical characterization of recursive functions: primitive and general recursion.
MAT/01 - Logica Matematica
m-reductions
MAT/01 - Logica Matematica
Enumeration of programs, Universal programs
MAT/01 - Logica Matematica
Classical results: padding lemma, s-m-n theorem, Kleene's normal form, fixed point theorem, Rice's theorem, Rice-Shapiro theorem
MAT/01 - Logica Matematica
Programming languages and their computational power: Lambda calculus, "for" and "while" languages.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* IMW - Ipertesti, Multimedialità e WWW
Mobility
* IMW - Ipertesti, Multimedialità e WWW
E-learning
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Groupware Evaluation
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Usability & Sociability
TMI - Teorie e Modelli per l'Interazione
Social Networking Platforms
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Groupware and design issues

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Petri Nets
L - Logica
Basics of domain theory
L - Logica
Modal and temporal logics
SLP - Semantica dei Linguaggi di Programmazione
Bisimulation semantics
SLP - Semantica dei Linguaggi di Programmazione
Operational semantics
SLP - Semantica dei Linguaggi di Programmazione
Calculus of Communicating Systems (CCS)

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• G - Basi di dati
BDA - Basi di Dati Avanzate
Managing Inconsistent Data, Entity Identification, Dataspaces, Keyword Searching Data Exchange
BDA - Basi di Dati Avanzate
View Updates and Updates Through Views, Semistructured Data and XML, Description Logic, RDF, RDF in Relational
BDA - Basi di Dati Avanzate
Answering Queries Using Views, Schema Integration, Schema Mapping
BDA - Basi di Dati Avanzate
Introduction to Information Integration Systems, Information Integration System Components, Mappings
BDA - Basi di Dati Avanzate
ER and Relational Model, Dependencies and Constraints, OO Data Modeling, Object Relational Systems
BDA - Basi di Dati Avanzate
Datalog, Conjunctive Queries, Query Containment, Chase

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• H - Computazione su rete
* FCD - Fondamenti del Calcolo Distribuito
Impossibility of Consensus, Randomized consensus, Failure detectors, Total order broadcast
* FCD - Fondamenti del Calcolo Distribuito
Distributed transactions, Atomic commit, Transaction recovery, Recent developments, Peer-to-Peer Systems
* FCD - Fondamenti del Calcolo Distribuito
Best effort, Reliable (Uniform, Regular), Causual, Randomized, Consensus
* FCD - Fondamenti del Calcolo Distribuito
Logical time and logical clocks, Global states, Distributed debugging, Synchronizing physical clocks, Broadcast
* FCD - Fondamenti del Calcolo Distribuito
Processes, Communication, Time and timing assumptions, Specifications: liveness and safety, Time and Global States
* FCD - Fondamenti del Calcolo Distribuito
Introduction and motivation, Inherent distribution, Distribution as an artifact, Basic abstractions

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
Elements of user interface (icons, menus, navigation, screen, colour, and typograghy). Practice of interface design
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
User evaluations: formative, summative, and usability evaluation approaches.
TMI - Teorie e Modelli per l'Interazione
Introduction to user- and task-centred design. Concept of utility, usability, and user-experience.
TMI - Teorie e Modelli per l'Interazione
Introduction to usability engineering
TMI - Teorie e Modelli per l'Interazione
Elements of cognitive psychology and the psychology of the user: (perception, memory, attention, decision making, problem solving and language, model human processor, distributed cognition) and their implications for design (metaphor, affordance, slip, mistake).
TMI - Teorie e Modelli per l'Interazione
Interaction styles and paradigms

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• C - Programmazione
PCC - Programmazione Concorrente
BPEL basics
• H - Computazione su rete
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
Cloud Deployment
PASR - Programmazione di Applicazioni e Servizi di Rete
Refresher on SOAP and Restful services
* ARTC - Architettura delle Reti di Calcolatori
Mashups
PASR - Programmazione di Applicazioni e Servizi di Rete
Process and Service Monitoring / Management
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
Cloud Computing

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• A - Fondamenti
V - Varie
Linear control design
V - Varie
Mathematical background
• B - Algoritmi
AN - Algoritmi Numerici
Modeling the plant
• E - Architetture
AA - Architetture Avanzate
software generation and testing
AA - Architetture Avanzate
C/C++ language on embedded platforms
AA - Architetture Avanzate
embedded control systems design

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• H - Computazione su rete
* PT - Protocolli
Routing in non-stationary networks
* ARTC - Architettura delle Reti di Calcolatori
Sensor networks, Vehicular Networks.
* ARTC - Architettura delle Reti di Calcolatori
Ad-Hoc Networks and PAN Networks: Bluetooth, Zigbee.
* PT - Protocolli
802.11e and QoS support; 802.11n: high throughput; other extensions.
* PT - Protocolli
WLAN: 802.11 standard; 802.11b MAC/PHY; 802.11g, 802.11a.
* ARTC - Architettura delle Reti di Calcolatori
Introduction: Wireless Networks Characteristics; general requirements of MAC protocols; MAC protocols: Aloha, CSMA.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
Design, implementation and live deployment of individual services
PASR - Programmazione di Applicazioni e Servizi di Rete
Setup of composed service-base application
PASR - Programmazione di Applicazioni e Servizi di Rete
Modern service middleware
PASR - Programmazione di Applicazioni e Servizi di Rete
Deployment, tuning and management of middleware platforms
PASR - Programmazione di Applicazioni e Servizi di Rete
Design, implementation and live deployment of composed service applications
• I - Ingegneria del software
* ASW - Architetture Software
Service-oriented approach to programming and business process management

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• H - Computazione su rete
* SR - Sicurezza delle Reti
Security
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Programming (& Reprogramming) Time synchronization & Localization
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Data Management
* PT - Protocolli
Medium Access Control
* PT - Protocolli
Routing
* ARTC - Architettura delle Reti di Calcolatori
Hardware & Communication architecture

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
Context Logics: Basics, Properties - Examples.
L - Logica
The concept of "logical modeling". Classical Logic: Propositional logic, First-order logic (short overview).
L - Logica
Classical Logics Extended: Modal logics, Knowledge, Belief, propositional attitudes
• M - Rappresentazione della conoscenza
BC - Basi di Conoscenza
Using Context Logic: propositional attitudes, beliefs, classifications. Using Contextual Description Logics: C-OWL.
ARC - Acquisizione e Rappresentazione della Conoscenza
Description Logics: DL Basics, Properties.
BC - Basi di Conoscenza
Ontologies (OWL), RelBAC

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Statistical Learning Theory: PAC learning, consistency, VC dimension, generalization and models comparison. Applications to text categorization and bioinformatics.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Neural networks: perceptron, multilayer neural networks.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Clustering: k-means, hierarchical clustering.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Kernel Machines: kernels, reproducing kernel Hilbert spaces, representer theorem, support vector machines for classification, regression and ranking, kernel construction, kernels for structured data.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Bayesian decision theory, maximum likelihood and Bayesian parameter estimation.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Introduction to machine learning: designing a machine learning system, learning settings and tasks, decision trees, k-nearest-neighbour estimation.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• B - Algoritmi
TAA - Tecniche Algoritmiche Avanzate
Mining of streaming data
* ASC - Algoritmi su Strutture Combinatorie
Association rules, sequential patterns
AN - Algoritmi Numerici
Clustering and classification
V - Varie
Algorithms for data mining
• H - Computazione su rete
* PT - Protocolli
Streaming data
PASR - Programmazione di Applicazioni e Servizi di Rete
Mining of web data

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• B - Algoritmi
V - Varie
Deep Linguistic Analysis for Question Answering: QA tasks (open, restricted, factoid, non-factoid), NLP Representation, Question Answering Workflow, QA Pipeline, Question Classification and QA reranking.
* A - Algoritmi fondamentali
Fine-Grained Opinion Mining: automatic review classification, deep opinion analysis, automatic product extraction and review, reputation/social media analysis.
TAA - Tecniche Algoritmiche Avanzate
Boolean retrieval, Search Engines, Relevance Feedback & Query Expansion, Document Filtering and Categorization, flat and hierarchical clustering, Latent Semantic Analysis, Web Crawling and the Google algorithm.
• M - Rappresentazione della conoscenza
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Statistical Machine Learning: Kernel Methods, Classification, Clustering, Ranking, Re-Ranking and Regression and hints to practical machine learning.
BC - Basi di Conoscenza
Vector space model, Feature Vectors
* SBC - Sistemi Basati su Conoscenza
Document Filtering and Categorization, flat and hierarchical clustering, Latent Semantic Analysis

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• A - Fondamenti
TIC - Teoria dell'Informazione e Codici
Hash functions (SHA-1, MD-5) Digital Watermarking (DVD)
TIC - Teoria dell'Informazione e Codici
One-Time-Pad, Stream Ciphers (RC4, GSM - A5/1) Block ciphers (DES, RC5, AES), Asymmetric Algorithms (Diffie-Hellman, RSA)
TIC - Teoria dell'Informazione e Codici
Security and Privacy, Availability, Autentication, Authorization, Accounting, Access Control, General Introduction (secret keys, public keys, digital signatures)
• H - Computazione su rete
* SR - Sicurezza delle Reti
Active attacks: IP spoofing, hijacking, cookie, cross-site scripting, Denial of service: ping of death, smurf, land, DDoS e rootkits.
* SR - Sicurezza delle Reti
Passive attacks: network scanning (TCP/SYN,UDP)
* SR - Sicurezza delle Reti
Authentication (NS-PK/AS, Kerberos, GSM), Key-agreement (Diffie-Hellman, Internet Key Exchange), Secure Web Connections (TLS/SSL), Secure Mobile Connections (WTLS), Electronic Payments (SET - Visa Mastercard, Cybercash), Secure Protocols for Mobility(Secure Mobile IP, Dynamic DNS)

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• G - Basi di dati
BDA - Basi di Dati Avanzate
Data integration technologies
BDA - Basi di Dati Avanzate
Data warehouse
BDA - Basi di Dati Avanzate
Service-oriented architectures
• I - Ingegneria del software
* ASW - Architetture Software
Technologies and architectures for organizational information systems
V - Varie
Modelling and analysis approaches for business processes
V - Varie
Modelling approaches for organizations, standards and reference architectures

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• F - Sistemi operativi
PS - Programmazione di Sistema
Real-time APIs (introduction to POSIX, clocks and timers, managing the concurrency, ...)
PS - Programmazione di Sistema
Introduction to cross-compilers; how to create a boot image for an embedded device
* GSP - Gestione e Sincronizzazione dei Processi
Latency in real-time kernels
* GSP - Gestione e Sincronizzazione dei Processi
System structures for reducing the latency (real-time executives, preemptable kernels, threaded IRQs, microkernels, ...)
MA - Modelli e Architetture di sistemi operativi
Introduction to real-time systems
* GSP - Gestione e Sincronizzazione dei Processi
Real-time sceduling (fixed and dynamic priorities, RM, DM, schedulability analysis, shared resources, ...)

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• I - Ingegneria del software
* AR - Analisi dei Requisiti
Requirements elicitation -- gathering information; interviews, questionnaires and observation; knowledge acquisition; observational methods, scenaria and use cases
* AR - Analisi dei Requisiti
Introduction -- what is requirements engineering? Why is it important? brief history; Requirements acquisition: problem identification, scoping the problem, defining the environment, degree of automation, feasibility study
* AR - Analisi dei Requisiti
Analysis -- validation, verification, simulation, exploration and inspection of requirements
* AR - Analisi dei Requisiti
Early requirements -- capturing intentions for requirements analysis, goal-oriented representations of requirements
* AR - Analisi dei Requisiti
Capturing rationale -- traceability, capturing design rationale, different types of non-functional requirements, including reliability, portability and performance; qualitative modelling and simulation techniques for representing and reasoning with non-functional requirements
* AR - Analisi dei Requisiti
Conceptual modeling and specification -- review of different notations for requirements modeling and specification; requirements specification documents; requirements specification standards

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• F - Sistemi operativi
V - Varie
Introduction/DAC, MAC/Multilevel, Integrity, Biba, Clark Wilson, Chinese Wall, RBAC, UNIX, Windows 2K
GCA - Gestione e Controllo degli Accessi
Authentication and Access Control
* GSP - Gestione e Sincronizzazione dei Processi
Run-time monitors, in-line monitors, statistic analysis
• I - Ingegneria del software
EPG - Aspetti Etici, Professionali e Giuridici
Validity of digital certificates,Security Policies and Law 675 on privacy and security
* AR - Analisi dei Requisiti
Security Requirements/UML Sec, Secure Tropos, Risk assessment, Privacy Policies
EPG - Aspetti Etici, Professionali e Giuridici
Computer Security, ISO Sec. Services and Mechanisms

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
process algebras (e.g. pi-calculus)
V - Varie
deterministic vs. probabilistic/stochastic models
• M - Rappresentazione della conoscenza
RA - Ragionamento Automatico
Gillespie's algorithms (Direct, First Reaction, Next Reaction Method, tau-leap)
AIA - Applicazioni della Intelligenza Artificiale
Using Gillespie's algorithms for running stochastic process algebras

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• I - Ingegneria del software
* TVV - Testing, Verifica e Validazione
regression test
* TVV - Testing, Verifica e Validazione
program analysis and understanding, acceptance test creation and execution
* TVV - Testing, Verifica e Validazione
unit test creation and execution; coverage, path and mutation test
* TVV - Testing, Verifica e Validazione
mutation test, automated path generation and path testing, regression test
* TVV - Testing, Verifica e Validazione
acceptance test and Fitnesse, unit test and JUnit, structural test (path and data flow)
* TVV - Testing, Verifica e Validazione
software maintenance and evolution, code analysis, testing levels and test adequacy, white box and black box testing

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• G - Basi di dati
V - Varie
Spatial-temporal systems
V - Varie
Spatial indexing methods
V - Varie
Use of the open-source GIS system GRASS
V - Varie
Algorithms for spatial operations
* LI - Linguaggi di Interrogazione di Basi di Dati
Languages for querying spatial databases
* ML - Modelli logici
Models of spatial data

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
Basic elements of transactions.
PASR - Programmazione di Applicazioni e Servizi di Rete
Application servers. Obiect-relational mapping. Overview of other emerging technologies.
PASR - Programmazione di Applicazioni e Servizi di Rete
Introduction to the XML world (including XSL).
PASR - Programmazione di Applicazioni e Servizi di Rete
Java technologies for the dynamic web: Servlets, Java Server Pages, JDBC, JNDI, Java RMI, Enterprise Java Beans 2.1 and 3.0.
PASR - Programmazione di Applicazioni e Servizi di Rete
DHTML: the ingredients (HTML, Javascript, DOM).
PASR - Programmazione di Applicazioni e Servizi di Rete
Web-based distributed systems architectures: problems and solutions. The HTTP protocol.

Insegnamenti "macro" nell'ambito dei quali può essere scelto