Автор: Friedman Daniel P., Christiansen David Thrane Название: The Little Typer ISBN: 0262536439 ISBN-13(EAN): 9780262536431 Издательство: TBS/GBS Рейтинг: Цена: 62230.00 T Наличие на складе: Невозможна поставка. Описание:
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.
Автор: Alpert, Daniel Название: The Age of Oversupply ISBN: 0241003792 ISBN-13(EAN): 9780241003794 Издательство: Random House - Penguin Рейтинг: Цена: 14070.00 T Наличие на складе: Нет в наличии.
Автор: Friedman, Daniel P. Mendhekar, Anurag Название: Little learner ISBN: 026254637X ISBN-13(EAN): 9780262546379 Издательство: MIT Press Рейтинг: Цена: 71280.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: There is a crisis at the farm! Some bales of wool from the sheep shearing have been stolen during the night, and the bad-tempered farmer is threatening to withhold food from all the animals until the theft has been solved.At the request of the Wild Wood Constabulary, the woolly Master Sleuth, Sheared-Locks Holmes, discovers that the caper was an inside job, though his first suspect is subsequently cleared.In a brilliant piece of detective work, and a masterful cross-examination, Sheared-Locks reveals the criminal conspiracy, the animal (and human) culprits are identified, and the case is resolved in poetic style.
Автор: Thomas, Leslie Straw, Adam Machover, Daniel Friedman, Danny Название: Inquests ISBN: 1908407247 ISBN-13(EAN): 9781908407245 Издательство: Неизвестно Рейтинг: Цена: 84480.00 T Наличие на складе: Нет в наличии. Описание: Inquests and Inquiries: a practitioner`s guide is the only text that examines practice and procedure of the coroner`s court from the point of view of practitioner acting for the bereaved. It has been updated to include changes introduced in the Coroners and Justice Act 2009 as well as the Coroners Regulations and Rules introduced in 2013.
Автор: Friedman, Daniel P. Название: Seasoned Schemer 2E ISBN: 026256100X ISBN-13(EAN): 9780262561006 Издательство: MIT Press Рейтинг: Цена: 45150.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This text introduces computing as an extension of arithmetic and algebra. It introduces programs as recursive functions and briefly discusses the limits of what computers can do. The authors use the programming language SCHEME to illustrate these abstract ideas.
Автор: Friedman, Sam Laurison, Daniel Название: Class ceiling ISBN: 1447336062 ISBN-13(EAN): 9781447336068 Издательство: Marston Book Services Рейтинг: Цена: 26390.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This important book takes readers behind the closed doors of elite employers to reveal how class affects who gets to the top. Drawing on 200 interviews across four case studies - television, accountancy, architecture, and acting - it explores the complex barriers facing the upwardly mobile.
Автор: Friedman Daniel Название: Don`t Ever Look Back: A Mystery ISBN: 1250060982 ISBN-13(EAN): 9781250060983 Издательство: Macmillan USA/Holtzbrink(MPS) Цена: 12250.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
DON'T EVER GET OLD was one of mystery-publishing's biggest critical successes, earning starred reviews from every major trade publication, garnering nominations for the Edgar, Thriller, and Anthony awards, and winning the Macavity Award for Best First Novel. The producer of four Harry Potter films and the Sherlock Holmes sequel, Lionel Wigram, is set to produce the film version.
In Daniel Friedman's new novel, set in Memphis, Tennessee, and four months after the events of DON'T EVER GET OLD, eighty-eight-year-old Buck Schatz is reluctantly coming to terms with the fact that he can only move around with the aid of a walker, and his dementia seems to be getting worse.
So when one of Buck's long-time foes, a bank-robber named Elijah, comes to Buck looking for protection from mysterious pursuers, Buck wavers. In the end, his desire to cement his legacy by closing out a series of long-unsolved robberies overwhelms his usual antipathy toward doing favors for people he dislikes. Buck agrees to broker Elijah's surrender to the authorities, if Elijah will promise to confess to his long-ago crimes.
But nothing involving Elijah, or Buck, is ever simple, and Elijah's plans for Buck are more sinister than they first appeared.
Written in Buck's signature voice and featuring a mystery that will knock your socks off, DON'T EVER LOOK BACK takes a decades-old feud between two dangerous--and now elderly--men and brings it to a final, explosive conclusion.
Автор: Friedman Daniel Название: Don`t Ever Get Old ISBN: 1250028922 ISBN-13(EAN): 9781250028921 Издательство: Macmillan USA/Holtzbrink(MPS) Цена: 12250.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
When Buck Schatz, senior citizen and retired Memphis cop, learns that an old adversary may have escaped Germany with a fortune in stolen gold, Buck decides to hunt down the fugitive and claim the loot. But a lot of people want a piece of the stolen treasure, and Buck's investigation quickly attracts unfriendly attention from a very motley (and murderous) crew. Brilliantly original, this is a knock-out book from a prodigiously talented young author.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
