{"title":"Michael Butler","description":null,"products":[{"product_id":"return-to-gan-book-michael-butler-9781873203521","title":"Return to Gan","description":null,"brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49535170609425,"sku":"GOR004533119","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49640197751057,"sku":"GOR006221542","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ LIKE_NEW \/ INTERNAL","offer_id":50830908817681,"sku":"GOR014088855","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1873203527.jpg?v=1751186846"},{"product_id":"being-your-age-book-michael-butler-9780281046461","title":"Being Your Age","description":null,"brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49540596236561,"sku":"GOR003039454","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0281046468.jpg?v=1751423066"},{"product_id":"driveshaft-book-michael-butler-9781916101166","title":"Driveshaft","description":"We've all been there: you leave the cinema, you're buzzing, you were there...in that film with those characters. But what if you see those characters, relive those scenes, not in your head, but in reality?  When a mysterious cult horror movie from the 1970s pops up on YouTube, Ben simply has to see it. He has to see it, partly because it's a horror film but mostly, because it stars Margot Kidder. Ben asks his girlfriend, Lena, to watch it with him. She does. Driveshaft, however, is no ordinary film and before they know it, Ben and Lena are trapped within its murky and disturbing world. Luckily, they meet fellow Driveshaft victims, Frank and Katherine. The foursome decide that the only way to rid themselves of the Driveshaft curse is through exorcism.   Part film-script, part novel, Driveshaft is a wry tribute to the wackier side of 70s cinema. It's a bumpy ride where the real, and the not so real, collide. So, if you like the 70s, horror movies, cars with a mind of their own, and Margot Kidder then jump in by all means, but make sure you don't belt up.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49579453415697,"sku":"GOR011639456","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51054215823633,"sku":"NIN9781916101166","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52653521895697,"sku":"NLS9781916101166","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/191610116X.jpg?v=1750899890"},{"product_id":"introduction-to-organisational-behaviour-book-michael-butler-9781843982470","title":"Introduction to Organisational Behaviour","description":"\u003cp\u003eIdeal for anyone studying an introductory module in organisational behaviour, \u003ci\u003e\u003cb\u003eIntroduction to Organisational Behaviour\u003c\/b\u003e\u003c\/i\u003e is a rigorous critique of all essential organisational behaviour topics. A comprehensive book with extensive accompanying online resources makes this a must-have package for anyone wanting to understand the theory and practice of organisational behaviour. Practitioner case studies, supporting video interviews where solutions and approaches are discussed, review questions at the end of every chapter make this an essential resource.\u003cbr\u003e \u003cbr\u003e Covering organisational behaviour in the context of individuals, groups and teams and managing organisations as well as the importance of organisational structures and emerging issues, \u003cb\u003e\u003ci\u003eIntroduction to\u003c\/i\u003e\u003c\/b\u003e \u003ci\u003e\u003cb\u003eOrganisational Behaviour\u003c\/b\u003e\u003c\/i\u003e gives understanding and guidance on the full spectrum of organisational behaviour issues. Supported by extensive online resources including video interviews, clips of key skills lecture slides, additional tutorial activities and a test bank of multiple choice questions make this a truly integrated print and electronic learning package.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49684914766097,"sku":"GOR005908272","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49778167283985,"sku":"GOR006200868","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ LIKE_NEW \/ INTERNAL","offer_id":51280781639953,"sku":"GOR008085857","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1843982471.jpg?v=1751446538"},{"product_id":"treasures-from-an-unknown-reign-book-michael-butler-9780295982137","title":"Treasures from an Unknown Reign","description":"The Shunzhi era (1644-61), marking the end of the Ming Dynasty and the beginning of the Qing, was a transitional period in Chinese history. By the late 1630s, painters on porcelain had developed a new, highly recognizable, and successful style. In the Shunzhi era, there was a strong emphasis on individual works of art, each one unique.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49723846656273,"sku":"CIN0295982136G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0295982136.jpg?v=1751324156"},{"product_id":"plays-of-max-frisch-book-michael-butler-9780312616809","title":"The Plays of Max Frisch","description":null,"brand":"WoB","offers":[{"title":"US \/ WELL_READ \/ SBYB","offer_id":49938985287953,"sku":"CIN0312616805A","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0312616805.jpg?v=1751005473"},{"product_id":"europe-book-michael-butler-9780434099252","title":"Europe","description":null,"brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49965142147345,"sku":"GOR006376428","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ WELL_READ \/ INTERNAL","offer_id":52739167551761,"sku":"GOR014606553","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":53244369764625,"sku":"GOR003396996","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0434099252.jpg?v=1750814412"},{"product_id":"animal-cell-culture-and-technology-book-michael-butler-9781859960493","title":"Animal Cell Culture and Technology","description":"Animal cell culture is an important laboratory technique in the biological and medical sciences. It has become an essential tool for the study of most biochemical and physiological processes and the use of large-scale animal cell culture has become increasingly important to the commercial production of specific compounds for the pharmaceutical industry. This book describes the basic requirements for establishing and maintaining cell cultures both in the laboratory and in large-scale operations. Minimal background knowledge of the subject is assumed and therefore it will be a readable introduction to animal cell culture for undergraduates, graduates and experienced researchers. Reflecting the latest developments and trends in the field, the new topics include the latest theory of the biological clock of cell lines, the development of improved serum-free media formulations, the increased understanding of the importance and control of protein glycosylation, and the humanization of antibodies for therapeutic use.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50173169533201,"sku":"GOR003308466","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":50269156311313,"sku":"CIN1859960499G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52614073614609,"sku":"NLS9781859960493","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/B00I52IOAI.jpg?v=1770890852"},{"product_id":"frisch-book-michael-butler-9780729303712","title":"Frisch","description":null,"brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50726398787857,"sku":"GOR001823658","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":51092301545745,"sku":"GOR005905806","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ LIKE_NEW \/ INTERNAL","offer_id":53505593639185,"sku":"GOR014950912","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0729303713.jpg?v=1751431035"},{"product_id":"novels-of-max-frisch-book-michael-butler-9780854960590","title":"Novels of Max Frisch","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":50914315600145,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50914317140241,"sku":"GOR009819536","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0854960597.jpg?v=1751329995"},{"product_id":"taos-book-michael-butler-9781632932648","title":"Taos","description":"\u003cp\u003eWith its twisting narrow streets, lacking the familiar grid pattern, it can be difficult for travelers to find their way through Taos, New Mexico. This book is the answer to the traveler's dilemma. With a map and color photographs included, this guidebook will enable travelers to successfully find twenty-four sites in and around Taos, including museums, historic homes, and natural wonders. Some sites tucked away on isolated side streets can easily be missed without this guide. Travelers can now find their way to Taos Pueblo, home to native inhabitants since about the year 1350, and to St. Francis of Assisi Church in Ranchos de Taos, the famous church painted by Georgia O'Keeffe and photographed by Ansel Adams. With a short history of each site included, travelers will gain an appreciation of all the ancient community of Taos has to offer.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51041620230417,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51041623507217,"sku":"NIN9781632932648","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52483274768657,"sku":"NLS9781632932648","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1632932644.jpg?v=1750895462"},{"product_id":"1040-impact-christmas-edition-book-michael-butler-9781637928103","title":"1040 Impact Christmas Edition","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51387711750417,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51387712667921,"sku":"NIN9781637928103","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52648399831313,"sku":"NLS9781637928103","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1637928106.jpg?v=1751024939"},{"product_id":"frisch-book-michael-butler-9780729302203","title":"Frisch","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51810831073553,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51810831302929,"sku":"GOR002675349","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780729302203.jpg?v=1752341781"},{"product_id":"integrated-formal-methods-book-michael-butler-9783540437031","title":"Integrated Formal Methods","description":"The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15-17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland. The ? conference was organized jointly by Abo Akademi University and Turku Centre for Computer Science. The theme of IFM 1999 was the integration of state and behavioral based formalisms. For IFM 2000 this was widened to include all aspects pertaining to the integration of formal methods and formal notations. One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal methods and graphical notations, especially the industrialstandardlanguageforsoftwaredesign,theUni'edModelingLanguage (UML). The themes of IFM 2002 re'ect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computerscientistshavedevelopedarangeofformalismsfocusing on particular aspects of behavior or analysis, such as sequential program str- tures,concurrentprogramstructures,dataandinformationstructures,temporal reasoning, deductive proof, and model checking. Much e'ort is now being - voted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance ofprovidingthesewiththeformalunderpinningsandformalanalysiscapabilities found in formal methods.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52355893821713,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52355894083857,"sku":"NLS9783540437031","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540437031.jpg?v=1758185482"},{"product_id":"abstract-state-machines-b-and-z-book-jonathan-bowen-9783540876021","title":"Abstract State Machines, B and Z","description":"This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method. The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52409703432465,"sku":"NLS9783540876021","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540876021.jpg?v=1758775732"},{"product_id":"rigorous-development-of-complex-fault-tolerant-systems-book-michael-butler-9783540482659","title":"Rigorous Development of Complex Fault-Tolerant Systems","description":"This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52433149690129,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52433150148881,"sku":"NLS9783540482659","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540482659.jpg?v=1759177066"},{"product_id":"abstract-state-machines-alloy-b-tla-vdm-and-z-book-michael-butler-9783319912707","title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","description":"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.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52584006484241,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52584007205137,"sku":"NLS9783319912707","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319912707.jpg?v=1761048731"},{"product_id":"methods-models-and-tools-for-fault-tolerance-book-michael-butler-9783642008665","title":"Methods, Models and Tools for Fault Tolerance","description":"The growing complexity of modern software systems increases the di?culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true engineering challenge. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and veri?cation. Formal design methods help to achieve this. Coping with complexity also requires architectures that are t- erant of faults and of unpredictable changes in environment. This issue can be addressed by fault-tolerant design techniques. Therefore, there is a clear need of methods enabling rigorous modelling and development of complex fault-tolerant systems. This bookaddressessuchacuteissues indevelopingfault-tolerantsystemsas: - Veri?cation and re?nement of fault-tolerant systems - Integrated approaches to developing fault-tolerant systems - Formal foundations for error detection, error recovery, exception and fault handling - Abstractions, styles and patterns for rigorousdevelopment of fault tolerance - Fault-tolerant software architectures - Development and application of tools supporting rigorous design of depe- able systems - Integrated platforms for developing dependable systems - Rigorous approaches to speci?cation and design of fault tolerance in novel computing systems TheeditorsofthisbookwereinvolvedintheEU(FP-6)projectRODIN(R- orous Open Development Environment for Complex Systems), which brought together researchers from the fault tolerance and formal methods communi- 1 ties. In 2007 RODIN organized the MeMoT workshop held in conjunction with theIntegrated Formal Methods 2007 Conference at Oxford University.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52589555155217,"sku":"NLS9783642008665","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642008665.jpg?v=1761060292"},{"product_id":"formal-methods-and-software-engineering-book-michael-butler-9783319254227","title":"Formal Methods and Software Engineering","description":"This book constitutes the refereed proceedings of the 17th International  Conference on Formal Engineering Methods, ICFEM 2015, held in Paris,  France, in November 2015. The 27 revised full papers presented were  carefully reviewed and selected from 82 submissions. The papers cover a wide  range of topics in the area of formal methods and software engineering and are  devoted to advancing the state of the art of applying formal methods in  practice. They focus in particular on combinations of conceptual and  methodological aspects with their formal foundation and tool support.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52595476005137,"sku":"NLS9783319254227","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319254227.jpg?v=1761071160"},{"product_id":"abstract-state-machines-alloy-b-tla-vdm-and-z-book-michael-butler-9783319335995","title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","description":"This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016.   The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52616240333073,"sku":"NLS9783319335995","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319335995.jpg?v=1761526615"},{"product_id":"formal-methods-and-software-engineering-book-michael-butler-9783540766483","title":"Formal Methods and Software Engineering","description":"This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical sections.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52659749421329,"sku":"NLS9783540766483","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52761669468433,"sku":"NIN9783540766483","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540766483.jpg?v=1762263715"},{"product_id":"rodin-user-s-handbook-book-michael-butler-9781495438141","title":"Rodin User's Handbook","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52749226082577,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52749226541329,"sku":"NIN9781495438141","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781495438141.jpg?v=1763547164"},{"product_id":"tracking-the-narrow-gauge-from-chama-to-durango-book-michael-butler-9781634993821","title":"Tracking the Narrow Gauge from Chama to Durango","description":"\u003cb\u003eExplores the lost 111-mile segment of the Denver and Rio Grande Railroad between Chama and Durango, featuring maps, photos, and the history of abandoned tracks.\u003c\/b\u003e\u003cbr\u003e\u003cbr\u003eIn the late 1800s, Denver and Rio Grande Railroad founder William Jackson Palmer had a dream of building a railroad from Denver south to Mexico City. While his dream ended at Santa Fe, New Mexico, greater profits were realized by extending his narrow-gauge railroad west across Colorado and New Mexico to Durango and the mines at Silverton. Rocky Mountain railfans and history buffs have long been familiar with the two remaining segments of the Denver and Rio Grande Railroad's narrow-gauge route: the Durango and Silverton Narrow Gauge Railroad, and the Cumbres and Toltec Scenic Railroad. These two railroads carry thousands of tourists every year. But what about the 111 miles between the two? What happened to the segment between Chama and Durango? Long since abandoned, travelers today can track this route along the highways and back roads of Northern New Mexico and Southern Colorado. With maps and historic and contemporary photographs, this book points the way to rediscovering this lost trackage. Branch lines, including logging railroads and the Farmington Branch, are also included, so the traveler has a complete guide to finding this long-gone section of the narrow-gauge railroad.","brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":53091659481361,"sku":"NIN9781634993821","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781634993821.jpg?v=1770141977"},{"product_id":"tracking-the-chili-line-railroad-to-santa-fe-book-michael-butler-9781634992114","title":"Tracking the Chili Line Railroad to Santa Fe","description":"The Chili Line was the Denver and Rio Grande Railroad's narrow gauge route from Antonito, Colorado, to Santa Fe, New Mexico. It operated along its 125-mile route from 1880 to 1941. The Chili Line received its unique nickname from the chili peppers which farmers along the route would string on lines to dry. This book celebrates the history of the railroad, as well as people and places along the line. The Chili Line passed through Hispanic villages and Indian Pueblos, and its effect upon them is noted. Travelers today can still find traces of the Chili Line in existence, such as railroad depots in Antonito, Embudo, and Santa Fe. Water tanks can be seen in Tres Piedras and Embudo. Roadbed for the tracks may still be seen along the Rio Grande. Historic photos of railroad operations at these places are included in the book, as well as contemporary photos showing the same sites today. Maps are included to allow readers to track the Chili Line's route. The Chili Line Railroad to Santa Fe takes readers along the route of a long-abandoned rail line, but one still very much alive in the hearts of rail fans and history lovers today.","brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":53091659546897,"sku":"NIN9781634992114","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781634992114.jpg?v=1770141977"},{"product_id":"fm-2011-formal-methods-book-michael-butler-9783642214363","title":"FM 2011: Formal Methods","description":"This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.  The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies\/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":53565385998609,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53565386129681,"sku":"NIN9783642214363","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642214363.jpg?v=1778984702"},{"product_id":"gauntlet-book-michael-butler-9781966037644","title":"The Gauntlet","description":"Meine geliebte Cora war ein sehr lieber, kluger und selbstbewusster Hund. Die Jahre auf der Finca waren f r sie wie im Paradies. Dort konnte sie ihren Jagdtrieb auf die flinken Lagartos ausleben. Wenn ich die Wanderschuhe, Wanderst cke und Rucksack f r die Wanderung am n chsten Tag bereitstellte, lie  sie mich nicht mehr aus den Augen. Sie w re beleidigt gewesen, h tte ich sie nicht zur Wanderung mitgenommen. Autofahren war f r sie ein Genuss, genauso wie das Fliegen. Die vielen Geschichten, die sie erlebt hat, entsprechen alle der Wahrheit. Wir vermissen unsere liebe Cora sehr und werden sie stets in guter Erinnerung behalten. Anna Lang und Familie.","brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":53606083526929,"sku":"NIN9781966037644","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":53645190824209,"sku":"NLS9781966037644","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781966037644.jpg?v=1780019659"},{"product_id":"1040-impact-book-michael-butler-9798330450015","title":"1040 Impact","description":null,"brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":53638829277457,"sku":"NLS9798330450015","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9798330450015.jpg?v=1781009388"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-michael-butler.oembed?page=2","provider":"World of Books ","version":"1.0","type":"link"}