41. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
Author: Warren A. Hunt, Jr., Fabio Somenzi )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
2725
42. Computer aided verification : 3rd international workshop, CAV'91, Alborg, Denmark, 1991 :proceedings
Author: K.G. Larsen, A. Skou, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
575
43. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
Author: / edited by Isil Dillig, Serdar Tasiran.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
44. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
Author: Rajeev Alur, Doron A. Peled )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
3114
45. Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings
Author: E. Allen Emerson, A. Prasad Sistla )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
1855
46. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
Author: Ed Brinksma, Kim Guldstrand Larsen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
2404
47. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
Author: Kousha Etessami, Sriram K. Rajamani )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
3576
48. Computer aided verification : 5th International Conference, CAV'93 Elounda, Greece, June 28-July 1, 1993 : proceedings
Author: Costas Courcoubetis )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
697
49. Computer aided verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings
Author: Orna Grumberg )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
1254
50. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
Author: Rajeev Alur, Thomas A. Henzinger
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
1102
51. Computer aided verification : 6th International Conference, CAV'94Stanford, California, USA, June 21-23, 1994. Proceedings
Author: David L. Dill, ed
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
818
52. Computer-aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999
Author: Nicolas Halbwaches, Doron Peled )Eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Evaluation -- Congresses ، Computer software,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
1633
53. Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings
Author: Alan J. Hu, Moshe Y. Vardi )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
1427
54. Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer software-- Verification,Congresses ، Integrated circuits-- Verification
Classification :
QA
76
.
76
.
E93
.
C38
2001
55. Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
Author: Gerard Berry, Hubert Comon, Alain Finkel )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification
Classification :
QA
76
.
L28
Vol
.
2102
56. Computer and information science
Author: edited by Roger Lee
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science, -- کنگرهها, -- Congresses,a03
Classification :
QA75
.
5
57. Computer performance engineering :
Author: Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems-- Evaluation, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
E94
E64
2013
58. Computer safety, reliability, and security :
Author: Francesco Flammini, Sandro Bologna, Valeria Vittorini (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses,Computers-- Reliability, Congresses
Classification :
QA76
.
76
.
R44
I58
2011
59. Correct hardware design methodologies
Author: / Edited by Paolo Prinetto, Paolo Camurati
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Integrated circuits--Very large scale integration--Design and construction - Data processing--Congresses,Computer - Aided design--congresses,Computer software--Verification--Congresses
Classification :
TK
7874
.
A3353
1991
60. Current trends in web engineering :
Author: Cesare Pautasso, Fernando Sánchez-Figueroa, Kari Systä, Juan Manuel Murillo Rodríguez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Software engineering.,Web services.,World Wide Web.
Classification :
TK5105
.
888
