01407nam2-2200397li-450 99000020683020331620180312154713.03-540-60761-70020683USA010020683(ALEPH)000020683USA01002068320001109d1996----km-y0itay0103----baengGWPartial-order methods for the verification of concurrent systemsan approach to the state-explosionproblemPatrice GodefroidBerlin [etc.]Springer-Verlagcopyr. 1996142 p.ill.23 cmLecture notes in computer science103200100202642001Lecture notes in computer scienceprogrammazione (informatica)softwareverifica0051Programmazione. Tecnica di sviluppo dei programmiGodefroid,Patrice746741Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206830203316001 LNCS (1032)001901000100103829BKSCI1996102520001110USA011714ALANDI9020010201USA01100320020403USA011628PATRY9020040406USA011615Partial-order methods for the verification of concurrent systems1490889UNISA01364nam a2200337 i 450099100091163970753620020507175716.0010301s1996 us ||| | eng 0849339847b10774671-39ule_instLE01304202ExLDip.to Matematicaeng511.6AMS 05B05QA166.25.F87Furino, Steven535386Frames and resolvable designs :uses, constructions, and existence /Steven Furino, Miao Ying, Jianxing YinBoca Raton, Fla :CRC Press,c1996248 p. :ill. ;25 cm.The CRC Press series on discrete mathematics and its applicationsIncludes bibliographical references (p. 225-242) and indexBlock designsFrames (Combinatorial analysis)Miao, Yingauthorhttp://id.loc.gov/vocabulary/relators/aut549969Yin, Jianxingauthorhttp://id.loc.gov/vocabulary/relators/aut549970.b1077467121-09-0628-06-02991000911639707536LE013 05B FUR11 (1996)12013000125770le013-E0.00-l- 01010.i1087345428-06-02Frames and resolvable designs964934UNISALENTOle01301-01-01ma -engus 0101541nam a22002891i 450099100221587970753620030508175939.0030925s1970 be |||||||||||||||||lat b12258027-39ule_instARCHE-030562ExLBiblioteca InterfacoltàitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.270.0922Urbanus<papa ;2.>452741B. Urbani II pontificis Romani epistolae, diplomata, sermones :accedunt saeculi XI auctores incertae aetatis et anonymi : sequuntur ad saecula IX et appendices amplissime inter alia complectentes s. Mathildis reginae epistolam ineditam ... /accurante J.-P. MigneTurnholti :Typographi Brepols editores pontificii,dep. leg. 19701496 col. ;28 cmPatrologiae cursus completus omnium SS. patrum doctorum scriptorumque ecclesiasticorum sive Latinorum sive Graecorum.Patrologiae latinae ;151In testa al front.: Saeculum XI.ChiesaStoriaSec. 11.CristianesimoStoriaSec. 11.Migne, Jacques Paulauthorhttp://id.loc.gov/vocabulary/relators/aut297408.b1225802702-04-1408-10-03991002215879707536LE002 P.L. 15112002000497246le002-E0.00-no 00000.i1264748208-10-03B. Urbani II pontificis Romani epistolae, diplomata, sermones3371263UNISALENTOle00208-10-03ma -latbe 0103471 am 22006013u 450 99655236710331620230621140137.01-5261-2252-910.7765/9781526122520(CKB)4100000003844735(oapen)https://directory.doabooks.org/handle/20.500.12854/25981(DE-B1597)659630(DE-B1597)9781526122520(EXLCZ)99410000000384473520180527h20182018 fy| 0engurm|#---uu|||txtrdacontentcrdamediacrrdacarrierTime for mapping cartographic temporalities /edited by Sybille Lammes, Chris Perkins, Alex Gekker, Sam Hind, Clancy Wilmott and Daniel EvansManchester University Press2018Manchester, UK :Manchester University Press,2018.©20181 online resource (272 pages) illustrations, maps; digital, PDF file(s)1-5261-2253-7 Includes bibliographical references and index.The digital era has brought about huge transformations in the map itself, which to date have been largely conceptualised in spatial terms. Novel objects, forms, processes and approaches have emerged and pose new, pressing questions about the temporality of digital maps and contemporary mapping practices: in spite of its implicit spatiality, digital mapping is strongly grounded in time. This collection brings time back into the map, taking up Doreen Massey's critical concern for 'ongoing stories' in the world; it asks how mapping enrols time into these narratives. Maps often seek to ‘freeze’ and ‘fix’ the world, looking to represent, document or capture dynamic phenomena. This collection examines how these processes are impacted by digital cartographic technologies that, arguably, have disrupted our understanding of time as much as they have provided coherence. The book consists of twelve chapters from experts in the field. Each addresses a different type of digital mapping practice and analyses it in relation to temporality. Cases discussed range from locative art projects, OpenStreetMap mapping parties, sensory mapping, Google Street View, to visual mapping, smart city dashboards and crisis mapping. Authors from different disciplinary positions consider how a temporal lens might focus attention on different aspects of digital mapping. This kaleidoscopic approach demonstrates a rich plethora of ways for understanding the temporal modes of digital mapping and the interdisciplinary background of the authors allows multiple positions to be developed and contrasted.Digital mappingCartographySocial aspectstechnologiesdigital mappingtemporalitytimeCartographyGlobal Positioning SystemOpenStreetMapDigital mapping.CartographySocial aspects.912.0285526Hind Samauth1349198Lammes SybillePerkins C. R.Gekker AlexHind SamWilmott ClancyEvans Daniel(Geographer),UkMaJRUBOOK996552367103316Time for mapping3087112UNISA