Correct Hardware Design and Verification Methods, George J. Milne; Laurence Pierre
Автор: Hullfish, Steve Fowler, Jaime Название: Color correction for video ISBN: 0240810783 ISBN-13(EAN): 9780240810782 Издательство: Taylor&Francis Рейтинг: Цена: 7348.00 р. Наличие на складе: Поставка под заказ.
Описание: Use color to improve your storytelling, deliver critical emotional cues, and add impact to you videos.
Автор: Tiziana Margaria; Tom Melham Название: Correct Hardware Design and Verification Methods ISBN: 3540425411 ISBN-13(EAN): 9783540425410 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of papers that offer topical sections on model checking, clocking issues, theorem proving with higher order logics, hardware compilation, tools, component verification, case studies, algorithm verification, and duration calculus.
Автор: Yates Jean Название: Correct Your Spanish Blunders, 2nd Edition ISBN: 0071773002 ISBN-13(EAN): 9780071773003 Издательство: McGraw-Hill Рейтинг: Цена: 5489.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
A witty, fast-paced guide to eliminating those annoying and frustrating Spanish bloopers
Mixing genders, inverting subjects and objects, and trusting falsos amigos (a.k.a., false cognates) are just a few of the blunders English-speaking Spanish-language learners commonly make. In Correct Your Spanish Blunders, veteran Spanish teacher Jean Yates identifies these and other common trouble spots and clearly explains the reasons behind them. You will discover how grammar patterns of Spanish differ from those of English and why trying to translate word for word, structure for structure, from English, can lead to big trouble.
You will learn to break bad habits and correct your mistakes while developing a much more natural feel for Spanish language patterns-- with the help of:
More than 1,000 highlighted examples of common blunders to avoid
A free app available on iTunes for interactive practice for obliterating those blunders
Numerous examples and practical exercises
Quick-reference panels for checking correct tense forms
A "Hall of Shame" compendium of bad errors to recognize and correct
Автор: Mazet V., Mazet Veronica Название: Correct Your French Blunders ISBN: 0071788247 ISBN-13(EAN): 9780071788243 Издательство: McGraw-Hill Рейтинг: Цена: 4803.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Mixing genders, inverting subjects and objects, and trusting false cognates are just a few of the blunders English-speaking French-language learners commonly make. This title identifies these and other common trouble spots and explains the reasons behind them.
Автор: Paolo Enrico Camurati; Hans Eveking Название: Correct Hardware Design and Verification Methods ISBN: 3540603859 ISBN-13(EAN): 9783540603856 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies. This volume covers model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment and VHDL.
Автор: Laurence Pierre; Thomas Kropf Название: Correct Hardware Design and Verification Methods ISBN: 3540665595 ISBN-13(EAN): 9783540665595 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The refereed proceedings of the 10th IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME `99). Areas covered include model checking, formal methods and industrial applications, and theorem proving and related approaches.
Описание: Containing the final report of the work carried out in the project KORSO ("Korrekte Software"), the papers in this volume are organized into five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies.
Автор: Roopak Sinha; Parthasarathi Roop; Samik Basu Название: Correct-by-Construction Approaches for SoC Design ISBN: 1461478634 ISBN-13(EAN): 9781461478638 Издательство: Springer Рейтинг: Цена: 16979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The methodologies presented in this book enable designers to reuse intellectual property (IP) blocks from existing designs in an efficient, reliable manner, automatically generating correct Systems-on-Chips from multiple, possibly mismatching, components.
Автор: Roopak Sinha; Parthasarathi Roop; Samik Basu Название: Correct-by-Construction Approaches for SoC Design ISBN: 1489986391 ISBN-13(EAN): 9781489986399 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The methodologies presented in this book enable designers to reuse intellectual property (IP) blocks from existing designs in an efficient, reliable manner, automatically generating correct Systems-on-Chips from multiple, possibly mismatching, components.
Автор: Roland Meyer; Andr? Platzer; Heike Wehrheim Название: Correct System Design ISBN: 3319235052 ISBN-13(EAN): 9783319235059 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is dedicated to Professor Ernst--Rudiger Olderog on the occasion of his 60th birthday. After a laudatio section that provides a brief overview of Ernst- Rudiger Olderog`s research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog.
Автор: Ernst-R?diger Olderog; Bernhard Steffen Название: Correct System Design ISBN: 3540666249 ISBN-13(EAN): 9783540666240 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: As computers take over systems we rely on in our daily lives, it is important that they perform reliably. This text presents papers on methodology, programming, automation, compilation, and application, to help software engineers and computer scientists understand the foundations of programming.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
