1.

Record Nr.

UNISA990000125810203316

Autore

Snyder, Wagner

Titolo

A proof theory for general unification / Wagner Snyder

Pubbl/distr/stampa

Boston [etc.] : Birkauser, 1991

ISBN

0-8176-3593-9

Collana

Progress in computer science ; 11

Disciplina

511.3

Collocazione

511.3 SNY

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

2.

Record Nr.

UNISA990003404730203316

Autore

SCULLINO, Davide

Titolo

Il led e l'illuminazione / Davide Scullino

Pubbl/distr/stampa

Albino : Sandit, 2007

ISBN

978-88-89150-91-7

Descrizione fisica

IV, 89 p. : ill. ; 24 cm

Disciplina

621.381522

Soggetti

Illuminazione - Tecnica

Collocazione

621.381522 SCU

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia