Wyniki wyszukiwania:
wyszukanych pozycji: 458
 |
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:
384,63 zł |
 |
Learning Curve
ISBN: 9789354275203 / Angielski / Miękka / 2021 / 56 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
58,52 zł |
 |
PRAKTIChESKIJ FARMACEVTIChESKIJ ANALIZ
ISBN: 9786208032425 / Rosyjski / Miękka / 76 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
198,67 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:
431,36 zł |
 |
Lidar and Radiometer Sounding of Atmospheric Aerosols and Trace Gases
ISBN: 9783659529986 / Angielski / Miękka / 2014 / 68 str. Termin realizacji zamówienia: ok. 10-14 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:
108,16 zł |
 |
Principles of Cyber-Physical Systems: An Interdisciplinary Approach
ISBN: 9781107066618 / Angielski / Twarda / 2020 / 370 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
669,69 zł |
 |
Inside Story of Indian Banking
ISBN: 9789390260102 / Angielski / Twarda / 2020 / 288 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
164,66 zł |
 |
Don't Let Him Know
ISBN: 9781408856666 / Angielski / Miękka / 2016 / 256 str. Termin realizacji zamówienia: ok. 30 dni roboczych. In a boxy apartment building in an Illinois college town, Romola Mitra, a newly arrived young bride, anxiously awaits her first letter from home in India. When she accidentally opens the wrong letter, it changes her life. Decades later, her son, Amit, back in the U.S., finds the same letter and thinks he has discovered his mother's secret. But secrets carry within them their own secrets sometimes. Amit does not know that Avinash, his devoted father, lurked on gay chat rooms at times, unable to set aside his lifelong attraction to men. Avinash, for his part, had no idea about the... In a boxy apartment building in an Illinois college town, Romola Mitra, a newly arrived young bride, anxiously awaits her first letter from home in... |
cena:
81,85 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:
192,30 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:
192,30 zł |
 |
Analisi termica dei complessi metallici in chimica
ISBN: 9786204516554 / Włoski Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
248,45 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:
305,98 zł |
 |
GOD vs SCIENCE
ISBN: 9798888830659 / Angielski / Miękka / 2022 / 34 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
49,36 zł |
 |
Corona Maladies virales du bétail et de la volaille
ISBN: 9786203562293 / Francuski / Miękka / 2024 / 96 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. L'infection à coronavirus est la principale cause de mortalité chez les nouveau-nés et les adultes de nombreux animaux domestiques, d'animaux de compagnie et de millions d'êtres humains dans les pays en développement, en plus de causer d'importantes pertes économiques. L'infection concomitante par des agents pathogènes secondaires peut accroître la gravité de la maladie. Les coronavirus ne respectent pas nécessairement les barrières entre les espèces. Bien que les voies respiratoires et entériques soient des cibles communes pour les coronavirus, ils ne se limitent pas à un...
L'infection à coronavirus est la principale cause de mortalité chez les nouveau-nés et les adultes de nombreux animaux domestiques, d'animaux de co...
|
cena:
180,57 zł |
 |
Kismat
ISBN: 9781639402007 / Angielski / Miękka / 2021 / 48 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
49,36 zł |
 |
BotNet: Obnaruzhenie i zaschita
ISBN: 9786208244286 / Rosyjski / Miękka / 2024 / 60 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
162,47 zł |
 |
Issledowanie sejsmicheskih harakteristik istoricheskogo rezerwuara so stal'noj ästakadoj
ISBN: 9786204651767 / Rosyjski / Miękka / 104 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
112,23 zł |
 |
Inexpensive Thoughts
ISBN: 9781981015498 / Angielski / Miękka / 2018 / 86 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
24,61 zł |
 |
Fitofarmakologicheskie issledowaniq qgod Solanum indicum
ISBN: 9786208159702 / Rosyjski / Miękka / 2024 / 104 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
198,67 zł |
 |
A Seismic Performance Study of a Historic Steel Elevated Reservoir : "An approach to evaluate the seismic risk of aging steel infrastructures"
ISBN: 9786200083913 / Angielski Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
248,45 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
