| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910583020603321 |
|
|
Autore |
Boldo Sylvie |
|
|
Titolo |
Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system / / Sylvie Boldo, Guillaume Melquiond |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, England : , : ISTE Press : , : Elsevier, , 2017 |
|
©2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (328 pages) : illustrations |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer arithmetic |
Floating-point arithmetic |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISALENTO991002850199707536 |
|
|
Titolo |
La Tecnica della scuola : Rassegna quindicinale dell'istruzione dell'obbligo. - 1949- |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISSN |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
|
3. |
Record Nr. |
UNINA9910892536903321 |
|
|
Titolo |
Das gesamte itzt-lebende Geistliche Ministerium, Im Gantzen Churfürstenthum Sachsen und incorporirten Landen, auch Ober- und Nieder-Laußnitz, Oder Das blühende Andencken Aller in Sachsen und Laußnitz Auch einigen andern angräntzenden Ländern Lebenden Evangelisch-Lutherischen Prediger, Wie solche im Jahre ... In Städten und aufm Lande floriret / Ausgefertiget Und mit drey accuraten Registern versehen Von JCCandern |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Leipzig, : Martini, 1723-1723 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
| |