Basics of programming and algorithms, principles and applications, Mantaci, Roberto Yunes, Jean-baptiste
Автор: Daniel J. Velleman Название: How to Prove It : A Structured Approach ISBN: 1108439535 ISBN-13(EAN): 9781108439534 Издательство: Cambridge Academ Рейтинг: Цена: 5861.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proofs play a central role in advanced mathematics and theoretical computer science, and this bestselling text`s third edition will help students transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs, with a new chapter on number theory and over 150 new exercises.
Автор: Cormen, Thomas H. Название: Introduction to Algorithms 4E ISBN: 026204630X ISBN-13(EAN): 9780262046305 Издательство: MIT Press Рейтинг: Цена: 25394.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A comprehensive update of a widely used textbook, with new material on matchings in bipartite graphs, online algorithms, machine learning, and other topics. Some books on algorithms are rigorous but incomplete; others cover masses of material but lack rigor. Introduction to Algorithms uniquely combines rigor and comprehensiveness. It covers a broad range of algorithms in depth, yet makes their design and analysis accessible to all levels of readers. Since the publication of the first edition, Introduction to Algorithms has become a widely used text in universities worldwide as well as the standard reference for professionals. This fourth edition has been updated throughout, with new chapters on matchings in bipartite graphs, online algorithms, and machine learning, and new material on such topics as solving recurrence equations, hash tables, potential functions, and suffix arrays. Each chapter is relatively self-contained, presenting an algorithm, a design technique, an application area, or a related topic, and can be used as a unit of study. The algorithms are described in English and in a pseudocode designed to be readable by anyone who has done a little programming. The explanations have been kept elementary without sacrificing depth of coverage or mathematical rigor. The fourth edition has 140 new exercises and 22 new problems, and color has been added to improve visual presentations. The writing has been revised throughout, and made clearer, more personal, and gender neutral. The book's website offers supplemental material.
Автор: 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.
Автор: Cormen, Thomas H., E Название: Introduction to algorithms 3 ed. ISBN: 0262033844 ISBN-13(EAN): 9780262033848 Издательство: MIT Press Рейтинг: Цена: 27588.00 р. Наличие на складе: Нет в наличии.
Описание: A new edition of the essential text and professional reference, with substantial new material on such topics as vEB trees, multithreaded algorithms, dynamic programming, and edge-base flow.
Автор: Alsuwaiyel M H Название: Algorithms: Design Techniques And Analysis (Revised Edition) ISBN: 9814723649 ISBN-13(EAN): 9789814723640 Издательство: World Scientific Publishing Рейтинг: Цена: 22810.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Problem solving is an essential part of every scientific discipline. It has two components: (1) problem identification and formulation, and (2) the solution to the formulated problem. One can solve a problem on its own using ad hoc techniques or by following techniques that have produced efficient solutions to similar problems. This requires the understanding of various algorithm design techniques, how and when to use them to formulate solutions, and the context appropriate for each of them.Algorithms: Design Techniques and Analysis advocates the study of algorithm design by presenting the most useful techniques and illustrating them with numerous examples — emphasizing on design techniques in problem solving rather than algorithms topics like searching and sorting. Algorithmic analysis in connection with example algorithms are explored in detail. Each technique or strategy is covered in its own chapter through numerous examples of problems and their algorithms.Readers will be equipped with problem solving tools needed in advanced courses or research in science and engineering.
Автор: Lanz Franz Название: User S Guide ISBN: 3110375486 ISBN-13(EAN): 9783110375480 Издательство: Walter de Gruyter Цена: 9288.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: For all users who work with ISPF on z/OS MVS. The readers of this book will learn how to use the ISPF professionally in their daily work in z/OS to quickly reach optimal results: - Detailed description of TSO/ISPF logon processes- Use of ISPF command tables- DSLIST - Optimal use of Data Set Lists- Use of Object / Action Workplace as an optimal work surface- Detailed description on use of the ISPF editor- Utilities for allocated data sets- Secret commands usable in ISPF- Descriptions for using the downloadable SMART ISPF Utilities The author gives many useful hints and tips based on his extensive experience working with ISPF. The applications of all the major ISPF commands are demonstrated by examples from practice.The book can be used as a teaching aid as well as a practical guide for daily work.
Название: Handbook of Finite State Based Models and Applications ISBN: 1138199354 ISBN-13(EAN): 9781138199354 Издательство: Taylor&Francis Рейтинг: Цена: 9492.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on finite state theories, algorithms, and the latest domain applications. For beginners, the book is a handy reference for quickly looking up model details. For more experienced researchers, it is suitable as a source of in-depth study in this area.
The book first introduces the fundamentals of automata theory, including regular expressions, as well as widely used automata, such as transducers, tree automata, quantum automata, and timed automata. It then presents algorithms for the minimization and incremental construction of finite automata and describes Esterel, an automata-based synchronous programming language for embedded system software development.
Moving on to applications, the book explores regular path queries on graph-structured data, timed automata in model checking security protocols, pattern matching, compiler design, and XML processing. It also covers other finite state-based modeling approaches and applications, including Petri nets, statecharts, temporal logic, and UML state machine diagrams.
Автор: Mitzenmacher Название: Probability and Computing ISBN: 110715488X ISBN-13(EAN): 9781107154889 Издательство: Cambridge Academ Рейтинг: Цена: 8237.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This greatly expanded new edition, requiring only an elementary background in discrete mathematics, comprehensively covers randomization and probabilistic techniques in modern computer science. It includes new material relevant to machine learning and big data analysis, plus examples and exercises, enabling students to learn modern techniques and applications.
Автор: Rueher Название: Principles and Practice of Constraint Programming ISBN: 3319449524 ISBN-13(EAN): 9783319449524 Издательство: Springer Рейтинг: Цена: 14814.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed conference proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming, CP 2016, held in Toulouse, France, in September 2016. The papers are grouped into the following tracks: technical track;
Автор: Qidwai Название: Digital image processign an algorit ISBN: 1138115185 ISBN-13(EAN): 9781138115187 Издательство: Taylor&Francis Рейтинг: Цена: 11329.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Avoiding heavy mathematics and lengthy programming details, Digital Image Processing: An Algorithmic Approach with MATLAB(R) presents an easy methodology for learning the fundamentals of image processing. The book applies the algorithms using MATLAB(R), without bogging down students with syntactical and debugging issues.
One chapter can typically be completed per week, with each chapter divided into three sections. The first section presents theoretical topics in a very simple and basic style with generic language and mathematics. The second section explains the theoretical concepts using flowcharts to streamline the concepts and to form a foundation for students to code in any programming language. The final section supplies MATLAB codes for reproducing the figures presented in the chapter. Programming-based exercises at the end of each chapter facilitate the learning of underlying concepts through practice.
This textbook equips undergraduate students in computer engineering and science with an essential understanding of digital image processing. It will also help them comprehend more advanced topics and sophisticated mathematical material in later courses. A color insert is included in the text while various instructor resources are available on the author's website.
Автор: Yuping Huang; Panos M. Pardalos; Qipeng P. Zheng Название: Electrical Power Unit Commitment ISBN: 1493967665 ISBN-13(EAN): 9781493967667 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: It updates texts written in the late 1990s and early 2000s by including the fundamentals of both UC and state-of-the-art modeling as well as solution algorithms and highlighting stochastic models and mixed-integer programming techniques.The UC problems are mostly formulated as mixed-integer linear programs, although there are many variants.
Автор: G?nter Mayer Название: Interval Analysis: and Automatic Result Verification ISBN: 3110500639 ISBN-13(EAN): 9783110500639 Издательство: Walter de Gruyter Рейтинг: Цена: 22305.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This self-contained text is a step-by-step introduction and a complete overview of interval computation and result verification, a subject whose importance has steadily increased over the past many years. The author, an expert in the field, gently presents the theory of interval analysis through many examples and exercises, and guides the reader from the basics of the theory to current research topics in the mathematics of computation.
Contents
Preliminaries
Real intervals
Interval vectors, interval matrices
Expressions, P-contraction, ε-inflation
Linear systems of equations
Nonlinear systems of equations
Eigenvalue problems
Automatic differentiation
Complex intervals
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
