topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 453
 |
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:
390,87 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:
677,34 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:
438,38 zł |
 |
Inside Story of Indian Banking
ISBN: 9789390260102 / Angielski / Twarda / 2020 / 288 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
cena:
165,06 zł |
 |
PRAKTIChESKIJ FARMACEVTIChESKIJ ANALIZ
ISBN: 9786208032425 / Rosyjski / Miękka / 76 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
201,89 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:
195,42 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:
109,91 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:
195,42 zł |
 |
Learning Curve
ISBN: 9789354275203 / Angielski / Miękka / 2021 / 56 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
cena:
58,65 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:
82,79 zł |
| |
Um Estudo de Desempenho Sísmico de um Reservatório Histórico Elevado de Aço
ISBN: 9786204651781 / Portugalski / Miękka / 96 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
252,48 zł |
 |
Analyse thermique des complexes m?talliques en chimie
ISBN: 9786204516585 / Francuski Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
252,48 zł |
| |
Phytopharmacological studies of Solanum indicum berries.
ISBN: 9786207805334 / Angielski / Miękka / 2024 / 88 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Solanum indicum, also recognized as Vanbhanta or Brihati, holds a significant place in traditional medicinal practices, notably Ayurveda. This review concentrates on a thorough examination of Solanum indicum fruits, encompassing their Pharmacognostical evaluation and potential pharmacological applications. The assessment encompasses various facets such as the plant's morphological traits, microscopic attributes, chemical constituents, and physical constants, offering valuable insights into the plant's quality and purity. Solanum indicum fruits exhibit distinct Pharmacognostical...
Solanum indicum, also recognized as Vanbhanta or Brihati, holds a significant place in traditional medicinal practices, notably Ayurveda. This review ...
|
cena:
201,89 zł |
 |
BotNet: Detection and Defense
ISBN: 9786202070317 / Angielski / Miękka / 2017 / 64 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
165,10 zł |
 |
Feldprogrammierbare Gate-Array-basierte Farbtransformation
ISBN: 9786203819212 / Niemiecki / Miękka / 68 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. In dieser Generation, in der die Technologie von Tag zu Tag schneller wird, ist es sehr wichtig, die Geschwindigkeit der Daten- oder Bildverarbeitung zu erhöhen. Dieses Buch erforscht die Leistung und die architektonischen Kompromisse, die beim Design von FPGA-basierten Echtzeit-Bildverarbeitungssystemen eine Rolle spielen. Bildverarbeitung ist ein sich schnell entwickelndes Feld mit wachsenden Anwendungen in Wissenschaft und Technik. Das Studium der Farbe ist wichtig für das Design und die Entwicklung des Farbensehens. Zur Verbesserung der Ergebnisse durch die Verwendung der...
In dieser Generation, in der die Technologie von Tag zu Tag schneller wird, ist es sehr wichtig, die Geschwindigkeit der Daten- oder Bildverarbeitung ...
|
cena:
183,50 zł |
| |
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:
114,05 zł |
 |
Modelirowanie i kontrol' ploskostnosti stal'nyh listow w processe gorqchej prokatki
ISBN: 9786205651919 / Rosyjski / Miękka / 92 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
114,05 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 (Dostawa przed świętami) |
cena:
24,68 zł |
| |
Raspredelennoe modelirowanie dozhdewogo stoka
ISBN: 9786207075300 / Rosyjski / Miękka / 56 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
165,10 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. 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:
252,48 zł |
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
