LEADER 02828nam 2200673Ia 450 001 9910955538603321 005 20200520144314.0 010 $a9781609380960 010 $a1609380967 035 $a(CKB)3170000000046244 035 $a(EBL)912119 035 $a(OCoLC)793166884 035 $a(SSID)ssj0000600685 035 $a(PQKBManifestationID)11422478 035 $a(PQKBTitleCode)TC0000600685 035 $a(PQKBWorkID)10601201 035 $a(PQKB)10923579 035 $a(MiAaPQ)EBC912119 035 $a(OCoLC)809317404 035 $a(MdBmJHUP)muse16245 035 $a(Au-PeEL)EBL912119 035 $a(CaPaEBR)ebr10551802 035 $a(Perlego)2857655 035 $a(EXLCZ)993170000000046244 100 $a20110901d2012 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIn the memory of the map $ea cartographic memoir /$fby Christopher Norment 205 $a1st ed. 210 $aIowa City $cUniversity of Iowa Press$dc2012 215 $a1 online resource (253 pages) $cillustrations, maps 225 1 $aSightline books : the Iowa series in literary nonfiction 300 $aDescription based upon print version of record. 311 0 $a9781609380779 311 0 $a1609380770 320 $aIncludes bibliographical references. 327 $aContents; Introduction; First Maps; The Past Is Always with Me; What I Desired Most Was Escape; It Was Impossible Not to Wonder; Middle Maps; The Silence Was Like No Other; They Always Knew Their Way; The Truth Shall Be Revealed; Late Maps; Fathering the Map; In the Fullness of Time; And Then I Was Home; Without a Map; Acknowledgments and Permissions; Source Notes 330 $aThroughout his life, maps have been a source of imagination and wonder for Christopher Norment. Mesmerized by them since the age of eight or nine, he found himself courted and seduced by maps, which served functional and allegorical roles in showing him worlds that he might come to know and helping him understand worlds that he had already explored. Maps may have been the stuff of his dreams, but they sometimes drew him away from places where he should have remained firmly rooted. 410 0$aSightline books. 606 $aCartography$xMethodology 606 $aCartography$xPhilosophy 606 $aMap reading 606 $aMaps$xSymbols 615 0$aCartography$xMethodology. 615 0$aCartography$xPhilosophy. 615 0$aMap reading. 615 0$aMaps$xSymbols. 676 $a526 700 $aNorment$b Christopher$01808397 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910955538603321 996 $aIn the memory of the map$94358620 997 $aUNINA LEADER 03738nam 22007695 450 001 9910484339303321 005 20251226200001.0 010 $a3-319-47846-X 024 7 $a10.1007/978-3-319-47846-3 035 $a(CKB)3710000000926179 035 $a(DE-He213)978-3-319-47846-3 035 $a(MiAaPQ)EBC6284759 035 $a(MiAaPQ)EBC5576854 035 $a(Au-PeEL)EBL5576854 035 $a(OCoLC)962018417 035 $a(PPN)19632341X 035 $a(EXLCZ)993710000000926179 100 $a20161014d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Methods and Software Engineering $e18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /$fedited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XVII, 486 p. 144 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v10009 311 08$a3-319-47845-1 327 $aAbstraction, refinement and evolution -- Formal specification and modeling -- Program analysis -- Formal verification -- Model checking -- Formal approaches to software testing and inspection -- Formal methods for self-adaptive systems -- Formal methods for object-oriented systems -- Formal methods for component-based systems -- Tool development, integration and experiments involving verified systems -- Formal model-based development and code generation. . 330 $aThis book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veri?cation and validation, software engineering, formal speci?cation and modeling, software security, and software reliability. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v10009 606 $aSoftware engineering 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aMachine theory 606 $aComputer networks 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aComputer Communication Networks 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 0$aMachine theory. 615 0$aComputer networks. 615 14$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Communication Networks. 676 $a004.0151 702 $aOgata$b Kazuhiro$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLawford$b Mark$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLiu$b Shaoying$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484339303321 996 $aFormal Methods and Software Engineering$9771999 997 $aUNINA