|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990009243940403321 |
|
|
Titolo |
Formal Modeling and Analysis of Timed Systems [Risorsa elettronica] : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings / edited by Paul Pettersson, Wang Yi |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; Heidelberg : Springer, 2005 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science , 0302-9743 ; 3829 |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA990001264450203316 |
|
|
Autore |
ABI <Associazione Bancaria Italiana> |
|
|
Titolo |
E-banking : nuovi scenari e nuove strategie per le banche italiane : 6. convention ABI, Sorrento 16-17 ottobre 2000 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Roma : Bancaria editrice, copyr. 2000 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Internet - Impiego nei servizi finanziari |
|
|
|
|
|
|
Collocazione |
|
332.102 ABI 4/1 (IRA 31 255/1) |
332.102 ABI 4/2 (IRA 31 255/2) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Tit. della cop. |
Pubbl. a fogli mobili |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
<1>: Libro bianco, documenti del progetto e atti della convention. - 1 v. (paginazione varia) ; <2>: Atti della convention. - 448 p. |
|
|
|
|
|
|
|