1.

Record Nr.

UNINA990000470440403321

Autore

Copenhagen winter school on abstract software specifications : <1979>

Titolo

Abstract software specifications : 1979 Copenhagen winter school, january 22- february 2, 1979 proceedings / edited by D. Bjorner

Pubbl/distr/stampa

Berlin ; Heidelberg : Springer-Verlag, 1980

ISBN

3-540-10007-5

Descrizione fisica

566 p. : ill. ; 24 cm

Collana

Lecture notes in computer science ; 86

Disciplina

001.64'2

Locazione

DINEL

Collocazione

10 PRO 161

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia


2.

Record Nr.

UNINA990005763870403321

Autore

Massia, Pietro

Titolo

Ferdinando Gabotto: le carte dell'Archivio vescovile d'Ivrea fino all'anno 1313 e le bolle pontificie dei registri vaticani relativi ad Ivrea / indici di Pietro Massia ; editi a cura di Gino Borghezio

Pubbl/distr/stampa

Torino : F.lli Bocca, 1930

Descrizione fisica

p. 359-489 ; 25 cm

Collana

Documenti e studi sulla storia d'Ivrea pubblicati sotto il patronato di S.M. il Re ; 2-3

Biblioteca della Società storica subalpina ; 5-6

Locazione

FLFBC

Collocazione

GLOTT. B VI b 65

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia


3.

Record Nr.

UNISA990005513160203316

Autore

BERAN, Jan

Titolo

Statistics for long memory processes / Jan Beran

Pubbl/distr/stampa

Boca Raton ( (etc.)

Descrizione fisica

X, 315 p. ; 23 cm

Collana

Monographs on statistics and applied probability ; 61

Disciplina

519.5

Soggetti

Statistica - Metodi matematici

Processi stocastici

Collocazione

500 519.5 BER

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia