wyszukanych pozycji: 564
![]() |
The King Shivaji Chronicles - Resurgence of The Oppressed - Volume 1
ISBN: 9789348199874 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
66,58 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. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
201,72 zł |
![]() |
Scalable Techniques for Formal Verification
ISBN: 9781441959973 / Angielski / Twarda / 2010 / 243 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
403,47 zł |
![]() |
Security Policy in System-On-Chip Designs: Specification, Implementation and Verification
ISBN: 9783319934631 / Angielski / Twarda / 2018 / 116 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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,72 zł |
![]() |
Inside Story of Indian Banking
ISBN: 9789390260102 / Angielski / Twarda / 2020 / 288 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
145,61 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 (Bez gwarancji dostawy przed świętami) 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:
107,15 zł |
![]() |
Don't Let Him Know
ISBN: 9781408856666 / Angielski / Miękka / 2016 / 256 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
76,97 zł |
![]() |
PRAKTIChESKIJ FARMACEVTIChESKIJ ANALIZ
ISBN: 9786208032425 / Rosyjski / Miękka / 76 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
196,82 zł |
![]() |
Chapal Rani, the Last Queen of Bengal: The Life and Times of a Female Impersonator
ISBN: 9781803095516 / Angielski / 11-02-2026 Książka dostępna od: 11-02-2026 |
|
Planowany termin premiery książki: 11-02-2026
Książkę można już zamówić z rabatem 5% |
|
128,54 zł |
![]() |
Learning Curve
ISBN: 9789354275203 / Angielski / Miękka / 2021 / 56 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
51,74 zł |
![]() |
Principles of Cyber-Physical Systems: An Interdisciplinary Approach
ISBN: 9781107066618 / Angielski / Twarda / 2020 / 370 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
653,25 zł |
![]() |
Scalable Techniques for Formal Verification
ISBN: 9781489984449 / Angielski / Miękka / 2014 / 243 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
452,50 zł |
![]() |
Selling IT: The Science of Selling, Buying, and Deal-Making
ISBN: 9780367725747 / Angielski / Miękka / 2021 / 268 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
204,81 zł |
![]() |
Generazione di strutture superficiali mediante microlavorazione elettrochimica
ISBN: 9786209311642 / Włoski Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
246,14 zł |
![]() |
Eine Studie zum seismischen Verhalten eines historischen Stahlhochbehälters
ISBN: 9786204651729 / Miękka / 100 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) Langfristig leistungsfähige, alternde Stahlinfrastrukturen müssen nicht nur aus wirtschaftlichen Gründen erhalten werden, sondern auch, um der Gesellschaft weiterhin zu dienen und als lebendiges Ingenieurmodell für die Zukunft zu dienen. Die Verlängerung der Lebensdauer dieser alternden Infrastrukturen durch eine wirksame Sanierungsstrategie ist eine große Herausforderung für die Ingenieurgemeinschaft in der ganzen Welt. Diese Bauwerke wurden ausschließlich auf der Grundlage ihres statischen, elastischen Verhaltens konstruiert, hauptsächlich unter Schwerkraftbelastung mit einigen...
Langfristig leistungsfähige, alternde Stahlinfrastrukturen müssen nicht nur aus wirtschaftlichen Gründen erhalten werden, sondern auch, um der Gese...
|
cena:
246,14 zł |
![]() |
Thermische Analyse von Metallkomplexen in der Chemie
ISBN: 9786204516530 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
246,14 zł |
![]() |
BotNet: Rilevamento e difesa
ISBN: 9786208244279 / Włoski / Miękka / 2024 / 56 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
160,95 zł |
![]() |
Étude de la performance sismique d'un réservoir historique surélevé en acier
ISBN: 9786204651743 / Francuski / Miękka / 100 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) Les infrastructures en acier vieillissantes et performantes à long terme doivent être préservées non seulement pour le gain économique mais aussi pour leur service continu à la société et comme modèle d'ingénierie vivant pour l'avenir. L'amélioration de la durée de vie de ces infrastructures vieillissantes par une stratégie de restauration efficace est un défi majeur pour la communauté des ingénieurs du monde entier. Ces structures ont été construites uniquement sur la base de leur réponse élastique statique, principalement sous la charge de gravité avec une certaine...
Les infrastructures en acier vieillissantes et performantes à long terme doivent être préservées non seulement pour le gain économique mais aussi...
|
cena:
246,14 zł |
![]() |
Chimie du sol
ISBN: 9786202425070 / Francuski / Miękka / 2025 / 136 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) Ce livre sur la chimie des sols s'adresse à tous les étudiants de B.Sc / B.E / B.Tech / M.Sc / M.Tech / Ph.D / Projet de M.E / Cours d'agriculture et à tous les étudiants en sciences chimiques, sciences physico-chimiques, génie chimique, agriculture, génie agricole, cours scientifiques. Il fournit divers concepts de sol, méthodes et procédures d'analyse des sols en utilisant différentes références. Il couvre le besoin récent d'étudier les bases de la science du sol et de la technologie du sol pour tous les étudiants en recherche scientifique, les travailleurs industriels et les...
Ce livre sur la chimie des sols s'adresse à tous les étudiants de B.Sc / B.E / B.Tech / M.Sc / M.Tech / Ph.D / Projet de M.E / Cours d'agriculture e...
|
cena:
273,04 zł |
![]() |
Netzwerkprotokoll-Analysator und -Übungsprogramm
ISBN: 9786204460932 / Miękka / 72 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) Die Protokolltestlösungen von Microsoft für jede Technologie bestehen in der Regel sowohl aus einer Protokollanalyseanwendung als auch aus einer Stimuluslösung, wie z. B. einem Exerciser oder einem Traffic-Generator. Microsofts Protokolltestlösungen kombinieren Multi-Protokoll-Analyse, Traffic-Generierung, Leistungs- und Konformitätsprüfung, um Ihre Designs unter Verwendung von Hochgeschwindigkeits-Protokollstandards zu debuggen, zu validieren und zu optimieren.Es ist der weltweit führende und am weitesten verbreitete Netzwerk-Protokollanalysator. Mit ihm können Sie sehen, was in...
Die Protokolltestlösungen von Microsoft für jede Technologie bestehen in der Regel sowohl aus einer Protokollanalyseanwendung als auch aus einer Sti...
|
cena:
178,89 zł |