topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 570
 |
The King Shivaji Chronicles - Resurgence of The Oppressed - Volume 1
ISBN: 9789348199874 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
65,12 |
 |
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:
451,44 |
 |
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:
201,24 |
 |
Inside Story of Indian Banking
ISBN: 9789390260102 / Angielski / Twarda / 2020 / 288 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
142,44 |
 |
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:
402,53 |
 |
PRAKTIChESKIJ FARMACEVTIChESKIJ ANALIZ
ISBN: 9786208032425 / Rosyjski / Miękka / 76 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
196,36 |
 |
Chapal Rani, the Last Queen of Bengal: The Life and Times of a Female Impersonator
ISBN: 9781803095516 / Angielski / 02-03-2026 Książka dostępna od: 02-03-2026 |
|
Planowany termin premiery książki: 02-03-2026
Książkę można już zamówić z rabatem 5% |
|
128,23 |
 |
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:
106,90 |
 |
Learning Curve
ISBN: 9789354275203 / Angielski / Miękka / 2021 / 56 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
50,62 |
 |
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:
654,57 |
 |
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:
201,24 |
 |
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:
77,12 |
 |
Kidney Transplantation: Lowering Barriers & Expanding Opportunities
ISBN: 9781628085952 / Angielski / Miękka / 2013 / 92 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
342,09 |
| |
Obespechenie kachestwa medicinskogo obrazowaniq s pomosch'ü programmy akademicheskoj ocenki
ISBN: 9786208529994 / Rosyjski / Miękka / 96 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
133,74 |
 |
BotNet: Erkennung und Abwehr
ISBN: 9786208244262 / Niemiecki / Miękka / 2024 / 56 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Jüngste böswillige Versuche zielen darauf ab, durch eine große Anzahl kompromittierter Hosts, die als Software-Roboter oder einfach Bots bezeichnet werden, finanzielle Vorteile zu erzielen.Eine Gruppe solcher Bots, die als Botnet bezeichnet wird, kann von einem Bot-Master ferngesteuert werden und für böswillige Aktivitäten wie das Versenden von Spam-Mails, den Diebstahl persönlicher Daten, die Verbreitung von Malware, Phishing, Klickbetrug, den Start von verteilten DOS-Angriffen usw. verwendet werden. Unter den verschiedenen Formen von Malware stellen Botnets die größte Bedrohung...
Jüngste böswillige Versuche zielen darauf ab, durch eine große Anzahl kompromittierter Hosts, die als Software-Roboter oder einfach Bots bezeichnet...
|
cena:
160,58 |
 |
Angriff auf das selbstkonfigurierende Angriffserkennungssystem (SCIDS)
ISBN: 9786208783402 / Niemiecki / Miękka / 2025 / 80 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Mit der rasanten Ausbreitung von Computernetzwerken in den letzten Jahren ist die Sicherheit zu einem entscheidenden Faktor für moderne Computersysteme geworden. Eine gute Möglichkeit, böswillige Nutzung zu erkennen, ist die Überwachung ungewöhnlicher Benutzeraktivitäten. Um diese böswilligen Aktivitäten zu erkennen, wurden verschiedene Data-Mining- und maschinelle Lerntechniken zur Erkennung von Eindringlingen eingesetzt. In diesem Buch wird ein selbstkonfigurierendes Eindringlingserkennungssystem (SCIDS) vorgeschlagen, um die Abstimmung automatisch vorzunehmen. Die Kernidee besteht...
Mit der rasanten Ausbreitung von Computernetzwerken in den letzten Jahren ist die Sicherheit zu einem entscheidenden Faktor für moderne Computersyste...
|
cena:
160,58 |
 |
Soil Chemistry
ISBN: 9786208446901 / Angielski / Miękka / 2025 / 124 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. This Soil Chemistry book is applicable for all student of B.Sc / B.E / B.Tech / M.Sc / M.Tech / Ph.D / Project of M.E / Agriculture Courses and all chemical science, physicochemical science, chemical engineering, agriculture, agriculture engineering, scientific courses and it provides various concepts of soil, Methods and procedure of soil testing using different references. It covered up the recent need to study the basic soil science and soil technology for all science research student, industrial worker and engineering courses as per requirement of Indian and various other universities and...
This Soil Chemistry book is applicable for all student of B.Sc / B.E / B.Tech / M.Sc / M.Tech / Ph.D / Project of M.E / Agriculture Courses and all ch...
|
cena:
272,40 |
 |
Selling IT: The Science of Selling, Buying, and Deal-Making
ISBN: 9780367694999 / Angielski / Twarda / 2021 / 268 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
757,61 |
 |
Generazione di strutture superficiali mediante microlavorazione elettrochimica
ISBN: 9786209311642 / Włoski Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
245,56 |
 |
GOD vs SCIENCE
ISBN: 9798888830659 / Angielski / Miękka / 2022 / 34 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
42,70 |
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
