| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISOBVAN0090787 |
|
|
Autore |
Wamel, Jacobus Johannes : van |
|
|
Titolo |
Verification techniques for elementary data types and retransmission protocols : academisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op vrijdag 15 september 1995, te 10:00 uur / Jacobus Johannes van Wamel |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam, : Institute for logic, language and computation, 1995 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
68-XX - Computer science [MSC 2020] |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Universiteit van Amsterdam, Faculteit Wiskunde en Informatica. - Tesi di dottorato |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISALENTO991001260709707536 |
|
|
Autore |
Chou, Ya-Lun |
|
|
Titolo |
Statistical analysis with business and economic applications / Ya-Lun Chou |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York : Holt, Rinehart and Winston, Inc., 1975 |
|
|
|
|
|
|
|
Edizione |
[2nd ed.] |
|
|
|
|
|
Descrizione fisica |
|
xv, 894 p. : ill. ; 25 cm. |
|
|
|
|
|
|
Classificazione |
|
510.60 |
510.62 |
519.5'02'433 |
HA29 |
|
|
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |