1. A Silicon-Based 0.3 THz Frequency Synthesizer With Wide Locking Range
Author: Chiang, P; Wang, Z; Momeni, O; Heydari, P
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
2. A silicon-based 0.3 THz frequency synthesizer with wide locking range
Author: Chiang, PY; Wang, Z; Momeni, O; Heydari, P
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
3. Computer Aided Systems Theory - EUROCAST '91 :
Author: by Franz Pichler, Roberto Moreno Diaz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Biology_xData processing.,Computer-aided design.
4. Computer Aided Verification :
Author: edited by Rajeev Alur, Thomas A. Henzinger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
5. Computer Aided Verification :
Author: edited by Gregor Bochmann, David Karl Probst.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
6. Computer Aided Verification
Author: \ Daniel Kroening , Corina S. Păsăreanu (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها
Classification :
QA
76
.
76
.
V47C6
2015
E-Book
,
7. Computer Aided Verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer programs ; Verification ;
8. Computer Aided Verification :
Author: Isil Dillig, Serdar Tasiran (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
758
.
C38
2019
9. Computer Aided Verification :
Author: Gerhard Goos
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
76
.
V47
G474
2000
10. Computer aided verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Verification ; Congresses. ;
11. Computer aided verification
Author: / Pierre Wolper (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software- Verification- Congresses,Electronic digital computers- Evaluation- Congresses
Classification :
QA76
.
76
.
C47
,
C38
1995
12. Computer aided verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Verification ; Congresses. ;
13. Computer aided verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Verification ; Congresses. ;
14. Computer aided verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Verification ; Congresses. ;
15. Computer aided verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer programs ; Verification ;
16. Computer aided verification
Author: / Rajeev Alur, Doron A. Peled (eds.)
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer software -- Evaluation -- Congresses,Electronic digital computers -- Evaluation -- Congresses
Classification :
QA
76
.
76
.
E93C38
17. Computer aided verification
Author: P. Madhusudan, Sanjit A. Seshia (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses
Classification :
QA76
.
76
.
V47
C38
2012eb
18. Computer aided verification : fourth International Workshop, CAV'92, Montreal, Quebec, 1992 : proceedings
Author: G.V. Bochmann, D.K. Probst )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
.
663
19. Computer aided verification: fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer software-- Verification,Congresses ، Electronic digital computers-- Evaluation
Classification :
QA
76
.
76
.
E93
.
C38
1993
20. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
Author: G. v. Bochmann, D.K. Probst, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
Classification :
QA
76
.
76
.
V47
C38
1993
