Sökt på: a p it
totalt 5 925 träffar
Systems and Software Verification
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via …
Proceedings of the International Conferences on Digital Technology Driven Engineering 2024
This book gathers the latest advances, innovations, and applications in the field of engineering optimization and architectural design, presented at the 1st International …
Crowdfunding, industries culturelles et demarche participative
Il colore venuto dallo spazio
Nelle campagne del New England precipita un meteorite di un metallo alieno dalle proprietà mai viste. Quale terribile influenza avrà sulla gente del posto la misteriosa energia che …
Emerging Markets from a Multidisciplinary Perspective
This book examines prominent issues in the Emerging Markets (EM) from a variety of disciplines in order to make useful societal contributions through knowledge exchange. EMs offer …
![Modulowanie izoenzymów CYP450 w celu zapobiegania rakowi sutka wywolanemu przez DB[a, l]P](https://s2.adlibris.com/images/72901723/modulowanie-izoenzymow-cyp450-w-celu-zapobiegania-rakowi-sutka-wywolanemu-przez-dba-lp.jpg)
Modulowanie izoenzymów CYP450 w celu zapobiegania rakowi sutka wywolanemu przez DB[a, l]P
Substancje rakotw rcze przeksztalcają się w elektrofilowe metabolity, wiążą się z DNA i powodują raka poprzez aktywację metaboliczną, detoksykację, angiogenezę i przerzuty. Izozymy …
Recent Trends in Analysis of Images, Social Networks and Texts
This book constitutes revised selected papers of the 9th International Conference on Analysis of Images, Social Networks and Texts, AIST 2020, held in Moscow, Russia, in october …
This Python Isn't a Snake
Audisee(R) eBooks with Audio combine professional narration and text highlighting for an engaging read aloud experience! Cats can code? These cats sure can! Playful rhyming verse …
Computer-Aided Design in Magnetics
From its early beginnings in the 1960s, when the precision needs of the experimental physics community first created a need for computational aids to magnet design, CAD software …
L''ombra calata dal tempo
All''inizio del secolo scorso il professore Nathaniel Peaslee sviene in aula durante una lezione. Riprende conoscenza solo cinque anni dopo, e scopre che in quel lasso di tempo …
Abordagem para preservar a privacidade da localização contra o ataque da Sybil em VANETs
P-prolog: A Parallel Logic Programming Language
P-Prolog is put forward as an alternative proposal to the difficulties faced in the main research areas of parallel logic programmings, which have been studied. P-Prolog provides …