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.)

• Record Nr.: UNISA990000210680203316
• Autore: International conference TPCD'94 : 2. : 1994
• 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

[4] : Moral / von Gottlob August Tittel

• Record Nr.: UNISOBE600200070627
• 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

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

• Record Nr.: UNIORUON00316285
• Autore: BOSWELL, Robert
• 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