Автор: Friedman Daniel P., Christiansen David Thrane Название: The Little Typer ISBN: 0262536439 ISBN-13(EAN): 9780262536431 Издательство: Random House (USA) Рейтинг: Цена: 7587.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.
Автор: Rupert Christiansen Название: Diaghilev`s Empire ISBN: 0374139695 ISBN-13(EAN): 9780374139698 Издательство: Macmillan USA Рейтинг: Цена: 3219.00 р. Наличие на складе: Нет в наличии.
Автор: Christiansen Kody Название: I`m Just Me!! ISBN: 1087858631 ISBN-13(EAN): 9781087858630 Издательство: Неизвестно Рейтинг: Цена: 1792.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
A children's book aimed at gender curious and gay youth who need a character they can relate to. This book is based on the author's own childhood and represents those who are particularly unrepresented. Being free to be exactly who you feel on the inside is a human right. This book sends a message of hope and tolerance to future generations.
Coloring and Activity section in the back allows the child to truly express themselves through art. A "Draw Yourself" section is also included which gives children the freedom to show parents how they see themselves. This book is educational for both parent and child.
Автор: Christiansen, Corey Название: Rock guitar chart ISBN: 0786667117 ISBN-13(EAN): 9780786667116 Издательство: Неизвестно Рейтинг: Цена: 988.00 р. Наличие на складе: Поставка под заказ.
Автор: Christiansen John C. Название: The Twinkling Ruination ISBN: 1736323717 ISBN-13(EAN): 9781736323717 Издательство: Неизвестно Рейтинг: Цена: 2837.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Meet the happiest, smartest, and sweetest kid of them all He'd gladly bicycle across town to give you his last nickel if it might help you to that extra scoop of ice cream. But as much as he cares about you, me, and well, just about everybody, his love for his mom is what puts the true twinkle in his eye, the deeper dimple in his smile, and the pitter-pat in his heart. For this, he will pay the price.
Despite all the valiant efforts to turn her body into a toxic vessel of waste, Mom now faces a gruesome death, awash in misbegotten filth, which can only be forestalled by an amazing, dazzling, awe-inspiring medical feat performed by a troupe of traveling surgical magicians. But their stunts don't come cheap, and Mom is freshly banished from work. It'll take more than her darling boy's lunch money to save her Now this fine young fella must harness all of his love, perform his most mind-boggling calculations, and apply all of his strategic genius to make Mom's problems disappear into thin air.
A few games of chess ought to do the trick.
Well, maybe a few dozen. But when pitted against the talents of his opponents, which include an android engineer, a living jewel, a loony psychotherapist, the smartest muppet ever conceived, and an alien super-genius from another galaxy, he is kissed tantalizingly by the lips of ruthlessness. And he comes into the watchful gaze of characters even more dangerous than chess players.
After bicycling his way through death and mayhem, dragging his mind through eleven dimensions, and staying up way past his bed time, he finds himself naked in the dark, under the scrutiny of the filthy world outside his hometown. And he discovers there are more ways to be checkmated than he'd ever thought possible.
As precious hours tick away for Mom, this young whiz kid embarks on a bloody and destructive adventure across the faces of an Earth slathered with pavement, adorned with commercial strips, bejeweled with litter, perfumed with smog, and crawling with tens of billions of increasingly tear-thirsty inhabitants who want nothing more than to checkmate him.
As the twinkle in his eye fades, our hero braves caverns full of subterranean beasts, menageries of rutting perverts, a ruthless megalopolis, an uncaring desert, a megalomaniacal cyborg, and downright rudeness, all the while pursued by a gang of junkie bounty hunters, desperate for their next fix, and a murderous breakfast fanatic who believes the key to restoring balance and nutrition to the universe is this boy, the kid from the door next to dystopia.
Curly Conversations for Teams provides a simple, practical framework for leaders and teams who want to think and work more effectively in today's complex environment. It will help you motivate your team to have engaging conversations that will allow them to confidently and effectively move forward when faced with disruption and uncertainty.
'If you want to have energising team conversations that overcome the hidden elements that stifle collaboration, performance, development and trust - read this book ' Melinda Benbow - Supply Planning Manager, The Body Shop
'Kate guides us on ways to create a safe environment for teams to ask bold questions, challenge the status quo and create strategies to address the disruption they face.' Anneliese Rhodes - Director Customer Experience, Cisco Systems
'I love this book Curly Conversations for Teams is THE playbook for leaders who want support in a world of change and disruption.' Amanda Lutvey - Communication & Engagement Specialist, Maven Dental Group
'The practical guides at the back of the book cover most, if not all, of the scenarios any team leader or manager is likely to encounter. A great addition to any leader's handbook ' Geoff Purcell - Chief Technology Officer, Melbourne Water
'Curly Conversations for Teams is an excellent resource filled with practical solutions to challenges universally faced by teams responding to disruption.' Carolyn Noumertzis - Chief Human Resources Officer
'A truly unique way to inspire and motivate teams to take big steps, tackle big questions and shift their thinking into the realm of possibility.'Beau Vigushin - Executive Director, Customer Experience, Art Centre Melbourne
Автор: Corey Christiansen Название: Bass scales wall chart ISBN: 0786667168 ISBN-13(EAN): 9780786667161 Издательство: Неизвестно Рейтинг: Цена: 2401.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Now an established classic, Intellectual Origins of American Radicalism was the first book to explore this alternative current of American political thought from the seventeenth-century English Revolution to the time of the American Revolution, when Thomas Paine was its great exemplar. This updated edition contains a preface by the author and a new historiographical essay by David Waldstreicher.
Автор: Christiansen Steen Ledet Название: The New Cinematic Weird: Atmospheres and Worldings ISBN: 1793612749 ISBN-13(EAN): 9781793612748 Издательство: Bloomsbury Рейтинг: Цена: 13464.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The New Cinematic Weird analyzes the role that creepy, unsettling, ominous, uneasy, and eerie atmospheres play in recent films of this genre. The author shows how the new cinematic weird elicits joy by creating weird atmospheres as affective intensities that are to be experienced rather than understood.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
