wyszukanych pozycji: 22
![]() |
Vérification formelle de la plate-forme javacard
ISBN: 9786131539312 / Francuski / Miękka / 2018 / 216 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. La verification du bytecode est l'une des pieces maitresses de la securite de l'architecture JavaCard. Sa correction est souvent formulee en utilisant les notions de machine virtuelle defensive et de machine virtuelle offensive. La machine virtuelle defensive verifie la coherence des donnees manipulees pendant l'execution alors que la machine offensive ne fait pas de telles verifications. La correction est ainsi etablie en verifiant que l'execution de programmes qui ont passe avec succes la verification de bytecode, sur les deux machines, coincide. Dans cet ouvrage nous decrirons comment sont...
La verification du bytecode est l'une des pieces maitresses de la securite de l'architecture JavaCard. Sa correction est souvent formulee en utilisant...
|
cena:
346,40 |
![]() |
Infância Roubada : memórias de empregadas domésticas no trabalho e na educação escolar
ISBN: 9786130160296 / Portugalski / Miękka / 2016 / 124 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
247,30 |
![]() |
Aplicabilidade da adição de fibras de sisal em misturas asfálticas SMA : Estudo sobre escorrimento do ligante e propriedades mecânicas de misturas do tipo SMA com adição de fibra de sisal
ISBN: 9786139628476 / Portugalski / Miękka / 2018 / 60 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
161,71 |
![]() |
A biblioteca escolar como contexto de formação da criança leitora
ISBN: 9783639758658 / Portugalski / Miękka / 2015 / 104 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. A formação de leitores é um desafio para todos os professores da Educação Básica, nesse sentido a autora desenvolveu uma dissertação de mestrado na Universidade Federal do Rio Grande do Norte com intervenção em escola pública. A intenção é tomar a biblioteca pública escolar como lugar de reflexão e análise, além de destacar a sua importância enquanto espaço de múltiplas aprendizagens acerca do ato de ler, reconhecendo a leitura enquanto prática social que implica mediações intencionais e sistemáticas que propiciem às "crianças aprendizes" a interação e a...
A formação de leitores é um desafio para todos os professores da Educação Básica, nesse sentido a autora desenvolveu uma dissertação de mestra...
|
cena:
247,30 |
![]() |
Quanto custa a Educação Infantil : A realidade do valor aluno do FUNDEB
ISBN: 9783330744967 / Portugalski / Miękka / 2016 / 192 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
292,34 |
![]() |
Rigorous Software Development: An Introduction to Program Verification
ISBN: 9781447175575 / Angielski / 10-07-2026 Książka dostępna od: 10-07-2026 |
|
Planowany termin premiery książki: 10-07-2026
Książkę można już zamówić z rabatem 5% |
|
481,38 |
![]() |
Secagem Combinada com Secador de fluxos concorrentes
ISBN: 9783841707307 / Portugalski / Miękka / 2015 / 76 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Mudancas expressivas no mercado mundial provenientes da abertura economica estabeleceram uma concorrencia mais acirrada em que o aumento da produtividade e a qualidade dos produtos ofertados passaram a ser considerados fatores primordiais para garantirem uma oferta continuada com bom preco, aliado as questoes sociais e ecologicas. Para tal, a rapida modernizacao do setor agricola, decorrente dos incentivos tecnologicos, baseados num pacote intensivo de capital e energia, fatores que atualmente sao escassos. Assim, o ganho tecnologico, na area de pos-colheita do cafe, advindo das pesquisas,...
Mudancas expressivas no mercado mundial provenientes da abertura economica estabeleceram uma concorrencia mais acirrada em que o aumento da produtivid...
|
cena:
161,71 |
![]() |
Building Information Modeling e Sistemas de Abastecimento de Água
ISBN: 9786202559331 / Portugalski / Miękka / 64 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
148,20 |
![]() |
Efeito de Piper tuberculatum SOBRE Spodoptera frugiperda : Os extratos hexânico, etéreo e etanólico
ISBN: 9783330738867 / Portugalski / Miękka / 2016 / 100 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
247,30 |
![]() |
As dificuldades enfrentadas por mulheres com câncer de mama : A luta pela superação
ISBN: 9786138998334 / Portugalski / Miękka / 2018 / 72 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
179,73 |
![]() |
As dificuldades enfrentadas por mulheres com câncer de mama : A luta pela superação
ISBN: 9786139702053 / Portugalski / Miękka / 2018 / 72 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
179,73 |
![]() |
Rigorous Software Development: An Introduction to Program Verification
ISBN: 9780857290175 / Angielski / Miękka / 2011 / 307 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite.
This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for s...
|
cena:
141,69 |
![]() |
Innovation im Gesundheitswesen
ISBN: 9786204043883 / Niemiecki / Miękka / 2021 / 68 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
179,73 |
![]() |
Wirkung von Piper tuberculatum auf Spodoptera frugiperda
ISBN: 9786209580345 / Niemiecki / Miękka / 2026 / 64 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Um die durch synthetische Produkte verursachten Auswirkungen auf die Umwelt zu reduzieren, wurde das Insektizidpotenzial von grünen Früchten der Pimenta de Macaco untersucht, die in Lösungsmittel mit zunehmender Polarität fraktioniert wurden. Dabei handelte es sich um Hexan, Ethylether und 70 %iges Ethanol. Die Extrakte wurden aus der Extraktion der getrockneten Früchte in jedem Lösungsmittel hergestellt. Von diesen wurden fünf Dosen (10 mg, 20 mg, 50 mg, 150 mg und 250 mg) zu 100 g künstlicher Bowling-Nahrung hinzugefügt und Larven der Maiszünslerraupe angeboten. Das verwendete...
Um die durch synthetische Produkte verursachten Auswirkungen auf die Umwelt zu reduzieren, wurde das Insektizidpotenzial von grünen Früchten der Pim...
|
cena:
197,75 |
![]() |
Wplyw Piper tuberculatum na Spodoptera frugiperda
ISBN: 9786209593147 / Polski / Miękka / 2026 / 60 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
197,75 |
![]() |
Effect of Piper tuberculatum on Spodoptera frugiperda
ISBN: 9786209582905 / Angielski / Miękka / 2026 / 56 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. In an attempt to reduce the environmental impact caused by synthetic products, the insecticidal potential of green Monkey Pepper fruits fractionated in solvents of increasing polarity was studied. These were: hexane, ethyl ether and 70% ethanol. The extracts were prepared from the extraction of the dehydrated fruit in each solvent. Of these, five doses (10 mg, 20 mg, 50 mg, 150 mg, and 250 mg) were added to 100 g of artificial Bowling diet and offered to corn earworm larvae. The experimental design used was completely randomised, and the treatments were analysed using the Kruskal-Wallis test....
In an attempt to reduce the environmental impact caused by synthetic products, the insecticidal potential of green Monkey Pepper fruits fractionated i...
|
cena:
197,75 |
![]() |
Effet de Piper tuberculatum SUR Spodoptera frugiperda
ISBN: 9786209588020 / Francuski / Miękka / 2026 / 60 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Dans le but de réduire l'impact environnemental des produits synthétiques, le potentiel insecticide des fruits verts du poivre de singe fractionnés dans des solvants de polarité croissante a été étudié. Il s'agissait de l'hexane, de l'éther éthylique et de l'éthanol à 70 %. Les extraits ont été élaborés à partir de l'extraction du fruit déshydraté dans chaque solvant. Parmi ceux-ci, cinq doses (10 mg, 20 mg, 50 mg, 150 mg et 250 mg) ont été ajoutées à 100 g de régime alimentaire artificiel de Bowling et proposées à des larves de la chenille du maïs. Le plan...
Dans le but de réduire l'impact environnemental des produits synthétiques, le potentiel insecticide des fruits verts du poivre de singe fractionnés...
|
cena:
197,75 |
![]() |
Effetto del Piper tuberculatum su Spodoptera frugiperda
ISBN: 9786209590580 / Włoski / Miękka / 2026 / 60 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
197,75 |
![]() |
Die Schwierigkeiten von Frauen mit Brustkrebs
ISBN: 9786208175443 / Niemiecki / Miękka / 2024 / 64 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Brustkrebs ist die häufigste Krebsart bei Frauen. Von der Diagnose bis zur Nachbehandlung treten körperliche und psychische Veränderungen auf, die die Lebensqualität der Frauen beeinflussen. Die Ergebnisse der entsprechenden Studien umfassten Themen, die die Bedeutung der Behandlung und der Mastektomie im Leben der Frauen aufzeigen. Das Körperbild hängt damit zusammen, wie Frauen sich selbst während und nach der Brustkrebserkrankung sehen. Die Lebensqualität kann durch die Art der Operation beeinflusst werden; je länger die Operation dauert, desto größer sind die Schwierigkeiten...
Brustkrebs ist die häufigste Krebsart bei Frauen. Von der Diagnose bis zur Nachbehandlung treten körperliche und psychische Veränderungen auf, die ...
|
cena:
179,73 |
![]() |
The difficulties faced by women with breast cancer
ISBN: 9786208175450 / Angielski / Miękka / 2024 / 60 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Breast cancer is the most common type of cancer among women. From diagnosis to post-treatment, physical and psychological changes occur, influencing women's quality of life. The results of the related studies consisted of themes that identified the meaning of treatment and mastectomy in women's lives. Body image is related to how women see themselves during and after breast cancer. Quality of life can be influenced by the type of surgery; the longer the surgery, the greater the difficulties in upper limb functionality, and the greater the morbidity, the more damage to general health,...
Breast cancer is the most common type of cancer among women. From diagnosis to post-treatment, physical and psychological changes occur, influencing w...
|
cena:
179,73 |