| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA990002965310203316 |
|
|
Autore |
International conference on formal engineering methods, ICFEM 2005 : <7. ; : 2005 |
|
|
|
|
Titolo |
|
|
|
|
Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005 / Kung-Kiu Lau, Richard Banach(Eds.) : Manchester, UK, November 1-4, 2005 : proceedings |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin : Springer, copyr. 2006 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
XIV, 494 p. : ill. ; 20 cm |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science ; 3785 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Elaboratori elettronici -- Programmazione -- Manchester -- 2005 -- Congressi |
|
|
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNIBAS000018452 |
|
|
Autore |
Radmilli, Antonio Mario |
|
|
Titolo |
1 / di Antonio Radmilli |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Roma : Biblioteca di storia patria, c1974 |
|
|
|
|
|
|
|
Descrizione fisica |
|
536 p., 80 p. di tav. : 113 ill. ; 25 cm. |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
3. |
Record Nr. |
UNICASRML0291660 |
|
|
Autore |
Troeltsch, Ernst <OMONIMO NON IDENTIFICATO> |
|
|
Titolo |
Vol. 3.Der historismus und seine probleme / Ernst Troeltsch ; herausgegeben von Hans Baron |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Scientia Verlag Aalen, : Guida, 1977 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |