02008nam 2200349 n 450 99638494170331620200824120646.0(CKB)4940000000068532(EEBO)2248505607(UnM)99857319_23025e(UnM)99857319_23025(EXLCZ)99494000000006853219921204d1583 uy |engurbn||||a|bb|Actes and monuments of matters most speciall and memorable, happenyng in the Church[electronic resource] with an vniuersall history of the same, wherein is set forth at large the whole race and course of the Church, from the primitiue age to these latter tymes of ours, with the bloudy times, horrible troubles, and great persecutions agaynst the true martyrs of Christ, sought and wrought as well by heathen emperours, as nowe lately practised by Romish prelates, especially in this realme of England and Scotland. Newly reuised and recognised, partly also augmented, and now the fourth time agayne published and recommended to the studious reader, by the author (through the helpe of Christ our Lord) Iohn Foxe, which desireth thee good reader to helpe him with thy prayer[At London Imprinted by Iohn Daye, dwellyng ouer Aldersgate beneath S. Martins]An. 1583. Mens. Octobr2 v. ([32], 2154, [32] p., [5] woodcut inserts) ill. (woodcuts)Printer's name and address from colophon.Kalender printed in red and black.Includes index.Reproduction of the original in the Henry E. Huntington Library and Art Gallery.eebo-0113Book of martyrs.MartyrsGreat BritainEarly works to 1800MartyrsFoxe John1516-1587.103431Cu-RivESBOOK996384941703316Actes and monuments of matters most speciall and memorable, happenyng in the Church2299693UNISA03206oam 2200685I 450 991045520200332120200520144314.01-134-54072-81-280-40330-60-203-45307-70-203-26273-510.4324/9780203453070 (CKB)111056485547528(EBL)178467(OCoLC)191759996(SSID)ssj0000265875(PQKBManifestationID)11225155(PQKBTitleCode)TC0000265875(PQKBWorkID)10300922(PQKB)10245977(MiAaPQ)EBC178467(Au-PeEL)EBL178467(CaPaEBR)ebr5006134(CaONFJC)MIL40330(OCoLC)252823384(EXLCZ)9911105648554752820180331d2002 uy 0engur|n|---|||||txtccrUrbanisation in the Island Pacific towards sustainable development /John Connell and John LeaLondon ;New York :Routledge,2002.1 online resource (255 p.)Routledge pacific rim geographiesDescription based upon print version of record.0-415-51384-7 0-415-24670-9 Includes bibliographical references and index.""Book Cover""; ""Title""; ""Contents""; ""List of illustrations""; ""List of tables""; ""Preface""; ""Acknowledgements""; ""Abbreviations""; ""Introduction: an urban Pacific""; ""The context of urbanisation in the Pacific""; ""The colonial heritage""; ""Population growth and migration""; ""Economic development: towards the city?""; ""Urban issues""; ""Managing urbanisation""; ""Land and urban life""; ""Housing and the urban environment""; ""Sustaining Pacific urban society?""; ""Living in town: a sustainable future?""; ""References""; ""Index""Managing rapid urban growth presents a significant challenge in the small independent countries of the Pacific Islands. Although they originated in colonial times, the towns and cities are now distinctively post-colonial, with economies, environments and social structures that reflect unique island characteristics. This transformation has stimulated new concerns, such as the causes and effects of pollution, the need for employment for landless migrants, the need for adequate and affordable housing and the financing of expanding urban services.This book explores the diversity of the urban experRoutledge Pacific Rim geographies.UrbanizationPacific AreaCities and townsPacific AreaGrowthSustainable developmentPacific AreaElectronic books.UrbanizationCities and townsGrowth.Sustainable development307.76099Connell John1946,895529Lea John P128718MiAaPQMiAaPQMiAaPQBOOK9910455202003321Urbanisation in the Island Pacific2000649UNINA04756nam 22007335 450 99646548030331620200702033507.03-540-69552-410.1007/BFb0026977(CKB)1000000000234708(SSID)ssj0000321778(PQKBManifestationID)11277378(PQKBTitleCode)TC0000321778(PQKBWorkID)10280055(PQKB)10800788(DE-He213)978-3-540-69552-3(PPN)155230646(EXLCZ)99100000000023470820121227d1997 u| 0engurnn|008mamaatxtccrCategory Theory and Computer Science[electronic resource] 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings /edited by Eugenio Moggi, Giuseppe Rosolini1st ed. 1997.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1997.1 online resource (IX, 319 p.) Lecture Notes in Computer Science,0302-9743 ;1290Bibliographic Level Mode of Issuance: Monograph3-540-63455-X An introduction to n-categories -- Allegories as a basis for algorithmics -- Separating shape from data -- A factorisation theorem in rewriting theory -- Monads and modular term rewriting -- A 2-categorical presentation of term graph rewriting -- Presheaf models for the ?-calculus -- Categorical modelling of structural operational rules case studies -- Specifying interaction categories -- Shedding new light in the world of logical systems -- Combining and representing logical systems -- A deciding algorithm for linear isomorphism of types with complexity O(nlog 2(n)). -- Effectiveness of the global modulus of continuity on metric spaces -- Proof principles for datatypes with iterated recursion -- When Do Datatypes Commute? -- A calculus for collections and aggregates -- Lifting -- General synthetic domain theory — A logical approach (extended abstract).This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997. Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.Lecture Notes in Computer Science,0302-9743 ;1290Architecture, ComputerProgramming languages (Electronic computers)Computer logicMathematical logicK-theoryComputer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048K-Theoryhttps://scigraph.springernature.com/ontologies/product-market-codes/M11086Mathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Architecture, Computer.Programming languages (Electronic computers).Computer logic.Mathematical logic.K-theory.Computer System Implementation.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.K-Theory.Mathematical Logic and Foundations.004/.01/5113Moggi Eugenioedthttp://id.loc.gov/vocabulary/relators/edtRosolini Giuseppeedthttp://id.loc.gov/vocabulary/relators/edtBiennial Conference on Category Theory in Computer Science(7th :1997 :Santa Margherita Ligure, Italy)BOOK996465480303316Category theory and computer science382680UNISA04363 am 2201009 n 450 991049570730332120240104030433.0979-1-03-000513-410.4000/books.pub.12521(CKB)4100000011301809(FrMaCLE)OB-pub-12521(PPN)248499394(EXLCZ)99410000001130180920200616j|||||||| ||| 0freuu||||||m||||Le Monstrueux et l’HumainDanièle James-Raoul, Peter KuonPessacPresses Universitaires de Bordeaux20201 online resource (494 p.) 979-1-0910-5200-9 Une étude culturelle des concepts et des modes de représentation du monstrueux ne saurait faire abstraction des rapports étroits que celui-ci, en tant qu’altérité, entretient avec ce qui fonde l’iden­tité : l’humain. L’interdépendance et la complémen­tarité de ces deux notions (aussi bien, des idées et des images qu’elles engendrent) ouvrent une per­spective sur plusieurs domaines culturels : celui de Yépistèmé et des ordres discursifs, celui de la diffé­rence, mais aussi de l’analogie de phénomènes, en apparence, incompatibles, et celui, enfin, de la fascination esthétique que suscite le monstrueux au moment de son imagination et de sa manifes­tation, notamment dans la littérature et les arts, de l’Antiquité à l’extrême contemporain. Loin d’être de simples images de l’autre, les représentations du monstrueux nous parlent de l’humain : elles incitent à réfléchir sur ce qui est notre essence, elles éclairent les zones d’ombre qui se cachent en nous ou dans la société et démasquent les discours humanistes bon marché. L’art et la littérature nous tendent le monstrueux comme un miroir déformant : c’est, non pas en fuyant, mais en soutenant le regard de Méduse que nous apprenons, dans la fascination et dans l’épouvante, à mieux nous connaître.ArtAnthropologyLiterature (General)esthétiquetechnologieidentitétransgressionaltéritémétamorphosehumainmonstrueuxrègne animalhybridationépouvanterefoulementArtAnthropologyLiterature (General)esthétiquetechnologieidentitétransgressionaltéritémétamorphosehumainmonstrueuxrègne animalhybridationépouvanterefoulementAckermann Kathrin1281164Bédia Jean-Fernand1291982Blaikner-Hohenwart Gabriele1281304Cambronne Patrice559457Christian Wolf Norbert1458780Degner Uta1301019Devésa Jean-Michel465363Doudet Estelle518429Dubois-Joucla Leïla1331706Feyler Patrick1289425Forero Mendoza Sabine1331707Ibrahim Aziza1458781James-Raoul Danièle1283404Keller Johannes738754Kern Manfred1281319Kuon Peter158521Lhermitte Agnès1283063Martinez Aurélie1292961Metzger-Rambach Anne-Laure1458782Paré Sébastien1310782Peck Clemens1458783Pérez Christophe1296386Peylet Gérard1281323Puccini-Delbey Géraldine622715Richard Brittnacher Hans1458784Sauer Christian1455626Sauvanet Pierre569563Scharold Irmgard1458785Segler-Meßner Silke1458786Soron Anthony1283960Winter Susanne323946FR-FrMaCLEBOOK9910495707303321Le Monstrueux et l’Humain3658377UNINA