top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
1: Basic numerical problems / R. Hammer, ... [et al.]
1: Basic numerical problems / R. Hammer, ... [et al.]
Pubbl/distr/stampa Berlin, : Springer, 1995
Descrizione fisica XV, 377 p. ; 25 cm
Soggetto topico 68N15 - Theory of programming languages [MSC 2020]
ISBN 978-36-427-9653-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0048552
Berlin, : Springer, 1995
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Basic numerical problems / R. Hammer ... [et al.]
1: Basic numerical problems / R. Hammer ... [et al.]
Pubbl/distr/stampa Berlin, : Springer, 1995
Descrizione fisica xv, 377 p. : ill. ; 25 cm
Soggetto topico 68N15 - Theory of programming languages [MSC 2020]
Soggetto non controllato Algorithms
Automatic results
C++ and C-XSC
Interval arithmetic
Self-validating numerics
Simplification of Programming
ISBN 978-36-427-9653-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00048552
Berlin, : Springer, 1995
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Basic numerical problems / R. Hammer ... [et al.]
1: Basic numerical problems / R. Hammer ... [et al.]
Pubbl/distr/stampa Berlin, : Springer, 1995
Descrizione fisica xv, 377 p. : ill. ; 25 cm
Soggetto topico 68N15 - Theory of programming languages [MSC 2020]
Soggetto non controllato Algorithms
Automatic results
C++ and C-XSC
Interval arithmetic
Self-validating numerics
Simplification of Programming
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00294017
Berlin, : Springer, 1995
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
C++ toolbox for verified computing : theory, algorithms and programs / R. Hammer, ... [et al.]
C++ toolbox for verified computing : theory, algorithms and programs / R. Hammer, ... [et al.]
Pubbl/distr/stampa Berlin, : Springer
Descrizione fisica v. ; 25 cm.
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0048550
Berlin, : Springer
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
C++ toolbox for verified computing : theory, algorithms and programs / R. Hammer, ... [et al.]
C++ toolbox for verified computing : theory, algorithms and programs / R. Hammer, ... [et al.]
Pubbl/distr/stampa Berlin, : Springer
Descrizione fisica volumi ; 25 cm
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0048550
Berlin, : Springer
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
C++ toolbox for verified computing : theory, algorithms and programs / R. Hammer ... [et al.]
C++ toolbox for verified computing : theory, algorithms and programs / R. Hammer ... [et al.]
Pubbl/distr/stampa Berlin, : Springer
Descrizione fisica volumi ; 25 cm
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00294015
Berlin, : Springer
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
C++ toolbox for verified computing : theory, algorithms and programs / R. Hammer, ... [et al.]
C++ toolbox for verified computing : theory, algorithms and programs / R. Hammer, ... [et al.]
Pubbl/distr/stampa Berlin, : Springer
Descrizione fisica volumi ; 25 cm
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00048550
Berlin, : Springer
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Soil geomorphology / Raymond B. Daniels, Richard D. Hammer
Soil geomorphology / Raymond B. Daniels, Richard D. Hammer
Autore Daniels, Raymond B.
Pubbl/distr/stampa New York, : Wiley, 1992
Descrizione fisica xvi, 236 p. : ill., maps ; 24 cm.
Disciplina 551.41(Geomorfologia)
Altri autori (Persone) Hammer, Richard D.
ISBN 04-7151-153-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0021232
Daniels, Raymond B.  
New York, : Wiley, 1992
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Soil Geomorphology / Raymond B. Daniels, Richard D. Hammer
Soil Geomorphology / Raymond B. Daniels, Richard D. Hammer
Autore Daniels, Raymond B.
Pubbl/distr/stampa New York, : Wiley, 1992
Descrizione fisica XVI, 236 p. : ill., maps ; 24 cm
Disciplina 551.41(Geomorfologia)
Altri autori (Persone) Hammer, Richard D.
ISBN 04-7151-153-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0021232
Daniels, Raymond B.  
New York, : Wiley, 1992
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Soil Geomorphology / Raymond B. Daniels, Richard D. Hammer
Soil Geomorphology / Raymond B. Daniels, Richard D. Hammer
Autore Daniels, Raymond B.
Pubbl/distr/stampa New York, : Wiley, 1992
Descrizione fisica XVI, 236 p. : ill., maps ; 24 cm
Disciplina 551.41(Geomorfologia)
Altri autori (Persone) Hammer, Richard D.
ISBN 04-7151-153-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00021232
Daniels, Raymond B.  
New York, : Wiley, 1992
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui