Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Modelling and performance evalutation methodology : proceedings of the International seminar Paris, France, january 24-26, 1983 / edited by F. Baccelli, G. Fayolle
| Modelling and performance evalutation methodology : proceedings of the International seminar Paris, France, january 24-26, 1983 / edited by F. Baccelli, G. Fayolle |
| Autore | Baccelli, François Louis <1954- > |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer-Verlag, 1984 |
| Descrizione fisica | 653 p. : ill. ; 24 cm |
| Disciplina | 621.382 |
| Altri autori (Persone) | Fayolle, G. |
| Collana | Lecture notes in control and information sciences |
| Soggetto non controllato |
Reti di computer - congressi
Protocolli per reti di computer - Congressi |
| ISBN | 3-540-13288-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000459360403321 |
Baccelli, François Louis <1954- >
|
||
| Berlin ; Heidelberg : Springer-Verlag, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Protocol specification, testing, and verification : proceedings of the IFIP WG6.1 second international workshop on protocol specifictaion, testing, and verification, organized by USC/ISI Idyllwild, California, U.S.A., 17-20 may 1982 / edited by Carl Sunshine
| Protocol specification, testing, and verification : proceedings of the IFIP WG6.1 second international workshop on protocol specifictaion, testing, and verification, organized by USC/ISI Idyllwild, California, U.S.A., 17-20 may 1982 / edited by Carl Sunshine |
| Autore | IFIP WG 6.1 International workshop on protocl specification, testing, and verification : <2. ; : 1982 |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1982 |
| Descrizione fisica | 572 p. : ill. ; 23 cm |
| Disciplina | 004.62 |
| Soggetto non controllato | Protocolli per reti di computer - Congressi |
| ISBN | 0-444-86481-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000460030403321 |
|
IFIP WG 6.1 International workshop on protocl specification, testing, and verification : <2. ; : 1982
|
||
| Amsterdam : North-Holland, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Protocol specification, testing, and verification, III : proceedings of the IFIP WG 6.1 third international workshop on protocol specification, testing, testing and verification, organized by IBM research Ruschlikon, Switzerland, 31 may- 2 june, 1983 / edited by Harry Rudin, Colin H. West
| Protocol specification, testing, and verification, III : proceedings of the IFIP WG 6.1 third international workshop on protocol specification, testing, testing and verification, organized by IBM research Ruschlikon, Switzerland, 31 may- 2 june, 1983 / edited by Harry Rudin, Colin H. West |
| Autore | IFIP WG 6.1 International workshop on protocol specification, testing, and verification : <3. ; : 1983 |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1983 |
| Descrizione fisica | 531 p. : ill. ; 24 cm |
| Disciplina | 004.62 |
| Soggetto non controllato | Protocolli per reti di computer - Congressi |
| ISBN | 0-444-86769-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000455140403321 |
| IFIP WG 6.1 International workshop on protocol specification, testing, and verification : <3. ; : 1983 | ||
| Amsterdam : North-Holland, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 fourth International workshop on protocol specification, testing, and verification organized by Columbia University Skytop Lodge, Pennsylvania, U.S.A., june 11-14, 1984 / edited by Yechiam Yemini, Robert Strom, Shaula Yemini
| Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 fourth International workshop on protocol specification, testing, and verification organized by Columbia University Skytop Lodge, Pennsylvania, U.S.A., june 11-14, 1984 / edited by Yechiam Yemini, Robert Strom, Shaula Yemini |
| Autore | IFIP WG 6.1 International workshop on protocol specification, testing, and verification : <4. ; : 1984 |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1985 |
| Descrizione fisica | 720 p. : ill. ; 24 cm |
| Disciplina | 004.62 |
| Soggetto non controllato | Protocolli per reti di computer - Congressi |
| ISBN | 0-444-87676-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000455880403321 |
|
IFIP WG 6.1 International workshop on protocol specification, testing, and verification : <4. ; : 1984
|
||
| Amsterdam : North-Holland, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 fifth international workshop on protocol specification, testing, and verification organized by the LAAS du CNRS Toulouse-Moissac, France, june 10-13, 1985 / edited by Michel Diaz
| Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 fifth international workshop on protocol specification, testing, and verification organized by the LAAS du CNRS Toulouse-Moissac, France, june 10-13, 1985 / edited by Michel Diaz |
| Autore | IFIP WG 6.1 International workshop on protocol specification, testing, and verification : <5. ; : 1985 |
| Pubbl/distr/stampa | Amsterdan : North-Holland, 1986 |
| Descrizione fisica | 544 p. : ill. ; 24 cm |
| Disciplina | 004.62 |
| Soggetto non controllato | Protocolli per reti di computer - Congressi |
| ISBN | 0-444-87881-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000455240403321 |
|
IFIP WG 6.1 International workshop on protocol specification, testing, and verification : <5. ; : 1985
|
||
| Amsterdan : North-Holland, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||