Curly Conversations for Teams: Dive into discomfort. Dare to do things differently. Deliver despite disruption., Christiansen Kate
Автор: Friedman Daniel P., Christiansen David Thrane Название: The Little Typer ISBN: 0262536439 ISBN-13(EAN): 9780262536431 Издательство: TBS/GBS Рейтинг: Цена: 9335.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer.
The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming--pairs, lists, functions, and recursion--can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.
Автор: Christiansen Kate E. Название: The Thrive Cycle: Unlock the Adaptive Organisation Within ISBN: 0994475101 ISBN-13(EAN): 9780994475107 Издательство: Неизвестно Цена: 3304.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
WINNER 2017 Axiom Business Book Awards - Bronze Medal
How adaptive is your organisation? What does an adaptive organisation look like from the inside? How do you build one? Where do you start?
This book provides these answers and many more. Think of it as the Complete Leader's Guide to turning the organisation you have today, into one that holds an adaptive advantage over its rivals. The Thrive Cycle, and its original framework, will enable you and your organisation to discuss, define, develop and measure adaptive capability in a meaningful way. It crystallises the lessons of twenty years spent influencing, cajoling and coercing large, complex organisations to adapt, and shares the insights from a career spent in-between the organisational silos. The result is a new, reality-based approach to one of the world's biggest challenges: CHANGE. If you're a leader with the ambition, passion and strategic imperative to create The Adaptive Organisation, this book will show you how.
PRAISE FOR THE THRIVE CYCLE
'This engaging and highly-readable book provides an innovative approach to one of the biggest challenges facing business today: managing relentless change. It offers a range of practical insights and tools which for me, makes it essential reading.' -- Keith Jackson Former CRO, Bupa Group
'The Thrive Cycle explores what it means to be an Adaptive Organisation in an ever-changing world. A highly relevant and timely contribution to the science and art of change leadership'. -- Richard Umbers CEO and Managing Director; Myer
'The Thrive Cycle is an actionable, easy to read guide to making positive change happen in complex organisations. Written by a seasoned change practitioner, this book is essential reading for C-suite and senior managers who are tasked with leading change and ensuring their business adapts to, and thrives in, an increasingly uncertain environment'. -- Tom Singer Former CFO, InterContinental Hotels Group
'Sometimes I read a business book and wonder how the author managed to pad out 250 pages with what is essentially one idea - but this book is different. The Thrive Cycle is chock full of sensible, practical tools borne out of real world experience and anchored in customer-centricity and employee engagement. Importantly, it shows how to achieve what is for many businesses 'the impossible dream' - being big and adaptive'. -- Chris Smedley CEO, Assure
'An invaluable read for leaders who want to make their organisations healthier and sustainable; indispensable reflection for those who think their organisation does not need to adapt...and a survival kit for those who consider themselves victims of change'. -- Dom nec Crosas Director General, Sanitas Mayores
'The Thrive Cycle shows step by step, how to triumph when faced with the significant challenge of leading change in complex businesses. It is a must-read for executives and senior managers with responsibility for delivering sustainable results in constantly changing environments'. -- Di Fulton - Non-Executive Director, CoInvest
'So many "a-ha" moments in The Thrive Cycle for any leader who has experienced major organisational change. This practical and engaging book provides a comprehensive and flexible framework, supported by a range of useful, easy to apply tools. A must-read ' -- Gabrielle Prior - Former International Director of Operations Quality; AC Nielsen (now Nielsen Online)
Автор: Christiansen, Steen Ledet Название: Drone age cinema ISBN: 1784536407 ISBN-13(EAN): 9781784536404 Издательство: Bloomsbury Рейтинг: Цена: 19305.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Action cinema is entering the drone age.
Автор: Christiansen Thomas, Kirchner Emil Название: Committee Governance in the European Union ISBN: 0719082870 ISBN-13(EAN): 9780719082870 Издательство: NBN International Рейтинг: Цена: 4222.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the most informative and comprehensive analysis of commitology currently available. -- .
Описание: The first volume in this series dealt with the Westinghouse J40. This volume details the development history of the J46 engine, beginning with the developments of the J34 engine that ended up in the initial J46. The unexpected and prolonged technical struggles of Westinghouse to bring the J46 to production status are detailed, along with the development histories of forgotten variants planned or developed for cancelled airframe projects. The J46 engine program resulted when The U.S. Navy Bureau of Aeronautics identified a need for more power than the existing J34 could produce. Expecting to capitalize on the outcome of BuAer's extensive J34 improvement investments, Westinghouse planned the new engine as yet another stretch of the J34 design with an all new electronic control system that for the first time integrated an afterburner. The development failure of the initial control system, and recurring mechanical problems led to late production and the delay of the introduction of the Vought's F7U-3 Cutlass into service. Itself over-weight and plagued with problems, this aircraft was called "gutless." The author offers interesting insights into contributing causes. With the withdrawal of the F7U-3 from service, both the J46 and its planned, almost unknown, successors quickly sank from view.Focusing on the technical aspects of the engine's development, primary sources were used almost exclusively. Contains 74 illustrations and numerous charts regarding the construction, performance, and operational details for the various models, many of which are almost unknown to the public.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
