Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Cертификаты | Хиты | | |
 

Algorithms for Sensor Systems, Erlebach



Варианты приобретения
Цена: 5774р.
Кол-во:
 о цене
Наличие: Отсутствует. Возможна поставка под заказ.

При оформлении заказа до: 19 июл 2022
Ориентировочная дата поставки: Август
При условии наличия книги у поставщика.

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

Автор: Erlebach
Название:  Algorithms for Sensor Systems
ISBN: 9783642282089
Издательство: Springer
Классификация:
ISBN-10: 3642282083
Обложка/Формат: Paperback
Страницы: 249
Вес: 0.376 кг.
Дата издания: 01.02.2012
Серия: Computer Communication Networks and Telecommunications
Язык: English
Иллюстрации: 36 black & white illustrations, biography
Размер: 231 x 155 x 15
Читательская аудитория: Professional & vocational
Подзаголовок: 7th international symposium on algorithms for sensor systems, wireless ad hoc networks and autonomous mobile entities, algosensors 2011, saarbrucken, germany, september 8-9, 2011, revised selected papers
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии



Introduction to algorithms  3 ed.

Автор: 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.

Site Reliability Engineering: How Google Runs Production Systems

Автор: 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."

Introduction to Algorithms

Автор: 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.

Algorithms for Global Positioning

Автор: 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.

Exercises in Programming Style

Автор: 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.

Verification of Reactive Systems / Formal Methods and Algorithms

Автор: Schneider Klaus
Название: Verification of Reactive Systems / Formal Methods and Algorithms
ISBN: 3540002960 ISBN-13(EAN): 9783540002963
Издательство: Springer
Цена: 11549 р.
Наличие на складе: Поставка под заказ.

Описание: 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

Residue Number Systems / Algorithms and Architectures

Автор: 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.

Tools and Algorithms for the Construction and Analysis of Systems / 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

Автор: Halbwachs Nicolas, Zuck Lenore
Название: Tools and Algorithms for the Construction and Analysis of Systems / 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings
ISBN: 3540253335 ISBN-13(EAN): 9783540253334
Издательство: Springer
Рейтинг:
Цена: 13859 р.
Наличие на складе: Поставка под заказ.

Описание: 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.

Tools and Algorithms for the Construction and Analysis of Systems / 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Procee

Автор: Hermanns Holger, Palsberg Jens
Название: Tools and Algorithms for the Construction and Analysis of Systems / 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Procee
ISBN: 3540330569 ISBN-13(EAN): 9783540330561
Издательство: Springer
Рейтинг:
Цена: 11549 р.
Наличие на складе: Поставка под заказ.

Описание: 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.

Wireless Algorithms, Systems, and Applications / First International Conference, WASA 2006, Xi`an, China, August 15-17, 2006, Proceedings

Автор: Cheng Xiuzhen, Li Wei, Znati Taieb
Название: Wireless Algorithms, Systems, and Applications / First International Conference, WASA 2006, Xi`an, China, August 15-17, 2006, Proceedings
ISBN: 3540371893 ISBN-13(EAN): 9783540371892
Издательство: Springer
Рейтинг:
Цена: 15014 р.
Наличие на складе: Поставка под заказ.

Описание: 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.

Tools and Algorithms for the Construction and Analysis of Systems

Автор: Grumberg Orna, Huth Michael
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3540712089 ISBN-13(EAN): 9783540712084
Издательство: Springer
Рейтинг:
Цена: 15014 р.
Наличие на складе: Поставка под заказ.

Описание: 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

Название: 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
   В Контакте     В Контакте Мед  Мобильная версия