| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA990002962100203316 |
|
|
Autore |
International conference, CAV 2004 : <16. ; : 2004 |
|
|
Titolo |
Computer aided verification : 16th International conference, CAV 2004 : Boston, MA, USA, July 13-17, 2004 : proceedings / Rajeev Alur, Doron A. Peled (eds.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin [etc.] : Springer, copyr. 2004 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
XIII, 536 p. : ill. ; 20 cm |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science ; 3114 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910156327803321 |
|
|
Autore |
Koide H |
|
|
Titolo |
Cellular and Molecular Biology of the Kidney : : International Symposium on Cell Biology of Nephron Heterogeneity: Fine Structure and Functions, Shizuoka, July 1990 / / editors, H. Koide, H. Endou, K. Kurokawa |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Basel : , : S. Karger, , 1991 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X + 288 pages) : : 112 figures, 32 tables |
|
|
|
|
|
|
Collana |
|
Contributions to Nephrology, , 1662-2782 ; ; Vol.95 |
|
|
|
|
|
|
Altri autori (Persone) |
|
KoideHikaru |
EndouHitoshi |
KurokawaKiyoshi |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Nephrology |
Cell Biology |
Molecular Biology |
Biochemistry |
Pathology |
Physiology |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |