03432nam 22006731 450 991045086710332120210721145055.01-280-91499-8978661091499990-474-0514-51-4294-2750-710.1163/9789047405146(CKB)1000000000411935(EBL)3003927(SSID)ssj0000165573(PQKBManifestationID)11153457(PQKBTitleCode)TC0000165573(PQKBWorkID)10142864(PQKB)11379685(MiAaPQ)EBC3003927(Au-PeEL)EBL3003927(CaPaEBR)ebr10175330(CaONFJC)MIL91499(OCoLC)697657331(OCoLC)191945209(nllekb)BRILL9789047405146(EXLCZ)99100000000041193520210731d2004 uy 0engur|n|---|||||txtccrGreek Vases: Images, Contexts and Controversies Proceedings of the Conference sponsored by The Center for the Ancient Mediterranean at Columbia University, 23-24 March 2002 /edited by Clemente MarconiLeiden; Boston :BRILL,2004.1 online resource (201 p.)Columbia Studies in the Classical Tradition ;25Description based upon print version of record.90-04-13802-1 Includes bibliographical references and index.""Contents""; ""Abbreviations""; ""Preface""; ""Chapter One: Leagros The Satyr""; ""Chapter Two: Skythian Hunters on the Attic Vases""; ""Chapter Three: Images for a Warrior. On a Group of Athenian Vases and Their Public""; ""Chapter Four: Images of a Warrior: On a Group of Athenian Vases and Their Public""; ""Chapter Five: Bubbles = Baubles, Bangles and Beads: Added Clay in Athenian Vase Painting and its Significance""; ""Chapter Six: Hera, Paestum, and the Cleveland Painter""; ""Chapter Seven: Odysseus and Kirke. Iconography in a Pre-Literate Culture""""Chapter Eight: The World of Aphrodite in the late Fifth Century B.C.""""Chapter Nine: The Paestan Painter Asteas""; ""Figures""; ""Bibliography""; ""Index""This volume deals with Greek painted vases, exploring them from various methodological points of view and moving beyond the traditional focus on connoisseurship and style. The volume, which represents the proceedings of an international conference sponsered by the Center for the Ancient Mediterranean at Columbia University, is an effort to exploit the immense richness of these vases by using them to study general cultural history.Columbia Studies in the Classical Tradition ;25.Proceedings of the Conference sponsored by The Center for the Ancient Mediterranean at Columbia University, 23-24 March 2002Vase-painting, GreekCongressesVases, GreekCongressesElectronic books.Vase-painting, GreekVases, Greek738.3/82/0938Marconi ClementeColumbia University.Center for the Ancient Mediterranean.NL-LeKBNL-LeKBBOOK9910450867103321Greek vases: images, contexts and controversies1119973UNINA03273nam 22007095 450 99646582530331620230222233618.03-319-91271-210.1007/978-3-319-91271-4(CKB)3850000000031363(DE-He213)978-3-319-91271-4(MiAaPQ)EBC6295681(PPN)227403401(EXLCZ)99385000000003136320180507d2018 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierAbstract State Machines, Alloy, B, TLA, VDM, and Z[electronic resource] 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings /edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XIV, 432 p. 83 illus.)Theoretical Computer Science and General Issues,2512-2029 ;108173-319-91270-4 Includes bibliographical references and index. Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers.This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.Theoretical Computer Science and General Issues,2512-2029 ;10817Machine theoryAlgorithmsComputer scienceCompilers (Computer programs)Artificial intelligenceFormal Languages and Automata TheoryAlgorithmsComputer Science Logic and Foundations of ProgrammingCompilers and InterpretersArtificial IntelligenceMachine theory.Algorithms.Computer science.Compilers (Computer programs).Artificial intelligence.Formal Languages and Automata Theory.Algorithms.Computer Science Logic and Foundations of Programming.Compilers and Interpreters.Artificial Intelligence.006.31Butler Michael1967-edthttp://id.loc.gov/vocabulary/relators/edtRaschke Alexanderedthttp://id.loc.gov/vocabulary/relators/edtHoang Thai Sonedthttp://id.loc.gov/vocabulary/relators/edtReichl Klausedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465825303316Abstract State Machines, Alloy, B, TLA, VDM, and Z2026686UNISA