| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA990003002010203316 |
|
|
Autore |
International Conference, TACAS 2005 : <11. ; : 2005 |
|
|
Titolo |
Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005 : held as part of the joint european conferences : on theory and practice of software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings / Nicolas Halbwachs, Lenore S. Zuck(eds.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin [etc.] : Springer, [c2005] |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
XVI, 506 p. : ill. ; 24 cm |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science ; 3440 |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910155448003321 |
|
|
Autore |
Brinke Margit |
|
|
Titolo |
Reise Know-How CityTrip Toronto / / Margit Brinke, Peter Kränzle |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Bielefeld, [Germany] : , : Reise Know-How Verlag, , 2017 |
|
©2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (148 pages) : illustrations (some color), maps |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |