This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Spatial Coherence for ...
Continue readingConstitutes the refereed proceedings of the International Conference on Spatial Information Theory, COSIT 2005, held in Elliottville, ...
Continue readingThis book presents standard imaging techniques, basic anatomy and an approach to common pathology encountered in temporal ...
Continue readingIn Temporal Dimensions of Landscape Ecology: Wildlife Responses to Variable Resources, the authors discuss the effects that ...
Continue readingTemporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
Continue readingA book intended for contractors, engineers and builders, which deals with temporary works and their role in construction. ...
Continue readingThe Association of Geographic Information Laboratories for Europe (AGILE) was established in early 1998 to promote academic ...
Continue readingIllustrates the evolution of literature and science, in collaboration and contestation, across the twentieth and twenty-first ...
Continue readingThis book examines the political structures and processes that frame and produce understandings of diversity in and through ...
Continue readingTime and Modality is a unique work of reference; not only does it unite studies which explore the syntax and semantics of ...
Continue readingThis is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Continue readingThe importance of non-standard employment forms has increased over the last decades. Janine Leschke addresses two important ...
Continue readingThis volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...
Continue readingIn this book, seventeen scholars discuss how contemporary Scandinavian art and media have become important arenas to articulate ...
Continue reading