Practical C++ Design: From Programming to Architecture, Singer Adam B.
Автор: Nederpelt Название: Type Theory and Formal Proof ISBN: 110703650X ISBN-13(EAN): 9781107036505 Издательство: Cambridge Academ Рейтинг: Цена: 11088.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.
Автор: 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
Автор: Rothman, Michael Zimmer, Vincent Название: Harnessing the uefi shell ISBN: 1501514806 ISBN-13(EAN): 9781501514807 Издательство: Walter de Gruyter Рейтинг: Цена: 13668.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Focusing on the use of the UEFI Shell and its recently released formal specification, this book unlocks a wide range of usage models which can help people best utilize the shell solutions. This text also expands on the obvious intended utilization of the shell and explains how it can be used in various areas such as security, networking, configuration, and other anticipated uses such as manufacturing, diagnostics, etc. Among other topics, Harnessing the UEFI Shell demonstrates how to write Shell scripts, how to write a Shell application, how to use provisioning options and more. Since the Shell is also a UEFI component, the book will make clear how the two things interoperate and how both Shell developers as well as UEFI developers can dip into the other's field to further expand the power of their solutions.
Harnessing the UEFI Shell is authored by the three chairs of the UEFI working sub-teams, Michael Rothman (Intel, chair of the UEFI Configuration and UEFI Shell sub-teams), Vincent Zimmer (Intel, chair of the UEFI networking sub-team and security sub-team), and Tim Lewis (Insyde Software, chair of the UEFI security sub-team). This book is perfect for any OEMs that ship UEFI-based solutions (which is all of the MNCs such as IBM, Dell, HP, Apple, etc.), software developers who are focused on delivering solutions targeted to manufacturing, diagnostics, hobbyists, or stand-alone kiosk environments.
Название: 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.
Описание: Chapter 1 Review of C Review of C and SDK with reference to the topics in this book. Reminds the reader of C syntax. Use loops, subroutines, file access. Create typical programs in C using SDK Exercises PART 1 - FINANCIAL APPLICATIONS Chapter 2 Regression: Use regression techniques to find the pattern for depreciation of the value of cars over a period of years. Program written will create graphical displays to illustrate the topic. Exercises Chapter 3 Product Moment Correlation Coefficient (PMCC): Use this technique to illustrate the accuracy (or otherwise) of regression techniques. Exercises Chapter 4: Asset PricingUse the past stock values of an Asset to predict what its future values may be using Monte Carlo methods.Graphics displays to illustrate the topic. Exercises PART 2 - ENGINEERING/INDUSTRIAL/COMMERCIAL APPLICATIONS Chapter 5: Supermarket Stock Reordering Simulation Create a file of stock for a supermarket. Simulate the buying of stock by shoppers. Check the remaining stock. If it is too low print a message to reorder the stock. Exercises Chapter 6: Flight Information Boards at Airports Create a file of arrivals for an airport. Send data to the airport's display boards to show the current situation for the incoming flights. Update a flight and refresh the information to the display boards. ExercisesChapter 6: Power Plant Control Program receives messages about pressures, temperatures, flow rates etc for a power plant. The program checks for values outside safety ranges and acts upon any problem values by sending messages to both the gauges and the managers responsible for them. Exercises PART 3 - PHYSICS APPLICATIONS Chapter 8 Potential Energy and Kinetic Energy Simulation Use formulas for Potential Energy and Kinetic Energy to show how one falls at the same rate as the other rises.Exercises Chapter 9 Pendulum Simulation Use formulas for the motion of a pendulum to create a graph to illustrate the mathematical relationship on a graph . Exercises Chapter 10: Centre of Mass Calculation Calculate the centre of mass of unusually-shaped objects. Exercises Chapter 11: Brownian Motion Simulate the patterns of particles moving in gases or solids. Graphical displays to illustrate the topic. Exercises Chapter 12 Vacancy Model of Atoms Moving in SolidsDemonstrate the Vacancy Model of atoms moving in solids where they can move into empty sites within the solid. Graphical displays will show the movement of the atoms within a 2D site.Exercises APPENDICES A. C Programming C
Автор: 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.
Автор: Gilles Kahn Название: Functional Programming Languages and Computer Architecture ISBN: 3540183175 ISBN-13(EAN): 9783540183174 Издательство: Springer Рейтинг: Цена: 6567.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains the proceedings of the Third Conference on Functional Programming Languages and Computer Architecture held in Portland, Oregon, September 14-16, 1987.
Автор: 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.
Автор: Garson Название: Modal Logic for Philosophers ISBN: 1107609526 ISBN-13(EAN): 9781107609525 Издательство: Cambridge Academ Рейтинг: Цена: 6336.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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
