Описание: 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.
Автор: Moraz?n Название: Animated Problem Solving ISBN: 3030850935 ISBN-13(EAN): 9783030850937 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Mitchell, Ben Название: Independent animation ISBN: 1032103108 ISBN-13(EAN): 9781032103105 Издательство: Taylor&Francis Рейтинг: Цена: 6889.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Mitchell, Ben Название: Independent animation ISBN: 1032103116 ISBN-13(EAN): 9781032103112 Издательство: Taylor&Francis Рейтинг: Цена: 18374.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: By Charles Christopher McCarthy Название: Program Management in Defense and High Tech Environments ISBN: 103234010X ISBN-13(EAN): 9781032340104 Издательство: Taylor&Francis Рейтинг: Цена: 7195.00 р. Наличие на складе: Поставка под заказ.
Описание: 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,
Автор: Lei Feng, Qiguang Miao, Xingni Zhou Название: Basic Data Structures and Program Statements ISBN: 3110691175 ISBN-13(EAN): 9783110691177 Издательство: Walter de Gruyter Рейтинг: Цена: 7429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book covers C-Programming focussing on its practical side. Volume 1 deals mainly with basic data structures, algorithms and program statements. An extensive use of figures and examples help to give a clear description of concepts help the reader to gain a systematic understanding of the language.
Автор: Komendantskaya Название: Mathematics of Program Construction ISBN: 3031169115 ISBN-13(EAN): 9783031169113 Издательство: Springer Рейтинг: Цена: 8104.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Robert Meersman; Herve Panetto; Alok Mishra; Rafae Название: On the Move to Meaningful Internet Systems: OTM 2014 Workshops ISBN: 3662455498 ISBN-13(EAN): 9783662455494 Издательство: Springer Рейтинг: Цена: 12298.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the refereed proceedings of the following 9 international workshops: OTM Academy, OTM Industry Case Studies Program, Cloud and Trusted Computing, C&TC, Enterprise Integration, Interoperability, and Networking, EI2N, Industrial and Business Applications of Semantic Web Technologies, INBAST, Information Systems, om Distributed Environment, ISDE, Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society, META4eS, Mobile and Social Computing for collaborative interactions, MSC, and Ontology Content, OnToContent 2014. These workshops were held as associated events at OTM 2014, the federated conferences "On The Move Towards Meaningful Internet Systems and Ubiquitous Computing", in Amantea, Italy, in October 2014. The 56 full papers presented together with 8 short papers, 6 posters and 5 keynotes were carefully reviewed and selected from a total of 96 submissions. The focus of the workshops were on the following subjects models for interoperable infrastructures, applications, privacy and access control, reliability and performance, cloud and configuration management, interoperability in (System-of-)Systems, distributed information systems applications, architecture and process in distributed information system, distributed information system development and operational environment, ontology is use for eSociety, knowledge management and applications for eSociety, social networks and social services, social and mobile intelligence, and multimodal interaction and collaboration.
Автор: Manuel V Hermenegildo; Pedro Lopez-Garcia Название: Logic-Based Program Synthesis and Transformation ISBN: 3319631381 ISBN-13(EAN): 9783319631387 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Partial Evaluation of Order-sorted Equational Programs modulo Axioms.- A Formal, Resource Consumption-Preserving Translation of Actors to Haskell.- Verification of Time-Aware Business Processes using Constrained Horn Clauses.- MiniZinc with Strings.- Slicing Concurrent Constraint Programs.- A New Functional-Logic Compiler for Curry: Sprite.- lpopt: A Rule Optimization Tool for Answer Set Programming.- Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs.- Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators.- A Productivity Checker for Logic Programming.- Symbolic Abstract Contract Synthesis in a Rewriting Framework.- On the Completeness of Selective Uni_cation in Concolic Testing of Logic Programs.- CurryCheck: Checking Properties of Curry Programs.- A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms.- A Reversible Semantics for Erlang.- Scaling Bounded Model Checking By Transforming Programs With Arrays.- Coinductive Soundness of Corecursive Type Class Resolution.- Nominal Unification of Higher Order Expressions with Recursive Let.- Automata Theory Approach to Predicate Intuitionistic Logic.
Автор: Love Название: The IT Geek`s Guide to Project Leadership ISBN: 1498736505 ISBN-13(EAN): 9781498736503 Издательство: Taylor&Francis Рейтинг: Цена: 6889.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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.
Автор: Kung-Kiu Lau; Timothy P. Clement Название: Logic Program Synthesis and Transformation ISBN: 3540198067 ISBN-13(EAN): 9783540198062 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Sponsored by the Association for Logic Programming and ALPUK
Автор: J. Staunstrup Название: Program Specification ISBN: 3540114904 ISBN-13(EAN): 9783540114901 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
