wyszukanych pozycji: 249
![]() |
Security Policy in System-On-Chip Designs: Specification, Implementation and Verification
ISBN: 9783030066666 / Angielski / Miękka / 2018 / 116 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
194,52 zł |
![]() |
Inside Story of Indian Banking
ISBN: 9789390260102 / Angielski / Twarda / 2020 / 288 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
161,48 zł |
![]() |
Scalable Techniques for Formal Verification
ISBN: 9781489984449 / Angielski / Miękka / 2014 / 243 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasing use of c- puting systems in safety-critical and security-critical applications, it is becoming increasingly important for our well-being to ensure that those systems execute c- rectly. Over the last decade, formal veri?cation has made signi?cant headway in the analysis of industrial systems, particularly in the realm of veri?cation of hardware. A key advantage of formal veri?cation is that it provides a mathematical guarantee of their...
This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasin...
|
cena:
436,37 zł |
![]() |
Security Policy in System-On-Chip Designs: Specification, Implementation and Verification
ISBN: 9783319934631 / Angielski / Twarda / 2018 / 116 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book offers readers comprehensive coverage of security policy specification using new policy languages, implementation of security policies in Systems-on-Chip (SoC) designs - current industrial practice, as well as emerging approaches to architecting SoC security policies and security policy verification.
This book offers readers comprehensive coverage of security policy specification using new policy languages, implementation of security policies in Sy...
|
cena:
194,52 zł |
![]() |
Lidar and Radiometer Sounding of Atmospheric Aerosols and Trace Gases
ISBN: 9783659529986 / Angielski / Miękka / 2014 / 68 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This is a self-contained, concise, book introducing the reader to the basics and applications of the lidar and radiometer sounding of the atmospheric aerosols and other pre-cursors. The author is a reputed researcher in the field of active and passive remote sensing of atmosphere. Different sections contain findings of the study where the author emphasized on the long-term trend and wave-like features (e.g., annual oscillation, quasi-biennial oscillation, etc.) present in the time series of aerosol columnar content over an urban site (Pune) in India. This book also discussed the potential...
This is a self-contained, concise, book introducing the reader to the basics and applications of the lidar and radiometer sounding of the atmospheric ...
|
cena:
123,53 zł |
![]() |
Scalable Techniques for Formal Verification
ISBN: 9781441959973 / Angielski / Twarda / 2010 / 243 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasing use of c- puting systems in safety-critical and security-critical applications, it is becoming increasingly important for our well-being to ensure that those systems execute c- rectly. Over the last decade, formal veri?cation has made signi?cant headway in the analysis of industrial systems, particularly in the realm of veri?cation of hardware. A key advantage of formal veri?cation is that it provides a mathematical guarantee of their...
This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasin...
|
cena:
389,09 zł |
![]() |
Learning Curve
ISBN: 9789354275203 / Angielski / Miękka / 2021 / 56 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
57,39 zł |
![]() |
Principles of Cyber-Physical Systems: An Interdisciplinary Approach
ISBN: 9781107066618 / Angielski / Twarda / 2020 / 370 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
915,38 zł |
![]() |
Analisi termica dei complessi metallici in chimica
ISBN: 9786204516554 / Włoski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
277,61 zł |
![]() |
Kidney Transplantation: Lowering Barriers & Expanding Opportunities
ISBN: 9781628085952 / Angielski / Miękka / 2013 / 92 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
359,55 zł |
![]() |
Generation of Surface Structuring using Electrochemical Micromachining
ISBN: 9783659688249 / Angielski / Miękka / 2015 / 104 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The first edition of this book "A Textbook of Generation of Surface Structuring using Electrochemical Micromachining" contains seven chapters. This edition has been thoroughly presented and made up to date. EMM is one of the alternative advanced machining processes that can be applied to the machining of microsurface textures for advance fields. Generation of in-process textured specimens on the machined surface facilitates the improvement of modern micromanufacturing applications. This book helps the reader for research outcomes in surface structuring.
The first edition of this book "A Textbook of Generation of Surface Structuring using Electrochemical Micromachining" contains seven chapters. This ed...
|
cena:
283,78 zł |
![]() |
The Traveller in illusion: Faith in corruption
ISBN: 9798536891957 / Angielski / Miękka / 2021 / 58 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
24,14 zł |
![]() |
Analyse thermique des complexes m?talliques en chimie
ISBN: 9786204516585 / Francuski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
277,61 zł |
![]() |
Pet-Based Molecular Imaging in Evolving Personalized Management Design, an Issue of Pet Clinics: Volume 11-3
ISBN: 9780323448512 / Angielski / Twarda / 2016 Termin realizacji zamówienia: ok. 18-20 dni roboczych. This issue of PET Clinics focuses on PET-Based Molecular Imaging in Evolving Personalized Management Design, and is edited by Drs. Abass Alavi and Sandip Basu. Articles will include: PET-Based Personalized Medicine: An Unavoidable Path for the Foreseeable Future; Personalized Management Approaches in Lymphoma: Help from PET; PET-CT in Head-Neck Malignancies: the Implications for Personalized Clinical Practice; PET Imaging of Skeletal Metastases and its Role in Personalising Further Management; PET-Based Molecular Imaging in Designing a Personalized Management Model in Neuroendocrine... This issue of PET Clinics focuses on PET-Based Molecular Imaging in Evolving Personalized Management Design, and is edited by Drs. Abass Alavi and ... |
cena:
303,04 zł |
![]() |
Selling IT: The Science of Selling, Buying, and Deal-Making
ISBN: 9780367725747 / Angielski / Miękka / 2021 / 268 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
205,43 zł |
![]() |
coffee lovers
ISBN: 9781639207251 / Angielski / Miękka / 2021 / 34 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
48,41 zł |
![]() |
Happy-Life MIRACLE Formula: Learn 7 Simple Techniques that Empower your Brain to Defeat Negativity and Embrace Happiness
ISBN: 9781685546229 / Angielski / Miękka / 2021 / 90 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
53,79 zł |
![]() |
Development of Integrated Renewable Energy System
ISBN: 9783846586563 / Angielski / Miękka / 2012 / 180 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The gap in demand and supply of energy can only be met by optimal allocation of energy resources and is need of the day for developing countries like India. For the socio-economic development of India, energy resource allocation at the rural level is gaining importance these days. This book is all about development of Integrated Renewable Energy System (IRES) in rural context, which aims at optimal resource allocation, thereby reducing dependence on commercial energy and reducing associated environmental hazards, and opening new avenues for employment generation. The methodology described...
The gap in demand and supply of energy can only be met by optimal allocation of energy resources and is need of the day for developing countries like ...
|
cena:
351,51 zł |
![]() |
Thermische Analyse von Metallkomplexen in der Chemie
ISBN: 9786204516530 / Niemiecki Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
277,61 zł |
![]() |
Crack propagation in functionally graded materials
ISBN: 9783639221176 / Angielski / Miękka / 2010 / 128 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The concept of Functionally Graded
Materials was proposed for severe environment application like space, thermal barrier coating etc. However, these materials had been successfully used in several fields of engineering. In these materials, properties of interest vary gradually from point to point. Understanding the fracture mechanics of these materials has been of interest to researchers to better utilize the capabilities of these materials and tailor the properties according to ... The concept of Functionally Graded
Materials was proposed for severe environment application like space, thermal barri... |
cena:
304,98 zł |