topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 573
 |
The King Shivaji Chronicles - Resurgence of The Oppressed - Volume 1
ISBN: 9789348199874 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
67,84 |
 |
Scalable Techniques for Formal Verification
ISBN: 9781489984449 / Angielski / Miękka / 2014 / 243 str. Termin realizacji zamówienia: ok. 16-18 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:
457,80 |
 |
Learning Curve
ISBN: 9789354275203 / Angielski / Miękka / 2021 / 56 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
52,73 |
 |
Scalable Techniques for Formal Verification
ISBN: 9781441959973 / Angielski / Twarda / 2010 / 243 str. Termin realizacji zamówienia: ok. 16-18 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:
408,20 |
 |
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:
78,54 |
 |
Chapal Rani, the Last Queen of Bengal: The Life and Times of a Female Impersonator
ISBN: 9781803095516 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
113,88 |
 |
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:
666,48 |
 |
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,41 |
 |
Inside Story of Indian Banking
ISBN: 9789390260102 / Angielski / Twarda / 2020 / 288 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
202,27 |
 |
Security Policy in System-On-Chip Designs: Specification, Implementation and Verification
ISBN: 9783030066666 / Angielski / Miękka / 2018 / 116 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
204,08 |
 |
Security Policy in System-On-Chip Designs: Specification, Implementation and Verification
ISBN: 9783319934631 / Angielski / Twarda / 2018 / 116 str. Termin realizacji zamówienia: ok. 16-18 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:
204,08 |
 |
PRAKTIChESKIJ FARMACEVTIChESKIJ ANALIZ
ISBN: 9786208032425 / Rosyjski / Miękka / 76 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
199,13 |
 |
Sistema de deteção de intrusões auto-configurável (SCIDS)
ISBN: 9786208783457 / Portugalski / Miękka / 2025 / 76 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
162,84 |
 |
Pet Imaging of Brain Tumors, an Issue of Pet Clinics: Volume 8-2
ISBN: 9781455771394 / Angielski / Twarda / 2013 Termin realizacji zamówienia: ok. 30 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:
313,53 |
 |
Crack propagation in functionally graded materials
ISBN: 9783639221176 / Angielski / Miękka / 2010 / 128 str. Termin realizacji zamówienia: ok. 10-14 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:
267,62 |
 |
BotNet: Rilevamento e difesa
ISBN: 9786208244279 / Włoski / Miękka / 2024 / 56 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
162,84 |
 |
Resistência do hospedeiro à febre aftosa em gado
ISBN: 9786206808534 / Portugalski / Miękka / 2025 / 80 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
162,84 |
 |
Polqrnoe kodirowanie i dekodirowanie na osnowe VLSI dlq sistemy swqzi 5g
ISBN: 9786206510673 / Rosyjski / Miękka / 104 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
112,50 |
 |
Système de détection d'intrusion auto-configurable (SCIDS)
ISBN: 9786208783426 / Francuski / Miękka / 2025 / 76 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Avec l'expansion rapide des réseaux informatiques au cours des dernières années, la sécurité est devenue un enjeu crucial pour les systèmes informatiques modernes. Une bonne façon d'identifier les utilisations malveillantes consiste à surveiller les activités inhabituelles des utilisateurs. Pour identifier ces activités malveillantes, diverses techniques d'exploration de données et d'apprentissage automatique ont été déployées pour la détection des intrusions. Ce livre propose un système de détection d'intrusion auto-configurable (SCIDS) pour effectuer automatiquement le...
Avec l'expansion rapide des réseaux informatiques au cours des dernières années, la sécurité est devenue un enjeu crucial pour les systèmes info...
|
cena:
162,84 |
 |
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:
223,94 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
