Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 65-23-70
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

Animated Program Design, Moraz?n


Варианты приобретения
Цена: 46570.00T
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: 243 шт.  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Moraz?n
Название:  Animated Program Design
ISBN: 9783031043161
Издательство: Springer
Классификация:


ISBN-10: 3031043162
Обложка/Формат: Hardback
Страницы: 514
Вес: 0.96 кг.
Дата издания: 08.10.2022
Серия: Texts in Computer Science
Язык: English
Издание: 1st ed. 2022
Иллюстрации: 1 illustrations, black and white; xix, 514 p. 1 illus.
Размер: 235 x 155
Читательская аудитория: Professional & vocational
Основная тема: Computer Science
Подзаголовок: Intermediate program design using video game development
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This textbook presents a systematic methodology for program development by using design recipes, i.e. a series of steps, each with a specific outcome, that takes a problem solver from a problem statement to a working and tested programmed solution. It introduces the reader to generative recursion, heuristic searching, accumulative recursion, tail recursion, iteration, mutation, loops, program correctness, and vectors. It uses video game development to make the content fun while at the same time teaching problem-solving techniques. The book is divided into four parts. Part I presents introductory material on basic problem solving and program design. It starts by reviewing the basic steps of a design recipe using structural recursion on a list. It then proceeds to review code refactoring–a common technique used to refine programs when a better or more elegant way is found to solve a problem–and introduces the reader to randomness. Next, Part II explores a new type of recursion called generative recursion. It navigates the reader through examples involving fractal image generation, efficient sorting, and efficient searching techniques such as binary, depth-first, and breadth-first search. Part III then explores a new type of recursion called accumulative (or accumulator) recursion. Examples used include finding a path in a graph, improving insertion sorting, and list-folding operations. Finally, Part IV explores mutation. To aid the reader in properly sequencing mutations it presents Hoare Logic and program correctness. In addition, it introduces vectors, vector processing, in-place operations, and circular data. Throughout the whole book complexity analysis and empirical experimentation is used to evaluate solutions. This textbook targets undergraduates at all levels as well as graduate students wishing to learn about program design. It details advanced types of recursion, a disciplined approach to the use of mutation, and illustrates the design process by developing a video game exploiting iterative refinement.
Дополнительное описание: Part I: Basic Problem Solving and Program Design.- 1. The Science of Problem Solving.- 2. The N-Puzzle Problem.- 3. Randomness.- Part II: Generative Recursion.- 4. Introduction to Generative Recursion.- 5. Sorting.- 6. Searching.- 7. N-Puzzle Version 2.-


Animated Problem Solving: An Introduction to Program Design Using Video Game Development

Автор: Morazбn Marco T.
Название: Animated Problem Solving: An Introduction to Program Design Using Video Game Development
ISBN: 3030850900 ISBN-13(EAN): 9783030850906
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This textbook is about systematic problem solving and systematic reasoning using type-driven design. Divide and conquer is the process by which a large problem is broken into two or more smaller problems that are easier to solve and then the solutions for the smaller pieces are combined to create an answer to the problem.

Program Specification

Автор: J. Staunstrup
Название: Program Specification
ISBN: 3540114904 ISBN-13(EAN): 9783540114901
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Animated Problem Solving

Автор: Moraz?n
Название: Animated Problem Solving
ISBN: 3030850935 ISBN-13(EAN): 9783030850937
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This textbook is about systematic problem solving and systematic reasoning using type-driven design. There are two problem solving techniques that are emphasized throughout the book: divide and conquer and iterative refinement. Divide and conquer is the process by which a large problem is broken into two or more smaller problems that are easier to solve and then the solutions for the smaller pieces are combined to create an answer to the problem. Iterative refinement is the process by which a solution to a problem is gradually made better–like the drafts of an essay. Mastering these techniques are essential to becoming a good problem solver and programmer. The book is divided in five parts. Part I focuses on the basics. It starts with how to write expressions and subsequently leads to decision making and functions as the basis for problem solving. Part II then introduces compound data of finite size, while Part III covers compound data of arbitrary size like e.g. lists, intervals, natural numbers, and binary trees. It also introduces structural recursion, a powerful data-processing strategy that uses divide and conquer to process data whose size is not fixed. Next, Part IV delves into abstraction and shows how to eliminate repetitions in solutions to problems. It also introduces generic programming which is abstraction over the type of data processed. This leads to the realization that functions are data and, perhaps more surprising, that data are functions, which in turn naturally leads to object-oriented programming. Part V introduces distributed programming, i.e., using multiple computers to solve a problem. This book promises that by the end of it readers will have designed and implemented a multiplayer video game that they can play with their friends over the internet. To achieve this, however, there is a lot about problem solving and programming that must be learned first. The game is developed using iterative refinement. The reader learns step-by-step about programming and how to apply new knowledge to develop increasingly better versions of the video game. This way, readers practice modern trends that are likely to be common throughout a professional career and beyond.

Independent animation

Автор: Mitchell, Ben
Название: Independent animation
ISBN: 1032103108 ISBN-13(EAN): 9781032103105
Издательство: Taylor&Francis
Рейтинг:
Цена: 45930.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Independent Animation showcases some of the greatest, most innovated giants in the field and helps guide readers through the artistic process and production techniques. Story development, casting, color, distribution, and the intimidating aspects of production are elucidated using various examples from all over the world.

Independent animation

Автор: Mitchell, Ben
Название: Independent animation
ISBN: 1032103116 ISBN-13(EAN): 9781032103112
Издательство: Taylor&Francis
Рейтинг:
Цена: 122490.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Independent Animation showcases some of the greatest, most innovated giants in the field and helps guide readers through the artistic process and production techniques. Story development, casting, color, distribution, and the intimidating aspects of production are elucidated using various examples from all over the world.

Program Management in Defense and High Tech Environments

Автор: By Charles Christopher McCarthy
Название: Program Management in Defense and High Tech Environments
ISBN: 103234010X ISBN-13(EAN): 9781032340104
Издательство: Taylor&Francis
Рейтинг:
Цена: 47970.00 T
Наличие на складе: Нет в наличии.
Описание: Managing technical programs successfully is as much art as it is science. This book illuminates the entire life cycle of the program-from customer`s original concept to successful completion. It offers an overview of the entire process and includes helpful ideas and insights into why programs and program managers can fail. Much more importantly,

Logic Program Synthesis and Transformation

Автор: Kung-Kiu Lau; Timothy P. Clement
Название: Logic Program Synthesis and Transformation
ISBN: 3540198067 ISBN-13(EAN): 9783540198062
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Sponsored by the Association for Logic Programming and ALPUK

The IT Geek`s Guide to Project Leadership

Автор: Love
Название: The IT Geek`s Guide to Project Leadership
ISBN: 1498736505 ISBN-13(EAN): 9781498736503
Издательство: Taylor&Francis
Рейтинг:
Цена: 45930.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

This book's author, Byron Love, admits proudly to being an IT geek. However, he had found that being an IT geek was limiting his career path and his effectiveness. During a career of more than 31 years, he has made the transition from geek to geek leader. He hopes this book helps other geeks do the same.

This book addresses leadership issues in the IT industry to help IT practitioners lead from the lowest level. Unlike other leadership books that provide a one-size-fits-all approach to leadership, this book focuses on the unique challenges that IT practitioners face.

IT project managers may manage processes and technologies, but people must be led. The IT industry attracts people who think in logical ways--analytical types who have a propensity to place more emphasis on tasks and technology than on people. This has led to leadership challenges such as poor communication, poor relationship management, and poor stakeholder engagement. Critical IT projects and programs have failed because IT leaders neglect the people component of "people, process, and technology."

Communications skills are key to leadership. This book features an in-depth discussion of the communications cycle and emotional intelligence, providing geek leaders with tools to improve their understanding of others and to help others understand them. To transform a geek into a geek leader, this book also discusses:

  • Self-leadership skills so geek leaders know how to lead others by leading themselves first
  • Followership and how to cultivate it among team members
  • How a geek leader's ability to navigate disparate social styles leads to greater credibility and influence
  • Integrating leadership into project management processes

The book concludes with a case study to show how to put leadership principles and practices into action and how an IT geek can transform into an effective IT geek leader.


Mathematics of Program Construction

Автор: Komendantskaya
Название: Mathematics of Program Construction
ISBN: 3031169115 ISBN-13(EAN): 9783031169113
Издательство: Springer
Рейтинг:
Цена: 54030.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022. The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 14 submissions. The papers deal with mathematical principles and techniques for constructing computer programs.

Unity 2017 Game AI Programming, Third Edition

Автор: Barrera Ray, Kyaw Aung Sithu, Swe Thet Naing
Название: Unity 2017 Game AI Programming, Third Edition
ISBN: 1788477901 ISBN-13(EAN): 9781788477901
Издательство: Неизвестно
Рейтинг:
Цена: 67430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Whether you are developing traditional, serious, educational, or any other kind of game, understanding how to apply artificial intelligence can take the fun-factor to the next level! This book will not only uncover the newly released features in Unity 2017 but also teach you how to implement it in your game. Moreover, you will be working with ...

Mathematical Methods in Program Development

Автор: Manfred Broy; Birgit Schieder
Название: Mathematical Methods in Program Development
ISBN: 3642645887 ISBN-13(EAN): 9783642645884
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the NATO Advanced Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30 - August 11, 1996

Integration of Software Specification Techniques for Applications in Engineering

Автор: Hartmut Ehrig; Werner Damm; J?rg Desel; Martin Gro
Название: Integration of Software Specification Techniques for Applications in Engineering
ISBN: 3540231358 ISBN-13(EAN): 9783540231356
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume is a documentation of the main results in the research area "In- gration of Software Speci?cation Techniques for Applications in Engineering". On one hand it is based on the Priority Program "Integration von Techniken der Softwarespezi?kation fur ] ingenieurwissenschaftliche Anwendungen", short Soft- Spez, oftheGermanResearchCouncil(DFG). Ontheotherhanditcontainsnew contributions of international experts in this research area, some of which were presented at the third international workshop INT 2004 on "Integration of Sp- i?cation Techniques for Applications in Engineering". INT 2004 was launched as a satellite event of ETAPS in Barcelona, the "European Joint Conferences on Theory and Practice of Software". The Priority Program SoftSpez was initiated by W. Brauer, M. Broy, H. Ehrig, H. J. Kreowski, H. Reichel, and H. Weber concerning di?erent aspects from computer science, and by E. Schnieder and E. Westk] amper concerning two main application areas in engineering, namely "Tra?c Control Systems" and "Production Automation". After acceptance of SoftSpez by the German Research Council for the period of 1998-2004 a call for speci?c projects within this priority program was launched, where 11 projects from about 75 project proposals were accepted for a period of two years. Since 1998 each year the main research proposals and results of the projects have been presented at an annual colloquium of the priority program, and every two years the projects have been evaluated by an independent group of referees appointed by the G- man Research Council. At this point we would like to thank A.


Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2)
ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия