1.

Record Nr.

UNISA990000210680203316

Autore

International conference TPCD'94 : 2. : 1994

Titolo

Theorem provers in circuit design : theory, practice and experience : second International conference, TPCD '94 : Bad Herrenalb, Germany, September 26-28, 1994 : proceedings / Ramayya Kumar, Thomas Kropf (eds.)

Pubbl/distr/stampa

Berlin [etc.] : Springer-Verlag, copyr. 1995

ISBN

3-540-59047-1

Descrizione fisica

VIII, 303 p. : ill. ; 25 cm

Collana

Lecture notes in computer science ; 901

Disciplina

62139

Collocazione

001 LNCS (901)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia



2.

Record Nr.

UNISOBE600200070627

Titolo

[4] : Moral / von Gottlob August Tittel

Pubbl/distr/stampa

Bruxelles, : Culture et civilisation, 1973

Descrizione fisica

358 p. ; 19 cm

Collana

Aetas kantiana ; 283

Lingua di pubblicazione

Tedesco

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Rist. anast. dell'ed.: Frankfurt am Mayn, 1785

3.

Record Nr.

UNIORUON00316285

Autore

BOSWELL, Robert

Titolo

The half-known world : on writing fiction / Robert Boswell

Pubbl/distr/stampa

Saint Paul ( (Usa), : Graywolf Press, 2008

ISBN

978-15-559-7504-3

Descrizione fisica

VIII, 189 p. ; 22 cm.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia