Автор: Cormen, Thomas H., E Название: Introduction to algorithms 3 ed. ISBN: 0262033844 ISBN-13(EAN): 9780262033848 Издательство: MIT Press Рейтинг: Цена: 10846 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Beyer Betsy, Jones Chris, Petoff Jennifer Название: Site Reliability Engineering: How Google Runs Production Systems ISBN: 149192912X ISBN-13(EAN): 9781491929124 Издательство: Wiley Рейтинг: Цена: 6599 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Building and operating distributed systems is fundamental to large-scale production infrastructure, but doing so in a scalable, reliable, and efficient way requires a lot of trial and error. In this collection of essays and articles, three Site Reliability Engineers from Google explain how the company has successfully navigated these waters over the past decade.
You ll learn how Google continuously deploys and monitors some of the largest software systems in the world, how it s Site Reliability Engineering team learns and improves after outages, and how they balance risk-taking vs reliability with error budgets."
Автор: Cormen Thomas H Название: Introduction to Algorithms ISBN: 0262533057 ISBN-13(EAN): 9780262533058 Издательство: Wiley Рейтинг: Цена: 6731 р. Наличие на складе: Невозможна поставка.
Описание: Not available in the U.S or Canada. International Student Paperback Edition. 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.
Автор: Strang Название: Algorithms for Global Positioning ISBN: 0980232732 ISBN-13(EAN): 9780980232738 Издательство: Cambridge Academ Рейтинг: Цена: 8902 р. Наличие на складе: Невозможна поставка.
Описание: The emergence of satellite technology has changed the lives of millions of people. In particular, GPS has brought an unprecedented level of accuracy to the field of geodesy. This text is a guide to the algorithms and mathematical principles that account for the success of GPS technology and replaces the authors' previous work, Linear Algebra, Geodesy, and GPS (1997). An initial discussion of the basic concepts, characteristics and technical aspects of different satellite systems is followed by the necessary mathematical content which is presented in a detailed and self-contained fashion. At the heart of the matter are the positioning algorithms on which GPS technology relies, the discussion of which will affirm the mathematical contents of the previous chapters. Numerous ready-to-use MATLAB codes are included for the reader. This comprehensive guide will be invaluable for engineers and academic researchers who wish to master the theory and practical application of GPS technology.
Автор: Lopes Название: Exercises in Programming Style ISBN: 1482227371 ISBN-13(EAN): 9781482227376 Издательство: Taylor&Francis Рейтинг: Цена: 4674 р. Наличие на складе: Поставка под заказ.
Описание: Using a simple computational task (term frequency) to illustrate different programming styles, Exercises in Programming Style helps readers understand the various ways of writing programs and designing systems. It is designed to be used in conjunction with code provided on an online repository. The book complements and explains the raw code in a way that is accessible to anyone who regularly practices the art of programming. The book can also be used in advanced programming courses in computer science and software engineering programs. The book contains 33 different styles for writing the term frequency task. The styles are grouped into nine categories: historical, basic, function composition, objects and object interactions, reflection and metaprogramming, adversity, data-centric, concurrency, and interactivity. The author verbalizes the constraints in each style and explains the example programs. Each chapter first presents the constraints of the style, next shows an example program, and then gives a detailed explanation of the code. Most chapters also have sections focusing on the use of the style in systems design as well as sections describing the historical context in which the programming style emerged.
Описание: Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. The design of these systems is a great challenge and requires sound compromises between safety and time-to-market. To meet these needs, early design phases nowadays include verification of given specifications against system descriptions to find potential design errors as early as possible. This book is devoted to the foundation of the most popular formal methods for the specification and verification of reactive systems. In particular, the Вµ-calculus, omega-automata, and temporal logics are covered in full detail; their relationship and state-of-the-art verification procedures based on these formal approaches are presented. Furthermore, the advantages and disadvantages of the formalisms from particular points of view are analyzed. Most results are given with detailed proofs, so that the presentation is almost self-contained. This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents all important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes state-of-the-art verification procedures for them. It also discusses advantages and disadvantages of these formalisms, and shows up their strengths and weaknesses. Most results are given with detailed proofs, so that the presentation is almost self-contained. Includes all definitions without relying on other materialProves all theorems in detailPresents detailed algorithms in pseudo-code for verification as well as translations to other formalisms
Автор: Mohan P.V. Ananda Название: Residue Number Systems / Algorithms and Architectures ISBN: 1402070314 ISBN-13(EAN): 9781402070310 Издательство: Springer Рейтинг: Цена: 16169 р. Наличие на складе: Поставка под заказ.
Описание: This text is an excellent reference for both professional and academic researchers in the field of VLSI using residue number systems. It is also of interest to those working in the general fields of VLSI design, DSP design, and cryptography. Residue Number Systems: Algorithms and Architectures is also suitable for a graduate-level course as part of a VLSI curriculum.
Описание: This book constitutes the refereed proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held in Edinburgh, UK in April 2005 as part of ETAPS.The 33 revised full research papers and 8 revised tool demonstration papers presented together with an invited paper were carefully reviewed and selected from a total of 161 submissions. The papers are organized in topical sections on regular model-checking, infinite state machines, abstract interpretation, automata and logics, probabilistic systems and probabilistic model checking, satisfiability, testing, abstraction and reduction, specification and program synthesis, and model-checking.
Описание: This book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2006, held in Vienna, Austria in March/April 2006 as part of ETAPS.
Описание: This book constitutes the refereed proceedings of the First Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2006, held in Xi'an, China in August 2006.The 63 revised full papers presented together with 2 invited keynote speech abstracts were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on wireless PAN and wireless LAN, wireless MAN and pervasive computing, data management, mobility, localization and topology control, performance modeling and analysis, MAC, algorithm and system design, security, broadcast/multicast routing, OFDM networks, algorithms and protocols, and modeling and algorithms.
Описание: This book constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007, the European Joint Conferences on Theory and Practice of Software.The 45 revised full research papers and 9 revised tool demonstration papers presented together with 1 invited paper were carefully reviewed and selected from a total of 204 submissions. The papers are organized in topical sections on software verification, probabilistic model checking and markov chains, static analysis, markov chains and real-time systems, timed automata and duration calculus, assume-guarantee reasoning, biological systems, abstraction refinement, message sequence charts, automata-based model checking, specification languages, security, software and hardware verification, decision procedures and theorem provers, model checking, as well as infinite-state systems.
Название: Theory and algorithms for cooperative systems ISBN: 9812560203 ISBN-13(EAN): 9789812560209 Издательство: World Scientific Publishing Рейтинг: Цена: 20543 р. Наличие на складе: Поставка под заказ.
Описание: Over the past several years, cooperative control and optimization have increasingly played a larger and more important role in many aspects of military
sciences, biology, communications, robotics, and decision making. At the same time, cooperative systems are notoriously difficult to model, analyze, and solve - while intuitively
understood, they are not axiomatically defined in any commonly accepted manner. The works in this volume provide outstanding insights into this very complex area of
research.
They a
e the result of invited papers and selected presentations at the Fourth Annual Conference on Cooperative Control and Optimization held in Destin, Florida, November 2003.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
