1. Computer aided verification : fourth International Workshop, CAV'92, Montreal, Quebec, 1992 : proceedings
پدیدآورنده: G.V. Bochmann, D.K. Probst )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
663
2. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Computer software-- Verification,Congresses ، Electronic digital computers-- Evaluation
رده :
QA
76
.
76
.
E93
.
C38
1993
3. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
پدیدآورنده: G. v. Bochmann, D.K. Probst, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
رده :
QA
76
.
76
.
V47
C38
1993
4. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
پدیدآورنده: Warren A. Hunt, Jr., Fabio Somenzi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2725
5. Computer-aided verification : 2nd International Conference, CAV'90, New Brunswick, NJ, USA, June 18-21, 1990 : Proceedings
پدیدآورنده: E.M. Clarke, R.P. Kurshan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design
رده :
QA
76
.
L28
Vol
.
531
6. Computer-aided verification: proceedings 2nd International conference, CAV'90
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Digital integrated circuits-- Computer-aided design,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
D553
1990a
7. Computer aided verification : 3rd international workshop, CAV'91, Alborg, Denmark, 1991 :proceedings
پدیدآورنده: K.G. Larsen, A. Skou, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
575
8. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
پدیدآورنده: Rajeev Alur, Doron A. Peled )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3114
9. Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings
پدیدآورنده: E. Allen Emerson, A. Prasad Sistla )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1855
10. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
پدیدآورنده: Ed Brinksma, Kim Guldstrand Larsen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2404
11. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
پدیدآورنده: Kousha Etessami, Sriram K. Rajamani )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3576
12. Computer aided verification : 5th International Conference, CAV'93 Elounda, Greece, June 28-July 1, 1993 : proceedings
پدیدآورنده: Costas Courcoubetis )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
697
13. Computer aided verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings
پدیدآورنده: Orna Grumberg )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1254
14. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
پدیدآورنده: Rajeev Alur, Thomas A. Henzinger
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1102
15. Computer aided verification : 6th International Conference, CAV'94Stanford, California, USA, June 21-23, 1994. Proceedings
پدیدآورنده: David L. Dill, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
818
16. Computer-aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999
پدیدآورنده: Nicolas Halbwaches, Doron Peled )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Evaluation -- Congresses ، Computer software,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1633
17. Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings
پدیدآورنده: Alan J. Hu, Moshe Y. Vardi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1427
18. Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Computer software-- Verification,Congresses ، Integrated circuits-- Verification
رده :
QA
76
.
76
.
E93
.
C38
2001
19. Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
پدیدآورنده: Gerard Berry, Hubert Comon, Alain Finkel )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
2102
20. International Symposium on Caviation; CAV 2006 ]electronic resource[
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Caviation
رده :
TA
357
.
5
.
C38
.
I56
2006
