| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA990002967580203316 |
|
|
Autore |
International conference, EKAW 2006 : <15. ; : 2006 |
|
|
Titolo |
Managing Knowledge in a World of Networks : 15th International conference, EKAW 2006 : Podebrandy, Czech Republic, October 2-6, 2006 : proceedings / Steffen Staab, Vojtech Svatek(Eds.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin [etc.] : Springer, copyr. 2007 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
XIV, 400 p. : ill. ; 20 cm |
|
|
|
|
|
|
Collana |
|
Lecture notes in artificial intelligence ; 4248 |
Lecture notes in computer science |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Intelligenza artificiale -- Congressi -- Podebrandy -- 2006 |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910465401203321 |
|
|
Titolo |
Animal cities : beastly urban histories / / edited by Peter Atkins |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London ; ; New York : , : Routledge, , 2016 |
|
|
|
|
|
|
|
ISBN |
|
1-317-18085-2 |
1-315-56716-4 |
1-317-18084-4 |
1-4094-4656-5 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (294 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Urban animals - History |
Urban ecology (Biology) |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Cover; Contents; List of Figures; List of Tables; List of Contributors; Preface and Acknowledgements; 1 Introduction; 2 Animal Wastes and Nuisances in Nineteenth-Century London; 3 The 'Charmed Circle'; 4 The Urban Blood and Guts Economy; 5 This Nefarious Traffic: Livestock and Public Health in Mid-Victorian Edinburgh; 6 Undesirable Nature: Animals, Resources and Urban Nuisance in Nineteenth-Century Paris; 7 Locating the Transformation of Sensibilities in Nineteenth-Century London; 8 Fowls and the Contested Productive Spaces of Australian Suburbia, 1890-1990 |
9 Between the Muzzle and the Leash: Dog-walking, Discipline, and the Modern CityReferences; Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book presents a number of valuable case studies that illustrate some of the perspectives that may be adopted in the study of animals in the urban context. It covers areas such as, working and productive animals in the nineteenth century, animal spectacles in the nineteenth century, contested animal spaces in the city and the problem of the public companion animal and its role in changing attitudes to public space. This book will be of interest to historical geographers, urban, cultural, social and economic historians and historians of policy and |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNISA996465884503316 |
|
|
Titolo |
Automated Technology for Verification and Analysis [[electronic resource] ] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings / / edited by Tevfik Bultan, Pao-Ann Hsiung |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2011.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 532 p.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 6996 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer programming |
Computer communication systems |
Computer logic |
Programming languages (Electronic computers) |
Software Engineering |
Programming Techniques |
Computer Communication Networks |
Logics and Meanings of Programs |
Programming Languages, Compilers, Interpreters |
Software Engineering/Programming and Operating Systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from |
|
|
|
|
|
|
|
|
|
|
75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field. |
|
|
|
|
|
| |