1. .....................
پدیدآورنده : Brown, Arthor Robert
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Debugging in computer science
رده :
QA
76
.
6
.
B76
2. A bug hunter's diary :
پدیدآورنده : Tobias Klein
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security,Debugging in computer science,Malware (Computer software)
رده :
QA76
.
9
.
D43
K5813
2011
3. A practical guide to adopting the Universal Verification Methodology (UVM)
پدیدآورنده : Sharon Rosenberg, Kathleen A. Meade.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programs -- Verification.,Computer software -- Verification.,Debugging in computer science.
رده :
QA76
.
76
.
V57
S537
2010
4. AADEBUG 2005 : proceedings of the Sixth International Symposium on Automated & Analysis-Driven Debugging, Monterey, California, USA, September 19-21, 2005
پدیدآورنده : sponsored by ACM SIGPLAN & ACM SIGSOFT
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Debugging in computer science
رده :
QA
76
.
9
.
D43A23
2005
5. Abend debugging for COBOL programmers
پدیدآورنده : / B. H. Boar
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : COBOL (Computer program Language),Debugging in computer science
رده :
001
.
6424
B662
6. Abend debugging for COBOL programmers
پدیدآورنده : Boar, Bernard H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، COBOL )Computer program language(,، Debugging in computer science
رده :
QA
76
.
73
.
C25
.
B6
7. Advanced Windows debuggin
پدیدآورنده : / Mario Hewardt, Daniel Pravat
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Microsoft Windows (Computer file),Operating systems (Computers)--Management,Debugging in computer science.
رده :
QA
,
76
.
76
,.
O63
,
H497
,
2008
8. Advanced Windows debugging
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Operating systems (Computers) ; Management ; Debugging in computer science ; Microsoft Windows (Computer file) ;
9. Advanced debugging methods
پدیدآورنده : By Raimondas Lencevicius
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)
موضوع : Debugging in computer science
رده :
005
.
14
L563A
10. Advanced digital troubleshooting
پدیدآورنده : / by: Aivis J. Evans
کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی اصفهان (اصفهان)
موضوع : Debugging in computer science
رده :
TK7887
E8A3
1988
11. Application debugging : an MVS abend handbook for COBOL, Assembly, PL/I, and FORTRAN programmers
پدیدآورنده : Binder, Robert
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Debugging in computer science,، COBOL )Computer program language(,، Assembler language )Computer program language(,، PL/I )Computer program language(,، FORTRAN )Computer program language(,، IBM MVS
رده :
QA
76
.
6
.
B56
1985
12. Application debugging:an mvs abend handbook for cobol,assembly,
پدیدآورنده : BINDER,ROBERT
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : DEBUGGING IN COMPUTER SCIENCE , MVS )COMPUTER SYSTEM( , COBOL )COMPUTER PROGRAM
رده :
QA
76
.
6
.
B56
13. Automated and algorithmic debuggin
پدیدآورنده : / Peter A. Fritzson (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Debugging in computer science--Congresses
رده :
QA
,
76
.
9
,.
D43
,
I54
,
1993
14. Automated and algorithmic debugging :
پدیدآورنده : Peter A Fritzson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
15. Automated and algorithmic debugging :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Debugging in computer science ; Congresses ;
16. Automated and algorithmic debugging : first International Workshop, AADEBUG'93 , Linkنping, Sweden, May 3-5, 1993 : proceedings
پدیدآورنده : Peter A. Fritzson, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Debugging in computer science
رده :
QA
76
.
L28
Vol
.
749
17. Automated and algorithmic debugging : first international workshop, AADEBUG '93, Linkoping, Sweden, May 3-5, 1993 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Debugging in computer science-- Congresses
رده :
QA
76
.
9
.
D43
.
I54
1993
18. Automated defect prevention
پدیدآورنده : / Dorota Huizinga, Adam Kolawa
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Software failures--Prevention--Data processing,Software maintenance--Data processing,Debugging in computer science--Automatic control,Computer programs--Testing--Data processing,Computer programs--Correctness
رده :
QA
,
76
.
76
,.
F34
,
H85
,
2007
19. Automated defect prevention :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software failures ; Prevention ; Data processing. ; Software maintenance ; Data processing. ; Debugging in computer science ; Automatic control. ; Computer programs ; Testing ; Data processing. ; Computer programs ; Correctness. ;
20. B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
پدیدآورنده : Didier Bert )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، B method )Computer science(,Congresses ، Debugging in computer science
رده :
QA
76
.
L28
Vol
.
1393