Learn How to Put the Customer First!: Learn How to Get Extremely High Customer Satisfaction, Extremely High Customer Loyalty, and Extremely High Profi, Christiansen Mr Mogens
Автор: Christiansen Tom Название: Programming Perl ISBN: 0596004923 ISBN-13(EAN): 9780596004927 Издательство: Wiley Рейтинг: Цена: 7602.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: When it comes to learning Perl, programmers consider this book to be the undisputed bible.The 4th edition has been thoroughly updated for version 5.14, with details on regular expressions, support for UNICODE, threads, and many other features.
Автор: Christiansen MS Diane Mayer Название: Snub Club: And the Case of the Disappearing Donuts ISBN: 098263787X ISBN-13(EAN): 9780982637876 Издательство: Неизвестно Цена: 1198.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: 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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru