Автор: 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.
Автор: 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 Ila Название: The Devil`s Sin ISBN: 1796011029 ISBN-13(EAN): 9781796011029 Издательство: Неизвестно Рейтинг: Цена: 4137.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A goddess shunned by her family and home and raised by the devil Lucifer plots to destroy earth as we know it. Four teens, whose lives would have never intersected, are the only thing standing in her way. Even with the help of the heavens, are these four regular people strong enough to stand against the goddess and her army of prehistoric wolves or will she drown our world in blood and fear?
Автор: Abazi Vigjilenca, Adriaensen Johan, Christiansen Thomas Название: The Contestation of Expertise in the European Union ISBN: 3030543692 ISBN-13(EAN): 9783030543693 Издательство: Springer Рейтинг: Цена: 13415.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book examines the position and role of expertise in European policy-making and governance.
Автор: Christiansen, Morten H. Chater, Nick Название: Language game ISBN: 1787633489 ISBN-13(EAN): 9781787633483 Издательство: Random House Рейтинг: Цена: 2640.00 р. Наличие на складе: Поставка под заказ.
Описание: Based on an eight-week course taught by renowned photographer and author William Neill, The Photographer s Portfolio Development Workshop provides the tools and skills you need in order to create a methodology that allows you to create a tightly edited portfolio of work, no matter your end goal: a box of prints, a book, an online presentation or website, or even a gallery exhibit.
Автор: Christiansen, Larry Название: Ersturmung der barrikaden ISBN: 190198382X ISBN-13(EAN): 9781901983821 Издательство: Неизвестно Рейтинг: Цена: 1926.00 р. Наличие на складе: Поставка под заказ.
Описание:
Category: Feelings"Oh is Sophie ever angry now!"Everybody gets angry sometimes. For children, anger can be very upsetting. Parents, teachers, and children can talk about it. People do lots of different things when they get angry. In this Caldecott-honor book, kids will see what Sophie does when she gets angry. What do you do?"...Bang`s double-page illustrations, vibrating with saturated colors, that reveal the drama of the child`s emotions."-SLJ, starred review"...an elegant and thought-provoking book for...children learning how to deal with emotions." -NY Times Book Review
Автор: 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.
Автор: Mike Christiansen Название: Guitar scale wall chart ISBN: 0786667141 ISBN-13(EAN): 9780786667147 Издательство: Неизвестно Рейтинг: Цена: 1543.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 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
