wyszukanych pozycji: 279
![]() |
Model-Checking Infinite State Systems for Information Flow Security
ISBN: 9783659301315 / Angielski / Miękka / 2014 / 160 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Information flow properties are a way of specifying security properties of systems, dating back to the work of Goguen and Meseguer in the eighties. In this framework, a system is modeled as having high-level (or confidential) events as well as low-level (or public) events, and a typical property requires that the high-level events should not ''influence'' the occurrence of low-level events. In this book we study the problem of model-checking the well-known trace-based and bisimulation-based information flow security properties for some popular classes of infinite-state system models, and...
Information flow properties are a way of specifying security properties of systems, dating back to the work of Goguen and Meseguer in the eighties. In...
|
cena:
323,87 |
![]() |
Rénovation d'un régulateur mécanique avec un régulateur électronique pour HDDE
ISBN: 9786203674491 / Francuski / Miękka / 2021 / 100 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
247,30 |
![]() |
Sintesi di tirosinasi da parte di streptomyces SP.
ISBN: 9786208062620 / Włoski Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
274,32 |
![]() |
Mit Nanoton verstärkte Verbundwerkstoffe für das Feuchtigkeits-, Wärme- und Brandverhalten
ISBN: 9786204861524 / Miękka / 84 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Polymer-Nanoverbundstoffe sind seit den 1990er Jahren zu einem der wichtigsten Gebiete der Materialwissenschaften geworden. Es hat sich gezeigt, dass die Zugabe von Nanopartikeln wie Nanotonen oder Kohlenstoff-Nanofasern in die Polymermatrix die Festigkeit und den Modul verbessern, die thermische Stabilität erhöhen und die Wasserabsorptionsrate senken kann [1-5]. So wurde beispielsweise berichtet, dass die Festigkeit und die elektrische Leitfähigkeit von Kupfer-Nanopulver wesentlich höher waren als die von Kupfer in der Masse [6]. Die Wissenschaftler führten diese Veränderung auf die...
Polymer-Nanoverbundstoffe sind seit den 1990er Jahren zu einem der wichtigsten Gebiete der Materialwissenschaften geworden. Es hat sich gezeigt, dass ...
|
cena:
247,30 |
![]() |
Retrofiguração do Governador Mecânico com Governador Eletrônico para HDDE
ISBN: 9786203674538 / Portugalski / Miękka / 2021 / 100 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
247,30 |
![]() |
HAAVINA MANE (Kannada)
ISBN: 9789394942424 / Kannada / Miękka / 2024 / 218 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
85,81 |
![]() |
The Politics of Modern Indian Language Literature
ISBN: 9781032695785 / Angielski / Twarda / 2024 / 304 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
839,40 |
![]() |
Compositi polimerici a base di nanoclay e loro tecniche di caratterizzazione
ISBN: 9786205710319 / Włoski Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
148,20 |
![]() |
Synthesis of tyrosinase by streptomyces SP.
ISBN: 9786207473359 / Angielski Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
274,32 |
![]() |
Nanoclay Reinforced Composites for Moisture, Thermal & Fire Application
ISBN: 9786138828204 / Angielski / Miękka / 2019 / 80 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
206,76 |
![]() |
Nanoclay Compostos reforçados para Humidade,Comportamento Térmico e de Fogo
ISBN: 9786204861562 / Portugalski / Miękka / 84 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
247,30 |
![]() |
Nanoclay Based Polymer composites & their Characterization Techniques : Introduction: Nanoclay Polymer Composites
ISBN: 9786139893218 / Angielski / Miękka / 2018 / 68 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
148,20 |
![]() |
Nachrüstung von mechanischen Reglern mit elektronischen Reglern für HDDE
ISBN: 9786203674477 / Niemiecki / Miękka / 2021 / 100 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
247,30 |
![]() |
Synth?se de la tyrosinase par streptomyces SP.
ISBN: 9786208062613 / Francuski Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
274,32 |
![]() |
The Writing of the Nation by Its Elite: The Politics of Anglophone Indian Literature in the Global Age
ISBN: 9780367541293 / Angielski / Twarda / 2021 / 230 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
765,33 |
![]() |
Locating World Cinema: Interpretations of Film as Culture
ISBN: 9789389714203 / Angielski / Twarda / 2020 / 320 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
448,09 |
![]() |
Compositi rinforzati con nanoclay per il comportamento all'umidità, al calore e al fuoco
ISBN: 9786204861555 / Włoski / Miękka / 84 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
247,30 |
![]() |
Philosophical Issues in Indian Cinema
ISBN: 9780367677510 / Angielski / Miękka / 2023 / 182 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
222,15 |
![]() |
Composites polym?res ? base de nano argile et leurs techniques de caract?risation
ISBN: 9786205710302 / Francuski Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
148,20 |
![]() |
Vervanging van mechanische door elektronische gouverneur voor HDDE
ISBN: 9786203674514 / Holenderski / Miękka / 100 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
247,30 |