wyszukanych pozycji: 249
![]() |
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ł |
![]() |
Learning Curve
ISBN: 9789354275203 / Angielski / Miękka / 2021 / 56 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
57,39 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ł |
![]() |
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ł |
![]() |
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ł |
![]() |
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ł |
![]() |
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ł |
![]() |
GOD vs SCIENCE
ISBN: 9798888830659 / Angielski / Miękka / 2022 / 34 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
48,41 zł |
![]() |
Kismat
ISBN: 9781639402007 / Angielski / Miękka / 2021 / 48 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
48,41 zł |
![]() |
Electronics Waste Management: An India Perspective
ISBN: 9783838391670 / Angielski / Miękka / 2010 / 124 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Electronic products play an important role in our society. Electronic products become an integral component of maintaining the quality of life. However, once the electronic products become obsolete, consumers force to discard the products as electronics waste. The disposing of electronics products have various consequences including loss of recyclable materials, recycling cost, appropriate recycling technology for precious metals etc. Issues such as environmental implications in recovering precious materials, elimination of harmful leachate, secured landfills, etc. need immediate...
Electronic products play an important role in our society. Electronic products become an integral component of maintaining the quality of life. Ho...
|
cena:
304,98 zł |
![]() |
Effects of Yogic Exercises on Players
ISBN: 9783659367847 / Angielski / Miękka / 2013 / 108 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
283,78 zł |
![]() |
Breast Cancer Imaging II, an Issue of Pet Clinics: Volume 4-4
ISBN: 9781437714029 / Angielski / Twarda / 2010 Termin realizacji zamówienia: ok. 18-20 dni roboczych. This two part issue of PET Clinics provides a comprehensive review to the important topic of Breast Cancer. Although the focus of this issue is the use of PET and PET/CT in the diagnosis, staging, treatment planning, and follow up for patients with breast cancer, there are also articles providing correlates from other imaging modalities.
This two part issue of PET Clinics provides a comprehensive review to the important topic of Breast Cancer. Although the focus of this issue is the us...
|
cena:
251,66 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ł |
![]() |
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ł |
![]() |
Pet Imaging of Brain Tumors, an Issue of Pet Clinics: Volume 8-2
ISBN: 9781455771394 / Angielski / Twarda / 2013 Termin realizacji zamówienia: ok. 18-20 dni roboczych. This issue discusses the clinical application of PET Imaging in assessing brain tumors, Including what a neuro-oncologist's expectations should be. One article discusses how PET can help in developing reliable response evaluation criteria in brain tumors; another reviews modern tracers for brain tumors. The evolving role of PET-MRI in brain tumors is examined. Parametric mapping of multiple PET tracers with MRI response evaluation is reviewed. Another article discusses the role of early and delayed PET imaging and novel quantitative techniques in hybrid imaging for brain tumors. The...
This issue discusses the clinical application of PET Imaging in assessing brain tumors, Including what a neuro-oncologist's expectations should be. On...
|
cena:
323,59 zł |
![]() |
Inexpensive Thoughts
ISBN: 9781981015498 / Angielski / Miękka / 2018 / 86 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ł |
![]() |
The Manhood Recall
ISBN: 9781642499704 / Angielski / Miękka / 2018 / 228 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
53,80 zł |
![]() |
Wind Turbine Aerodynamics
ISBN: 9783668376694 / Angielski / Miękka / 2017 / 30 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Document from the year 2011 in the subject Engineering - System Science, language: English, abstract: A wind turbine is a device that extracts kinetic energy of the wind and converts it into useful energy. The power produced by a wind turbine depends on the interaction between the wind turbine rotor and the wind. Thus, wind turbine aerodynamics is an important field of study for designing a blade and analyzing the aerodynamic performance of the rotor. A number of scientists have derived various methods for aerodynamic analysis of wind turbine rotors. These methods are presented here.
Document from the year 2011 in the subject Engineering - System Science, language: English, abstract: A wind turbine is a device that extracts kinetic...
|
cena:
170,07 zł |