1.

Record Nr.

UNISA990003114200203316

Autore

International conference, TAP 2008 : <2.;  : 2008

Titolo

Tests and proofs : second international conference, TAP 2008 : Prato, Italy, April 9-11, 2008 : proceedings / Bernhard Beckert, Reiner Hahnle (Eds.)

Pubbl/distr/stampa

Berlin [etc.] : Springer, copyr. 2008

ISBN

978-3-540-79123-2

Descrizione fisica

X, 191 p. : ill. ; 24 cm

Collana

Lecture notes in computer science ; 4966

Disciplina

005.14

Soggetti

Ingegneria del software - Congressi - Prato - 2008

Elaborazione dati - Congressi - Prato - 2008

Collocazione

001 LNCS 4966

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia



2.

Record Nr.

UNICAMPANIAVAN00208206

Autore

Bose, Sownak

Titolo

Beyond ΛCDM : Exploring Alternatives to the Standard Cosmological Paradigm : Doctoral Thesis accepted by the University of Durham, Durham, UK / Sownak Bose

Pubbl/distr/stampa

Cham, : Springer, 2018

Titolo uniforme

Beyond ΛCDM

Descrizione fisica

xxxiv, 181 p. : ill. ; 24 cm

Soggetti

83-XX - Relativity and gravitational theory [MSC 2020]

83C56 - Dark matter and dark energy [MSC 2020]

83Fxx - Cosmology [MSC 2020]

85-XX - Astronomy and Astrophysics [MSC 2020]

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia