Tag verification

Tagged Works

A Modern Introduction to Philosophy
3
Essays in Pragmatism (Hafner Library of Classics)
2
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
2
Language, Truth and Logic
2
Forensic Explorer Examiner: Professional Education and Training User Guide Students Workbook
1
ANAB ISO/IEC 17025:2017 - Forensic Science Testing and Calibration Laboratories Accreditation Requirements (Binder)
1
CFIU 21 (Binder)
1
CFIU 10 (Binder)
1
CFIU 3 (Binder)
1
Population Statistics Validation (Binder)
1
FSU Validations (Binder)
1
CrimePAD Performance Verification (Binder)
1
Polycyano, Cyanobloom Foster Freeman Performance Verification (Binder)
1
Future Validations (Binder)
1
Quality Manual: Phoenix Police Department Laboratory Services Bureau
1
Scientific Analysis (ACE-V): From the Laboratory to the Witness Stand
1
Introduction to Forensic Image Analysis using the ClearID Workflow (Binder)
1
Fingerprint Dictionary: An examiners guide to the who, what, and where of fingerprint identification
1
The Life-Changing Science of Detecting Bullshit
1
Practical Mobile Forensics - Third Edition: A hands-on guide to mastering mobile forensics for the iOS, Android, and the Windows Phone platforms
1
Verification and Validation in Scientific Computing
1
Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011, proceedings
1
Reachability problems 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011: proceedings
1
Hardware and software verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers
1
Hardware and software, verification and testing 5th International Haifa Verification Conference, HVC 2009 ; Haifa, Israel, October 19-22, 2009 : Revised selected papers
1
Model checking software 18th International SPIN Workshop, /Snowbird, UT, USA, July 14-15, 2011: proceedings
1
Model checking and artificial intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
1
Foundations of computer software. Modeling, development, and verification of adaptive systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, revised selected papers
1
Formal modeling: actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the occasion of her 70th Birthday / Gul Agha, Olivier Danvy, José Meseguer (Eds.)
1
Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings
1
Computer aided verification 23rd International Conference, CAV 2011 ; Snowbird, UT, USA, July 14-20, 2011. Proceedings
1
Journal of the ACM, Volume 63, Number 1, 2016
1
Journal of the ACM, Volume 63, Number 3, 2016
1
The Cambridge Companion to Popper (Cambridge Companions to Philosophy)
1
Verification Handbook: An Ultimate Guideline on Digital Age Sourcing for Emergency Coverage
1
Fate War: Alliance
1
The Simple Art of SoC Design: Closing the Gap between RTL and ESL
1
Verification, Validation and Testing in Software Engineering
1
Science and the Afterlife Experience: Evidence for the Immortality of Consciousness
1
High-Level Verification: Methods and Tools for Verification of System-Level Designs
1
System guidelines for EMC safety-critical circuits design, selection, and margin demonstration : under contract NAS8-40259 (SuDoc NAS 1.26:4759)
1
Marshall Space Flight Center electromagnetic compatibility design and interference control (MEDIC) handbook CDDF final report, project no. 93-15 (SuDoc NAS 1.61:1368)
1
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers ... / Programming and Software Engineering)
1
Systematic Programming: An Introduction
1
Revisions- und Bilanzierungspraxis : Beiträge zum Revisionswesen in der Schweiz und zur Prüfung und Erstellung des Jahresabschlusses
1
Software Escrow for Dummies
1
Formal Vlsi Specification and Synthesis: Vlsi Design Methods I : Proceedings of the Ifip Wg 10.2/Wg 10.5 International Workshop on Applied Formal Me (Vlsi Design Methods, 1) (v. 1)
1
Formal Vlsi Correctness Verification: Vlsi Design Methods II : Proceedings of the Ifip Wg 10.2/Wg 10.5 International Workshop on Applied Formal Meth (Vlsi Design Methods, 2)
1

Using the Tag

updgenref (14), hermannstone (9), louisedennis (6), mfd101 (5), HelmutSimonis (4), gentlemania (3), galacticus (3), Embarquer (3), webecca (2), bwa32 (2), jmjoncas (2), CINUBuenosAires (2), draganigajic (2), sannevde (2), eromsted (1), birix (1), StatEpi_Library (1), DonMartin (1), Fiduconsult (1), dbzdak (1) and 22 other members

Related Series

Aliases and Translations

Includes: verification, Verification, VERIFICATION, vérification, Vérification
Translations: Vérification, Verificatie

Google Books Ngram Viewer

Data from Books Ngram Viewer