topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 458
 |
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ł |
 |
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ł |
 |
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ł |
 |
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ł |
 |
Learning Curve
ISBN: 9789354275203 / Angielski / Miękka / 2021 / 56 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
58,52 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ł |
 |
PRAKTIChESKIJ FARMACEVTIChESKIJ ANALIZ
ISBN: 9786208032425 / Rosyjski / Miękka / 76 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
198,67 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ł |
 |
Breast Cancer Imaging II, an Issue of Pet Clinics: Volume 4-4
ISBN: 9781437714029 / Angielski / Twarda / 2010 Termin realizacji zamówienia: ok. 18-20 dni roboczych. This two part issue of PET Clinics provides a comprehensive review to the important topic of Breast Cancer. Although the focus of this issue is the use of PET and PET/CT in the diagnosis, staging, treatment planning, and follow up for patients with breast cancer, there are also articles providing correlates from other imaging modalities.
This two part issue of PET Clinics provides a comprehensive review to the important topic of Breast Cancer. Although the focus of this issue is the us...
|
cena:
254,11 zł |
 |
Modern Cryptography: The Practical Guide
ISBN: 9781493225651 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
261,23 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. 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:
248,45 zł |
 |
Challenges and Controversies in Kidney Transplantation
ISBN: 9789351525257 / Angielski / Twarda / 2015 / 215 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Challenges and Controversies in Kidney Transplantation highlights the most up-to-date strategies for successfully managing high-risk kidney transplant recipients, as well as detailed, innovative strategies to increase transplant opportunities for patients requiring kidney transplantation. The book is divided into two major sections; firstly, Maximizing Transplant Opportunities, and second, Considerations for Unique/High Risk Patient Populations focusing on management of select patient populations, such as children, the elderly, HIV, Hepatitis C positive patents, highly sensitized patients,...
Challenges and Controversies in Kidney Transplantation highlights the most up-to-date strategies for successfully managing high-risk kidney transplant...
|
cena:
693,42 zł |
 |
Design and Development of composite solar devises
ISBN: 9783845409207 / Angielski / Miękka / 2012 / 224 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. In This book detail design development and evaluation procedure have been undertaken for composite solar appliances may increase the efficiency and reliability without reducing the quality of product and polluting environment.So in order to meet the requirements of cooking, drying, heating and desalination for domestic purpose, composite solar appliances are required. Keeping in view the importance of multiple solar appliances for domestic applications, work on solar dryer cum solar cooker and solar water heater cum solar desalination have been initiated
In This book detail design development and evaluation procedure have been undertaken for composite solar appliances may increase the efficiency and re...
|
cena:
357,51 zł |
 |
Ek jindegi kai kahaniyan
ISBN: 9781638862710 / Angielski / Miękka / 2021 / 24 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
43,87 zł |
 |
Netzwerkprotokoll-Analysator und -Übungsprogramm
ISBN: 9786204460932 / Miękka / 72 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. 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:
180,57 zł |
 |
BotNet: Detection and Defense
ISBN: 9786202070317 / Angielski / Miękka / 2017 / 64 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
162,47 zł |
 |
Corona Viruserkrankungen bei Vieh und Geflügel
ISBN: 9786203562286 / Niemiecki / Miękka / 2024 / 100 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. La infección por coronavirus es la principal causa de mortalidad de neonatos y adultos de muchos animales domésticos, animales de compañía y millones de personas en los países en desarrollo, además de causar importantes pérdidas económicas. La infección concurrente con patógenos secundarios puede aumentar la gravedad de la enfermedad. Los coronavirus no respetan necesariamente las barreras entre especies. Aunque las vías respiratorias y entéricas son objetivos comunes de los coronavirus y no se limitan a un órgano o tejido diana concreto, afectan a todos los órganos, incluidos...
La infección por coronavirus es la principal causa de mortalidad de neonatos y adultos de muchos animales domésticos, animales de compañía y millo...
|
cena:
180,57 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ł |
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
