Practical C++ Design: From Programming to Architecture, Singer Adam B.
Автор: Nederpelt Название: Type Theory and Formal Proof ISBN: 110703650X ISBN-13(EAN): 9781107036505 Издательство: Cambridge Academ Рейтинг: Цена: 10611.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.
Автор: Maurice Herlihy Название: The Art of Multiprocessor Programming ISBN: 0124159508 ISBN-13(EAN): 9780124159501 Издательство: Elsevier Science Рейтинг: Цена: 9936.00 р. Наличие на складе: Поставка под заказ.
Описание: The Art of Multiprocessor Programming, Second Edition provides users with an authoritative guide to multicore programming. This updated edition introduces higher level software development skills relative to those needed for efficient single-core programming, and includes comprehensive coverage of the new principles, algorithms, and tools necessary for effective multiprocessor programming. The book is an ideal resource for students and professionals alike who will benefit from its thorough coverage of key multiprocessor programming issues.
Автор: Garson Название: Modal Logic for Philosophers ISBN: 1107609526 ISBN-13(EAN): 9781107609525 Издательство: Cambridge Academ Рейтинг: Цена: 6018.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides philosophers with an accessible yet technically sound treatment of modal logic and its philosophical applications. This second edition contains a new chapter on logics of conditionals, an updated and expanded bibliography, and is updated throughout. A number of technical results have also been clarified and streamlined.
Автор: Garson Название: Modal Logic for Philosophers ISBN: 1107029554 ISBN-13(EAN): 9781107029552 Издательство: Cambridge Academ Рейтинг: Цена: 15682.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides philosophers with an accessible yet technically sound treatment of modal logic and its philosophical applications. This second edition contains a new chapter on logics of conditionals, an updated and expanded bibliography, and is updated throughout. A number of technical results have also been clarified and streamlined.
Автор: Zimmer Vincent Название: Beyond Bios ISBN: 1501514784 ISBN-13(EAN): 9781501514784 Издательство: Walter de Gruyter Рейтинг: Цена: 11994.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book provides an overview of modern boot firmware, including the Unified Extensible Firmware Interface (UEFI) and its associated EFI Developer Kit II (EDKII) firmware. The authors have each made significant contributions to developments in these areas. The reader will learn to use the latest developments in UEFI on modern hardware, including open source firmware and open hardware designs. The book begins with an exploration of interfaces exposed to higher-level software and operating systems, and commences to the left of the boot timeline, describing the flow of typical systems, beginning with the machine restart event.
Software engineers working with UEFI will benefit greatly from this book, while specific sections of the book address topics relevant for a general audience: system architects, pre-operating-system application developers, operating system vendors (loader, kernel), independent hardware vendors (such as for plug-in adapters), and developers of end-user applications. As a secondary audience, project technical leaders or managers may be interested in this book to get a feel for what their engineers are doing.
The reader will find:
An overview of UEFI and underlying Platform Initialization (PI) specifications
How to create UEFI applications and drivers
Workflow to design the firmware solution for a modern platform
Advanced usages of UEFI firmware for security and manageability
Автор: Coplien, James Название: Lean architecture ISBN: 0470684208 ISBN-13(EAN): 9780470684207 Издательство: Wiley Рейтинг: Цена: 4750.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: More and more Agile projects are seeking architectural roots as they struggle with complexity and scale - and they`re seeking lightweight ways to do it. This book helps you to find your own path.
Автор: Bruce Reidenbach Название: Practical Digital Design: An Introduction to VHDL ISBN: 1612497667 ISBN-13(EAN): 9781612497662 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 11285.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The VHSIC Hardware Description Language (VHDL) is one of the two most popular languages used to design digital logic circuits. This book provides a comprehensive introduction to the syntax and the most commonly used features of VHDL. It also presents a formal digital design process and the best-case design practices that have been developed over more than twenty-five years of VHDL design experience by the author in military ground and satellite communication systems. Unlike other books on this subject, this real-world professional experience captures not only the what of VHDL, but also the how. Throughout the book, recommended methods for performing digital design are presented along with the common pitfalls and the techniques used to successfully avoid them. Written for students learning VHDL for the first time as well as professional development material for experienced engineers, this book's contents minimize design time while maximizing the probability of first-time design success.
Автор: Gribaudo & Lacono Название: Theory And Application Of Multi-Formalism Modeling ISBN: 1466646594 ISBN-13(EAN): 9781466646599 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 28413.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: With complex systems and complex requirements being a challenge that designers must face to reach quality results, multi-formalism modeling offers tools and methods that allow modelers to exploit the benefits of different techniques in a general framework intended to address these challenges.Theory and Application of Multi-Formalism Modeling boldly explores the importance of this topic by gathering experiences, theories, applications, and solutions from diverse perspectives of those involved with multi-formalism modeling. Professionals, researchers, academics, and students in this field will be able to critically evaluate the latest developments and future directions of multi-formalism research.
Автор: Appel Название: Program Logics for Certified Compilers ISBN: 110704801X ISBN-13(EAN): 9781107048010 Издательство: Cambridge Academ Рейтинг: Цена: 13147.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers practical and theoretical separation logic suitable for graduate students. On the practical side, it covers verification in Hoare and separation logics, simple case studies, and the Verifiable C program logic. On the theoretical side, it covers separation algebras, step-indexed models, indirection theory, tree-shares, and the semantic construction of Verifiable C.
Название: Quick boot ISBN: 1501515381 ISBN-13(EAN): 9781501515385 Издательство: Walter de Gruyter Рейтинг: Цена: 9670.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Quick Boot is designed to give developers a background in the basic architecture and details of a typical boot sequence. More specifically, this book describes the basic initialization sequence that allows developers the freedom to boot an OS without a fully featured system BIOS. Various specifications provide the basics of both the code bases and the standards. This book also provides insights into optimization techniques for more advanced developers. With proper background information, the required specifications on hand, and diligence, many developers can create quality boot solutions using this text.
Pete Dice is Engineering Director of Verifone, where he manages OS Engineering teams in Dublin, Ireland and Riga Latvia. Dice successfully launched Intel(R) Quark(TM), Intel's first generation SoC as well as invented the Intel(R) Galileo(TM) development board and developed a freemium SW strategy to scale Intel IoT gateway features across product lines. He is also credited with architecting the "Moon Island" software stack and business model.
Описание: In today's modernized environment, a growing number of software companies are changing their traditional engineering approaches in response to the rapid development of computing technologies. As these businesses adopt modern software engineering practices, they face various challenges including the integration of current methodologies and contemporary design models and the refactoring of existing systems using advanced approaches. Applications and Approaches to Object-Oriented Software Design: Emerging Research and Opportunities is a pivotal reference source that provides vital research on the development of modern software practices that impact maintenance, design, and developer productivity. While highlighting topics such as augmented reality, distributed computing, and big data processing, this publication explores the current infrastructure of software systems as well as future advancements. This book is ideally designed for software engineers, IT specialists, data scientists, business professionals, developers, researchers, students, and academicians seeking current research on contemporary software engineering methods.
Описание: Provides research on the development of modern software practices that impact maintenance, design, and developer productivity. While highlighting topics such as augmented reality, distributed computing, and big data processing, this publication explores the current infrastructure of software systems as well as future advances.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
