{"title":"Paula Jorde Bloom","description":null,"products":[{"product_id":"blueprint-for-action-achieving-center-based-change-through-staff-development-book-paula-jorde-bloom-9780962189487","title":"Blueprint for Action: Achieving Center-Based Change Through Staff Development","description":"In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like deadlock or lock freedom in concurrent settings.The main contributions of this book are twofold. \u003cp\u003e\u003c\/p\u003ei) We design a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations. \u003cp\u003e\u003c\/p\u003eii) We define an encoding of the session pi-calculus, which models communication in distributed systems, into the standard typed pi-calculus. We use this encoding to derive properties like type safety and progress in the session pi-calculus by exploiting the corresponding properties in the standard typed pi-calculus.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49513193505041,"sku":"CIN0962189480G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50604897501457,"sku":"CIN0962189480VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ WELL_READ \/ SBYB","offer_id":51743548145937,"sku":"CIN0962189480A","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0962189480.jpg?v=1750884917"},{"product_id":"blueprint-for-action-book-paula-jorde-bloom-9780962189425","title":"Blueprint for Action","description":"Geheimnisvolle Blumenn chte: Farbenspiel im Dunkeln entf hrt seine Leser in die verborgene Welt der Blumen, die nachts erbl hen, und beleuchtet ihre geheimnisvollen Eigenschaften durch kunstvolle Illustrationen. Das Buch bietet eine kreative Plattform, um die faszinierenden Aspekte n chtlicher Blumen durch die eigene Farbgestaltung zu erforschen und dabei deren mystische Atmosph re einzufangen. Es kombiniert bildende Kunst mit botanischem Wissen, um den Lesern ein tiefes Eintauchen in das au ergew hnliche Ph nomen der Blumen, die im Dunkeln gedeihen, zu erm glichen und dabei ihre k nstlerischen F higkeiten zu f rdern.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49668153770257,"sku":"CIN0962189421G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0962189421.jpg?v=1751045341"},{"product_id":"circle-of-influence-book-paula-jorde-bloom-9780962189432","title":"Circle of Influence","description":null,"brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49675025940753,"sku":"CIN096218943XG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50305444348177,"sku":"CIN096218943XVG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/096218943X.jpg?v=1750705564"},{"product_id":"making-the-most-of-meetings-book-paula-jorde-bloom-9780962189456","title":"Making the Most of Meetings","description":"The idea of mutual classification of spaces and mappings is one of the main research directions of point set topology. In a systematical way, this book discusses the basic theory of generalized metric spaces by using the mapping method, and summarizes the most important research achievements, particularly those from Chinese scholars, in the theory of spaces and mappings since the 1960s. This book has three chapters, two appendices and a list of more than 400 references. The chapters are The origin of generalized metric spaces, Mappings on metric spaces and Classes of generalized metric spaces. Graduates or senior undergraduates in mathematics major can use this book as their text to study the theory of generalized metric spaces. Researchers in this field can also use this book as a valuable reference.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49770141450513,"sku":"CIN0962189456G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51565908295953,"sku":"CIN0962189456VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ WELL_READ \/ SBYB","offer_id":53487639003409,"sku":"CIN0962189456A","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0962189456.jpg?v=1750948146"},{"product_id":"great-place-to-work-book-paula-jorde-bloom-9780935989182","title":"A Great Place to Work","description":null,"brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50270824628497,"sku":"CIN0935989188G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ WELL_READ \/ SBYB","offer_id":50368212664593,"sku":"CIN0935989188A","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":52435995459857,"sku":"CIN0935989188VG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/B001Z6VZO8.jpg?v=1751012770"},{"product_id":"leadership-in-action-book-paula-jorde-bloom-9780962189470","title":"Leadership in Action","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51330481258769,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ WELL_READ \/ SBYB","offer_id":51330484044049,"sku":"CIN0962189472A","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":51689721331985,"sku":"CIN0962189472G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51702273310993,"sku":"CIN0962189472VG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0962189472.jpg?v=1751140708"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-paula-jorde-bloom.oembed","provider":"World of Books ","version":"1.0","type":"link"}