|
|
|
|
VerhulstModel -- / 4.4.4.
|
2011
|
1
|
|
|
Verhütung und Bekämpfung übertragbarer Krankheiten --
|
2015
|
1
|
|
|
Veri
|
2016
|
1
|
|
|
Veri floris sub figura / / Anonymous(Brigitte Lesne, conductor ; Discantus) --
|
2003
|
1
|
|
|
Veri solis radius : Gregorian chants
|
2015?
|
1
|
|
|
Verick, Sher
|
2013
|
1
|
|
|
Veridatas code inspection metrics -- / 12.1.
|
1993
|
1
|
|
|
Computer vision, imaging and computer graphics : theory and application : 7th International Joint Conference, VISIGRAPP 2012, Rome, Italy, February 24-26, 2012, Revised selected papers /
|
2013
|
1
|
|
|
Veridicom : if you build it, they will come (A)
|
2017
|
1
|
|
|
Veridicom: What Happened? (B)
|
2011
|
1
|
|
|
Veridis quo / / Thomas Bangalter & Guy-Manuel de Homem-Christo(2:48) --
|
2023
|
1
|
|
|
Ane verie excellent and delectabill treatise intitulit Philotus
|
1992
|
1
|
|
|
VeriFast for Java: A Tutorial / / Jan Smans, Bart Jacobs, Frank Piessens --
|
2013
|
1
|
|
|
Verifiability and Reference, Relativism and Realism --
|
2012
|
1
|
|
|
Verifiability and the Concept of Rigor in Qualitative Research -- / Ch. 9.
|
2003
|
1
|
|
|
Verifiability and Verificationism --
|
2013
|
1
|
|
|
Verifiability (meaningfulness) of selected physical education objectives
|
1971
|
1
|
|
|
Verifiability of electronic voting: between confidence and trust /
|
|
2
|
|
|
Verifiable and privacy-preserving association rule mining in hybrid cloud environment / / Hong Rong, Huimei Wang, Jian Liu, Fengyi Tang, and Ming Xian --4.
|
2019
|
1
|
|
|
Verifiable autonomous systems : using rational agents to provide assurance about decisions made by machines
|
2023
|
1
|
|
|
Verifiable certificates for predicate subtyping / / Frederic Gilbert
|
2019
|
1
|
|
|
Verifiable Classroom Voting: Where Cryptography Meets Pedagogy / / Feng Hao, Dylan Clarke, Carlton Shepherd --
|
2013
|
1
|
|
|
Verifiable composition of signature and encryption : a comprehensive study of the design paradigms
|
2017
|
1
|
|
|
Verifiable Computation.
|
2013
|
1
|
|
|
Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems / / Zhikun She and Haoyang Li --
|
2012
|
1
|
|
|
Verifiable Control Flow Policies for Java Bytecode / / Arnaud Fontaine, Samuel Hym and Isabelle Simplot-Ryl --
|
2012
|
1
|
|
|
Verifiable Distributed Oblivious Transfer Protocol (Poster) / / Hossein Ghodosi --
|
2011
|
1
|
|
|
Verifiable Elections That Scale for Free / / Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Sarah Meiklejohn --
|
2013
|
1
|
|
|
Verifiable Postal Voting / / Josh Benaloh, Peter Y.A. Ryan, Vanessa Teague --
|
2013
|
1
|
|
|
Verifiable Predicate Encryption and Applications to CCA Security and Anonymous Predicate Authentication / / Shota Yamada, Nuttapong Attrapadung, Bagus Santoso, Jacob C.N. Schuldt and Goichiro Hanaoka, et al. --
|
2012
|
1
|
|
|
Verifiable privacy protection for vehicular communication systems
|
2017
|
1
|
|
|
A verifiable secret sharing scheme using non-abelian groups / / Maggie E. Habeeb --http://www.ams.org/conm/677/https://doi.org/10.1090/conm/677/13622
|
2016
|
1
|
|
|
Verifiable Structured Encryption / / Moesfa Soeheila Mohamad, Geong Sen Poh --
|
2013
|
1
|
|
|
Verifiably Encrypted Signatures with Short Keys Based on the Decisional Linear Problem and Obfuscation for Encrypted VES / / Ryo Nishimaki, Keita Xagawa --
|
2013
|
1
|
|
|
Verifiation of Infinite Models, Model Measure and Reversibility.
|
2013
|
1
|
|
|
Verificación Digital para Periodistas Manual Contra Bulos y Desinformación Internacional
|
2018
|
1
|
|
|
Verification.
|
|
22
|
|
|
Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
|
2013
|
1
|
|
|
Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
|
2013
|
1
|
|
|
Verification 1995 : Arms Control, Peacekeeping and the Environment
|
2019
|
1
|
|
|
Verification 1996 : Arms Control, Peacekeeping, and the Environment
|
2019
|
1
|
|
|
Verification 1997 : the Vertic Yearbook
|
1997
|
1
|
|
|
Verification Activities --
|
2017
|
1
|
|
|
Verification Activities -- Looking at Audits in a New Light --
|
2017
|
1
|
|
|
Verification Against the Khristianovic -- Geertsma -- de Klerk Model -- / 9.6.3.
|
2017
|
1
|
|
|
Verification, Analysis and Testing -- ̂
|
2011
|
1
|
|
|
Verification and Analysis of Autonomic Systems for Networked Enterprises / / Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Eda Marchetti and Antonino Sabetta, et al. --
|
2012
|
1
|
|
|
Verification and Comparison of Two Tribodiagnostic Methods for Analyzing of the Worn out Oils in Service
|
2015
|
1
|
|
|
Verification and Compliance -- / 20.
|
2002
|
1
|
|
|
Verification and control of hybrid systems : a symbolic approach
|
2009
|
1
|
 Add Marked to Bag
Add All On Page
 Add Marked to My Lists
|