Gabriel Andrés Renales 2011-07-26 22:25:53

 prueba categoria  Commenti disabilitati su Gabriel Andrés Renales 2011-07-26 22:25:53
Lug 262011
 
  Gabriel ANDRES RENALES, PhD. Ricercatore di Lingua spagnola e traduzione (SSD: L-LIN/07) –contacta: Dipartimento di Filologia, Letteratura e Linguistica Università degli Studi di Cagliari Via San Giorgio 12  –  09124 Cagliari, Italia Tel. +39 070 6756213; Email [(at)=@]: andres(at)unica.it –actividad académica, CV & publicaciones: http://people.unica.it/gabrielandres/

RISULTATI ESAME INGLESE 22/07/2011 (TOSSICOLOGIA)

 avvisi, Esami, Esito esami, Tossicologia 1° anno, Tossicologia 2° anno, Tossicologia 3° anno  Commenti disabilitati su RISULTATI ESAME INGLESE 22/07/2011 (TOSSICOLOGIA)
Lug 252011
 

Hanno superato la prova di INGLESE gli studenti con il seguente numero di matricola:

11340, 11878, 12028, 11912, 11706, 11877

Gli studenti che hanno superato la prova possono presentarsi per la registrazione mercoledì 26/07, ore 12.30 presso l’ufficio della docente, in viale sant’ignazio da laconi 13, Dipartimento di Scienze Botaniche.

Non hanno superato la prova di INGLESE:

12013, 11891, 11348, 11832, 12008, 11896, 12025, 11984, 11877, 10963

Terzo Questionario di Valutazione

 Senza categoria  Commenti disabilitati su Terzo Questionario di Valutazione
Lug 132011
 

Si può scaricare  da questo link il terzo e ultimo questionario di valutazione della didattica relativo ai moduli dei mesi di giugno e luglio.

Il questionario va compilato in forma anonima e consegnato al prof. Malavasi sabato 16 p.v. alle ore 9.

RISULTATI APPELLO INGLESE TOSSICOLOGIA (1/07/2011)

 avvisi, Esami, Esito esami, Tossicologia 1° anno, Tossicologia 2° anno, Tossicologia 3° anno  Commenti disabilitati su RISULTATI APPELLO INGLESE TOSSICOLOGIA (1/07/2011)
Lug 112011
 

Hanno superato la prova di Inglese gli studenti con il seguente numero di matricola: 11468, 11437, 11874, 11712, 11965, 11749, 10905

Non hanno superato la prova: 12008, 10963, 11435, 11896, 11198, 11348, 11340, 11984

Gli studenti che hanno superato la prova possono presentarsi martedì 19, ore 10

 (aula da definire). Contattare la docente per aggiornamenti.

Lug 052011
 

Hanno superato la prova di INGLESE gli studenti con il seguente numero di matricola: 1123311919, 11777, 11955, 11132, 11930, 11923, 11709, 11863, 11998, 11734, 11908, 11933, 11883, 11992, 12043, 11806.

Non hanno superato la prova: 11275, 11771, 12026, 11892, 11219, 10859, 11640, 11976, 11939, 11949, 11966, 11917, 11897, 12029, 11816, 11538, 11902.

Per la registrazione dell’idoneità gli studenti che hanno superato la prova possono presentarsi per la registrazione sul libretto lunedì 11 luglio alle ore 10.30 presso l’ufficio della docente in viale sant’ignazio da laconi 13, dipartimento di scienze botaniche.

Contracts in Distributed Systems

 Unica  Commenti disabilitati su Contracts in Distributed Systems
Lug 012011
 
Emilio Tuosto, Roberto Zunino and myself have introduced a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-as-processes and contracts-as-formulae paradigms. The calculus features primitives for advertising contracts, for reaching agreements, and for querying the fulfilment of contracts. Coordination among principals happens via multi-party sessions, which are created once agreements are reached. We have presented two instances of our calculus, by modelling contracts as (i) processes in a variant of CCS, and (ii) as formulae in a logic. With the help of a few examples, we have discussed [...]
 Scritto da alle 18:08
credits unica.it | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy

Nascondi la toolbar