Автор: Akenine-Mo Ller Название: Real-Time Rendering, 4E ISBN: 1138627003 ISBN-13(EAN): 9781138627000 Издательство: Taylor&Francis Рейтинг: Цена: 13320.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Thoroughly updated, this fourth edition focuses on modern techniques used to generate synthetic three-dimensional images in a fraction of a second.
Автор: Gregory Название: Game Engine Architecture 3E ISBN: 1138035459 ISBN-13(EAN): 9781138035454 Издательство: Taylor&Francis Рейтинг: Цена: 12707.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: New to this edition: update the section on game console HW, extend the rendering chapter, include a section on 2D GUI, new chapter on multiplayer networking, more coverage of the Unity game engine.
Автор: Maurice Herlihy Название: The Art of Multiprocessor Programming ISBN: 0124159508 ISBN-13(EAN): 9780124159501 Издательство: Elsevier Science Рейтинг: Цена: 9936.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Art of Multiprocessor Programming, Second Edition provides users with an authoritative guide to multicore programming. This updated edition introduces higher level software development skills relative to those needed for efficient single-core programming, and includes comprehensive coverage of the new principles, algorithms, and tools necessary for effective multiprocessor programming. The book is an ideal resource for students and professionals alike who will benefit from its thorough coverage of key multiprocessor programming issues.
Описание: Lendman contends that for over one hundred years powerful bankers have used their control over money, credit and debt for private self-enrichment, bankrolling and colluding with the US Congress and administrations to implement laws favouring them. This book shows people how they`ve been fleeced, including a plan for constructive change.
Автор: Richard S. Bird, Jeremy Gibbons Название: Algorithm Design with Haskell ISBN: 1108491618 ISBN-13(EAN): 9781108491617 Издательство: Cambridge Academ Рейтинг: Цена: 8712.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the five main principles of algorithm design: divide and conquer, greedy algorithms, thinning, dynamic programming, and exhaustive search. It serves students, teachers, researchers, and professionals who want to know more about what goes into a good algorithm and how such algorithms can be expressed in purely functional terms.
Автор: Matuszek, David Название: Quick Functional Programming ISBN: 1032415312 ISBN-13(EAN): 9781032415314 Издательство: Taylor&Francis Рейтинг: Цена: 3520.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Schell Название: The Art Of Game Design A Book Of Le ISBN: 1138632058 ISBN-13(EAN): 9781138632059 Издательство: Taylor&Francis Рейтинг: Цена: 8726.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Written by one of the world`s top game designers, this book describes the deepest and most fundamental principles of game design, demonstrating how tactics used in board, card, and athletic games also work in video games.
Описание: Based on their experience at Google, software engineers Titus Winters and Hyrum Wright, along with technical writer Tom Manshreck, present a candid and insightful look at how some of the world`s leading practitioners construct and maintain software.
Автор: Bevilacqua Linn Michael Название: Functional Programming Patterns in Scala and Clojure ISBN: 1937785475 ISBN-13(EAN): 9781937785475 Издательство: Wiley Рейтинг: Цена: 4592.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Solve real-life programming problems with a fraction of the code that pure object-oriented programming requires. Use Scala and Clojure to solve in-depth problems with two sets of patterns: object-oriented patterns that become more concise with functional programming, and natively functional patterns.
Автор: John Hughes Название: Functional Programming Languages and Computer Architecture ISBN: 3540543961 ISBN-13(EAN): 9783540543961 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the proceedings of a conference on functional programming. This book includes topics such as: type inference, novel ways to exploit type information, partial evaluation, handling states in functional languages, and high-performance implementations.
Автор: Fahey, Joseph Haratyk, Thomas Mccaughie, Scott Sharvit, Yehonathan Szydlo, Konrad Название: The clojure workshop ISBN: 1838825487 ISBN-13(EAN): 9781838825485 Издательство: Неизвестно Рейтинг: Цена: 9608.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Cut through the noise and get real results with a step-by-step approach to learning Clojure programming
Автор: Aaron Stump Название: Verified Functional Programming in Agda ISBN: 1970001275 ISBN-13(EAN): 9781970001273 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 12860.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of properties about them. The proofs are separate external artifacts, typically using structural induction. In internal verification, we specify properties of programs through rich types for the programs themselves. This often necessitates including proofs inside code, to show the type checker that the specified properties hold. The power to prove properties of programs in these two styles is a profound addition to the practice of programming, giving programmers the power to guarantee the absence of bugs, and thus improve the quality of software more than previously possible.Verified Functional Programming in Agda is the first book to provide a systematic exposition of external and internal verification in Agda, suitable for undergraduate students of Computer Science. No familiarity with functional programming or computer-checked proofs is presupposed.The book begins with an introduction to functional programming through familiar examples like booleans, natural numbers, and lists, and techniques for external verification. Internal verification is considered through the examples of vectors, binary search trees, and Braun trees. More advanced material on type-level computation, explicit reasoning about termination, and normalization by evaluation is also included. The book also includes a medium-sized case study on Huffman encoding and decoding.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
