Logout succeed
Logout succeed. See you again!
Top 1014 audits verification PDF Book Page 39
Try WiseWorksheets to request a book.
NASA Technical Reports Server (NTRS) 19990014477: Experimental Verification of Ocean Bounced GPS Signals and Analysis of their Application to Ionospheric Corrections for Satellite Altimetry
NASA Technical Reports Server (NTRS)
26 Pages
1.4 MB
Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, ... (Lecture Notes in Computer Science, 13124)
Roderick Bloem (editor), Rayna Dimitrova (editor), Chuchu Fan (editor), Natasha Sharygina (editor)207 Pages
20228.924 MB
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Jérôme Leroux (auth.), Dang Van Hung, Mizuhito Ogawa (eds.)540 Pages20136.886 MB
Object-Based Image Analysis and Treaty Verification: New Approaches in Remote Sensing – Applied to Nuclear Facilities in Iran
Sven Nussbaum, Gunter Menz (auth.)177 Pages200811.2 MB
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Leonardo de Moura, Dejan Jovanović (auth.), Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (eds.)566 Pages20137.351 MB
Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza551 Pages201920.464 MB
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
Javier Esparza (auth.), Gilles Barthe, Manuel Hermenegildo (eds.)406 Pages20105.09 MB
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
Mark R. Greenstreet (auth.), Zhiming Liu, Anders P. Ravn (eds.)423 Pages20094.925 MB
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
Dang Van Hung, Oleg Sokolsky575 Pages202019.156 MB
Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings
Amir Pnueli (auth.), Doron A. Peled, Yih-Kuen Tsay (eds.)515 Pages20057.68 MB
Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
Deepak D’Souza, K. Narayan Kumar (eds.)492 Pages201716.604 MB
Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings
Bernard Boigelot, Patrice Godefroid (auth.), Rajeev Alur, Thomas A. Henzinger (eds.)483 Pages199614.401 MB
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (eds.)482 Pages201510.499 MB
Medieval Nepal. Part 4 - Select Inscriptions, 1514-1768 A, D, with verification and corresponding Dates in C. E.
D. R. Regmi409 Pages196619.2 MB
Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar (eds.)114 Pages20173.972 MB
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings
Fritz Henglein (editor), Sharon Shoham (editor), Yakir Vizel (editor)608 Pages202127.747 MB
NASA Technical Reports Server (NTRS) 20140007308: Observations on CFD Verification and Validation from the AIAA Drag Prediction Workshops
NASA Technical Reports Server (NTRS)0.99 MB
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015 Shanghai, China, October 12–15, 2015, Proceedings
Bernd Finkbeiner, Geguang Pu, Lijun Zhang (eds.)531 Pages201512.259 MB
Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
Howard Barringer, Klaus Havelund (auth.), Sarfraz Khurshid, Koushik Sen (eds.)470 Pages201210.223 MB
Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings
Mihalis Yannakakis (auth.), Susanne Graf, Wenhui Zhang (eds.)550 Pages20067.951 MB
Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
Ahmed Bouajjani, David Monniaux (eds.)575 Pages201720.866 MB
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
Gogul Balakrishnan, Thomas Reps (auth.), Byron Cook, Andreas Podelski (eds.)406 Pages20074.022 MBMost books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
