5G and Beyond The Future of IoT, Edited By Parag Chatterjee, Robin Singh Bhadoria,
Автор: Rolf Drechsler Название: Formal System Verification ISBN: 3319862235 ISBN-13(EAN): 9783319862231 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies.
Автор: Fisher Название: Beyond the Days of the Giants ISBN: 1138426199 ISBN-13(EAN): 9781138426191 Издательство: Taylor&Francis Рейтинг: Цена: 27562.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: For those approaching employment law for the first time, either in the course of an undergraduate or postgraduate elective within a law degree, or as students of business, HRM and allied professions, Unlocking Employment Law will ensure that you grasp the main concepts with ease, providing you with an indispensible foundation in the subject. Including all the latest developments in law, such as the developments relating to the Equality Act 2010, the book explains in detailed, yet straightforward terms: The origins of modern employment lawThe effect of EU membership on UK employment law Institutions and procedure Employment status The contract of employment Restraint of trade Implied terms Statutory employment protections Protection from discrimination Health and safety law Grievances and discipline TUPE transfers Termination of employment Contractual duties of ex-employees Trade Union membership and collective bargaining.The companion website www.unlockingthelaw.co.uk provides supporting resources such as multiple choice questions and updates in law.The Unlocking the Law series is designed specifically to make the law accessible. Each chapter contains:aims and objectivesactivities such as self-test questionskey facts chartsdiagrams
Автор: E.G. Frankel Название: Oil and Security ISBN: 9048176204 ISBN-13(EAN): 9789048176205 Издательство: Springer Рейтинг: Цена: 12571.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Towards the Demise of the Unreliable and Risk Prone Use of Solid and Liquid Fuel and the Development of a Sustainable World Energy System which Assures Environmental Quality and Equitable Socio-economic System
Автор: Vashek Maty??; Simone Fischer-H?bner; Daniel Cvrce Название: The Future of Identity in the Information Society ISBN: 3642033148 ISBN-13(EAN): 9783642033148 Издательство: Springer Рейтинг: Цена: 17043.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Domenico Grasso; Melody Burkins Название: Holistic Engineering Education ISBN: 1489981985 ISBN-13(EAN): 9781489981981 Издательство: Springer Рейтинг: Цена: 16977.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is a compilation of coordinated and focused essays from world leaders in the engineering profession dedicated to a transformation of engineering education and practice. The book aims to inspire, lead, and guide this critically needed transformation.
Автор: Shigeyasu Sakamoto Название: Beyond World-Class Productivity ISBN: 1447160673 ISBN-13(EAN): 9781447160670 Издательство: Springer Рейтинг: Цена: 16977.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is an enlightening guide to improving productivity and profitability within the manufacturing sector. The author shows why a return to traditional tools and the power of people can help companies meet today`s challenges in the manufacturing sector.
Автор: Rolf Drechsler Название: Formal System Verification ISBN: 3319576836 ISBN-13(EAN): 9783319576831 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL).
Автор: S. Barry Cooper; Mariya I. Soskova Название: The Incomputable ISBN: 3319436678 ISBN-13(EAN): 9783319436678 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book questions the relevance of computation to the physical universe.
Описание: As the volume of global Internet traffic increases, the Internet is beginning to suffer from a broad spectrum of performance-degrading infrastructural limitations that threaten to jeopardize the continued growth of new, innovative services. In answer to this challenge, computer scientists seek to maintain the original design principles of the Internet while allowing for a more dynamic approach to the manner in which networks are designed and operated.The Handbook of Research on Redesigning the Future of Internet Architectures covers some of the hottest topics currently being debated by the Internet community at large, including Internet governance, privacy issues, service delivery automation, advanced networking schemes, and new approaches to Internet traffic-forwarding and path-computation mechanics. Targeting students, network-engineers, and technical strategists, this book seeks to provide a broad and comprehensive look at the next wave of revolutionary ideas poised to reshape the very foundation of the Internet as we know it.
Название: Human Factors and Ergonomics in Sports ISBN: 1138481637 ISBN-13(EAN): 9781138481633 Издательство: Taylor&Francis Рейтинг: Цена: 25265.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Sport, through participation or spectatorship, represents a significant part of everyday life and wellbeing. This book provides a platform for sports human factors and ergonomics research to showcase key issues being tackled and to inspire the sports and human factors and ergonomics communities to pursue further applications.
Автор: Stamatis, D. H. (president Of Contemporary Consultants, Mi, Usa) Название: Automotive audits ISBN: 0367696592 ISBN-13(EAN): 9780367696597 Издательство: Taylor&Francis Рейтинг: Цена: 12554.00 р. Наличие на складе: Поставка под заказ.
Описание: This book covers the essentials of an automotive audit, required by automotive suppliers world-wide. It is based on customer specific requirements, ISO standards, and Industry specifications. The book covers the documents and records necessary for compliance, with an extensive discussion on Layered Process Audits and distance auditing.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
