Описание: This book discusses the implementation of digital circuits by using MCML gates. This book provides a complete automation methodology for the implementation of digital circuits in MCML and provides an extensive explanation on the technical details of design of MCML.
Автор: St?phane Badel; Can Baltaci; Alessandro Cevrero; Y Название: Design Automation for Differential MOS Current-Mode Logic Circuits ISBN: 3030082199 ISBN-13(EAN): 9783030082192 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book discusses the implementation of digital circuits by using MCML gates. Although digital circuit implementation is possible with other elements, such as CMOS gates, MCML implementations can provide superior performance in certain applications. This book provides a complete automation methodology for the implementation of digital circuits in MCML and provides an extensive explanation on the technical details of design of MCML. A systematic methodology is presented to build efficient MCML standard-cell libraries, and a complete top-down design flow is shown to implement complex systems using such building blocks.
Автор: Sahrling, Mikael, Название: Fast techniques for integrated circuit design / ISBN: 1108498450 ISBN-13(EAN): 9781108498456 Издательство: Cambridge Academ Рейтинг: Цена: 15365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Learn how to use estimation techniques to solve integrated circuit (IC) design problems, accelerate the design process, and enhance understanding of complex systems with this step-by-step guide. Using numerous real-world application examples, it is ideal for both early-career and established professionals and researchers, and graduate students, working in IC design.
Автор: DAVID PROTHEROE DOUGLAS LEWIN Название: Design of Logic Systems ISBN: 0412428903 ISBN-13(EAN): 9780412428906 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Provides coverage of the topics needed for intermediate and advanced degree and diploma courses in digital design. It emphasizes the value of formal methods to ensure the proper operation of complex digital circuits, while illustrating their practical applications.
Автор: Twan Basten; Roelof Hamberg; Frans Reckers; Jacque Название: Model-Based Design of Adaptive Embedded Systems ISBN: 1489996192 ISBN-13(EAN): 9781489996190 Издательство: Springer Рейтинг: Цена: 18284.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes model-based development of adaptive embedded systems, presenting techniques that focus on the problem domain rather than on the solution domain, thereby increasing development efficiency. Includes industrial examples of the models used.
Автор: Smita Krishnaswamy; Igor L. Markov; John P. Hayes Название: Design, Analysis and Test of Logic Circuits Under Uncertainty ISBN: 9400797982 ISBN-13(EAN): 9789400797987 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Combining theory with practical examples, this volume presents a comprehensive overview of logic circuits. The text presents techniques used to analyze, design and test logic circuits with probabilistic behavior, and provides a multidisciplinary approach to uncertainty.
Автор: Beckner, Mark Название: Upgrading and migrating to biztalk server 2016 ISBN: 1501515071 ISBN-13(EAN): 9781501515071 Издательство: Walter de Gruyter Рейтинг: Цена: 7994.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
There are a variety of considerations you'll need to take into account when migrating your solutions to BizTalk 2016. In this book, you'll find detailed information about how to migrate your components "as-is," as well as recompile them with the latest version of Visual Studio. You'll look at ways to improve your components pre-migration, as well as troubleshoot issues within these components. You'll learn how to make intelligent mapping updates, especially with XSLT, and how to simplify your overall architecture. Additionally, working with BizTalk 2016 in an Azure environment and building BizTalk Azure Services are covered.
Readers will look at migrating maps, orchestrations, .NET assemblies, database components, EDI parties and configurations, and other artifacts found in BizTalk solutions. They will also be able to quickly come to an understanding of what will be involved in a migration and what will be required for resourcing and costs associated with a migration. Readers will find information that will cover virtually every aspect of their upgrade to BizTalk 2016, and should come away with a simpler solution once that migration is complete.
Автор: Andrei Karatkevich; Arkadiusz Bukowiec; Micha? Dol Название: Design of Reconfigurable Logic Controllers ISBN: 331926723X ISBN-13(EAN): 9783319267234 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the original concepts andmodern techniques for specification, synthesis, optimisation and implementationof parallel logical control devices.
Автор: Plato Название: Elements of Logical Reasoning ISBN: 1107036593 ISBN-13(EAN): 9781107036598 Издательство: Cambridge Academ Рейтинг: Цена: 12355.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is an accessible and scientifically rigorous introduction to the principles of logical reasoning, covering many topics including the deductive machinery of metalogic, otherwise known as the nature and function of proofs. It will be valuable to students of logic, mathematics and computer science.
Автор: Walton Название: Methods of Argumentation ISBN: 1107677335 ISBN-13(EAN): 9781107677333 Издательство: Cambridge Academ Рейтинг: Цена: 4435.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book, written by a leading expert, and based on the latest research, shows how to apply methods of argumentation to a range of interesting examples. Written in a nontechnical style, the book explains what you most need to know by applying the methods to many real examples of arguments found in everyday conversational exchanges and legal argumentation.
Автор: Walton Название: Methods of Argumentation ISBN: 1107039304 ISBN-13(EAN): 9781107039308 Издательство: Cambridge Academ Рейтинг: Цена: 12672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book, written by a leading expert, and based on the latest research, shows how to apply methods of argumentation to a range of interesting examples. Written in a nontechnical style, the book explains what you most need to know by applying the methods to many real examples of arguments found in everyday conversational exchanges and legal argumentation.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
