Автор: Okasaki Chris Название: Purely functional data structures ISBN: 0521663504 ISBN-13(EAN): 9780521663502 Издательство: Cambridge Academ Рейтинг: Цена: 7445.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Most books on data structures assume an imperative language. However, their data structures do not translate well to functional languages. This book describes data structures and data structure design techniques from the point of view of functional languages. It is a reference for functional programmers and a text for self-study.
Описание: This book provides a comprehensive survey of data structures of various types. The second edition has been revised and updated with new chapters on Bloom Filters, Binary Decision Diagrams, Data Structures for Cheminformatics, and Data Structures for Big Data Stores.
Автор: Frank Dehne; J?rg-R?diger Sack; Csaba D. Toth Название: Algorithms and Data Structures ISBN: 3642033660 ISBN-13(EAN): 9783642033667 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 11th International Symposium WADS 2009 Banff Canada August 2123 2009 Proceedings. .
Автор: Ross Название: Functional Safety for Road Vehicles ISBN: 3319333607 ISBN-13(EAN): 9783319333601 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book highlights the current challenges for engineers involved in product development and the associated changes in procedure they make necessary. Methods for systematically analyzing the requirements for safety and security mechanisms are described using examples of how they are implemented in software and hardware, and how their effectiveness can be demonstrated in terms of functional and design safety are discussed.Given today’s new E-mobility and automated driving approaches, new challenges are arising and further issues concerning “Road Vehicle Safety” and “Road Traffic Safety” have to be resolved. To address the growing complexity of vehicle functions, as well as the increasing need to accommodate interdisciplinary project teams, previous development approaches now have to be reconsidered, and system engineering approaches and proven management systems need to be supplemented or wholly redefined.The book presents a continuous system development process, starting with the basic requirements of quality management and continuing until the release of a vehicle and its components for road use. Attention is paid to the necessary definition of the respective development item, the threat-, hazard- and risk analysis, safety concepts and their relation to architecture development, while the book also addresses the aspects of product realization in mechanics, electronics and software as well as for subsequent testing, verification, integration and validation phases.In November 2011, requirements for the Functional Safety (FuSa) of road vehicles were first published in ISO 26262. The processes and methods described here are intended to show developers how vehicle systems can be implemented according to ISO 26262, so that their compliance with the relevant standards can be demonstrated as part of a safety case, including audits, reviews and assessments.
Автор: Mehta Название: Handbook of Data Structures and Applications ISBN: 1584884355 ISBN-13(EAN): 9781584884354 Издательство: Taylor&Francis Рейтинг: Цена: 23734.00 р. Наличие на складе: Поставка под заказ.
Описание: Handbook of Data Structures and Applications responds to the needs of data structure and algorithm researchers by providing a comprehensive survey of data structures of various types. Divided into seven parts, the text begins with a review of introductory material, followed by a discussion of well-known classes of data structures, Priority Queues, Dictionary Structures, and Multidimensional structures. It next analyzes miscellaneous data structures, which are well-known structures that elude easy classification. The book then addresses mechanisms and tools that were developed to facilitate the use of data structures in real programs. It concludes with an examination of applications of data structures.
Автор: Hanan Samet Название: Foundations of Multidimensional and Metric Data Structures, ISBN: 0123694469 ISBN-13(EAN): 9780123694461 Издательство: Elsevier Science Рейтинг: Цена: 10441.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Discusses multidimensional point data, object and image-based representations, intervals and small rectangles, and high-dimensional datasets. This book includes a comprehensive survey to spatial and multidimensional data structures and algorithms. It also includes implementation details for some of the most useful data structures.
Автор: Navarro Название: Compact Data Structures ISBN: 1107152380 ISBN-13(EAN): 9781107152380 Издательство: Cambridge Academ Рейтинг: Цена: 11880.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Compact data structures are essential tools for efficiently handling massive amounts of data by exploiting the memory hierarchy and for reducing the resources needed for distributed and mobile applications. This first comprehensive book on the topic focuses on the structures that are most relevant for practical use.
Описание: This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and future technologies. The author discusses techniques that improve the efficiency of logic representation, manipulation and optimization tasks by taking advantage of majority and biconditional logic primitives. Readers will be enabled to accelerate formal methods by studying core properties of logic circuits and developing new frameworks for logic reasoning engines.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
