Tabla de Contenidos: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Completion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution)…”

Tabla de Contenidos: “…Virtual Memory and the Portable Executable (PE) File -- Chapter 5. Windows Internals -- Part 3: Malware Components and Analysis -- Chapter 6. …”

Tabla de Contenidos: “…Kapitel 7: Abzüge auf Fotopapier - Grundlagen -- 7.1 Papierbelichtung -- 7.2 Papierentwickler -- 7.3 Stoppbad -- 7.4 Fixierer -- 7.5 Zwei-Bad-Fixage -- 7.6 Empfehlungen für den Start -- 7.7 Wässerung -- 7.8 Trocknung von PE-Papier -- 7.9 Trocknung und Glättung von Barytpapier -- Kapitel 8: Abzüge auf Fotopapier - Praxis -- 8.1 Kurzanleitung Vergrößerer -- 8.2 Gradationssteuerung bei Multigradepapieren -- 8.3 Erstellen eines Graustufenkeils -- 8.4 Erstellen von Fotogrammen auf PE-Papier -- 8.5 Kontaktabzüge -- 8.6 Negative vergrößern -- 8.7 Tonungen -- 8.8 Caffenol als Papierentwickler -- Kapitel 9: Bildretusche -- 9.1 Positivretusche -- 9.2 Negativretusche -- 9.3 Kolorieren von Bildern -- Kapitel 10: Digitale Daten für die analoge Dunkelkammer -- 10.1 Archivierung auf Film -- 10.2 Ausbelichtung auf Film -- 10.3 Handabzüge von digital erstellten Negativen -- 10.4 Negative drucken -- Kapitel 11: Archivierung und Präsentation -- 11.1 Archivsicherheit -- 11.2 PAT-Test -- 11.3 Aufbewahrung von Negativen -- 11.4 Aufbewahrung von Schwarz-Weiß-Bildern -- 11.5 Bilderrahmen -- Kapitel 12: Vermeidung von Staub und Verunreinigungen -- 12.1 Staub -- 12.2 Verunreinigungen fotografischer Bäder -- Kapitel 13: Sicherheit und Umweltschutz -- 13.1 Entwicklerlösungen -- 13.2 Stoppbäder -- 13.3 Fixierer -- 13.4 Toner -- 13.5 Bleichbäder und Abschwächer -- 13.6 Hilfsmittel -- 13.7 Entsorgung von Fotochemie -- 13.8 Raumklima -- 13.9 Allergien/Sensibilisierungen -- 13.10 Gefahrenhinweise -- 13.11 Sicherheitsregeln im Fotolabor -- 13.12 Erste Hilfe im Labor -- Kapitel 14: Häufige Fehler -- 14.1 Fehler erkennen und vermeiden -- 14.2 Fehler bei der Papierverarbeitung -- 14.3 Fehler bei der Filmentwicklung​ -- Kapitel 15: Adressen und Links -- 15.1 ​​​Händler für analoge Filme, Fotopapiere, Chemie und Archivmaterialien -- 15.2 Internetfore​n…”

Ver edición digitalizada de E-rara

Ver edición digitalizada de la Diputación de Girona

Accés lliure

Accés lliure
Venda en línia de reproduccions digitals
Accés lliure

Accés lliure

“…Even the most experienced Android developer should pick up at least a few tricks from these pages.” —Dave Smith, PE, Google Developer Expert for Android Mastering concurrency is critical to developing software with superior performance and responsiveness. …”