1. A Silicon-Based 0.3 THz Frequency Synthesizer With Wide Locking Range
پدیدآورنده: Chiang, P; Wang, Z; Momeni, O; Heydari, P
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
2. A silicon-based 0.3 THz frequency synthesizer with wide locking range
پدیدآورنده: Chiang, PY; Wang, Z; Momeni, O; Heydari, P
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
3. Computer Aided Systems Theory - EUROCAST '91 :
پدیدآورنده: by Franz Pichler, Roberto Moreno Diaz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Biology_xData processing.,Computer-aided design.
4. Computer Aided Verification :
پدیدآورنده: edited by Rajeev Alur, Thomas A. Henzinger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
5. Computer Aided Verification :
پدیدآورنده: edited by Gregor Bochmann, David Karl Probst.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
6. Computer Aided Verification
پدیدآورنده: \ Daniel Kroening , Corina S. Păsăreanu (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software -- Verification -- Congresses.,Logics and Meanings of Programs.,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47C6
2015
E-Book
,
7. Computer Aided Verification :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programs ; Verification ;
8. Computer Aided Verification :
پدیدآورنده: Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: 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.
رده :
QA76
.
758
.
C38
2019
9. Computer Aided Verification :
پدیدآورنده: Gerhard Goos
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
رده :
QA76
.
76
.
V47
G474
2000
10. Computer aided verification :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Verification ; Congresses. ;
11. Computer aided verification :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Verification ; Congresses. ;
12. Computer aided verification :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Verification ; Congresses. ;
13. Computer aided verification :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Verification ; Congresses. ;
14. Computer aided verification
پدیدآورنده: / Pierre Wolper (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software- Verification- Congresses,Electronic digital computers- Evaluation- Congresses
رده :
QA76
.
76
.
C47
,
C38
1995
15. Computer aided verification :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programs ; Verification ;
16. Computer aided verification
پدیدآورنده: / Rajeev Alur, Doron A. Peled (eds.)
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computer software -- Evaluation -- Congresses,Electronic digital computers -- Evaluation -- Congresses
رده :
QA
76
.
76
.
E93C38
17. Computer aided verification
پدیدآورنده: P. Madhusudan, Sanjit A. Seshia (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Verification, Congresses
رده :
QA76
.
76
.
V47
C38
2012eb
18. 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
19. 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
20. 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
