| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990009247170403321 |
|
|
Titolo |
Tools and Algorithms for the Construction and Analysis of Systems [Risorsa elettronica] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; Heidelberg : Springer, 2005 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science , 0302-9743 ; 3440 |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910341452803321 |
|
|
Autore |
Fée, Antoine Laurent Apollinaire |
|
|
Titolo |
Examen de la théorie des rapports botanico-chimiques : Dissertation présentée et soutenue a la Faculté de médecine de Strasbourg, le mardi 14 mai 1833, [...], pour obtenir le grade de docteur en Médecine / par Antoine-Laurent-Apollinaire Fée |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Strasbourg, : de l'Imprimerie de F. G. Levrault, 1833 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |