61. Programing Techniques for software development

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Computer software- Development,Electronic Digital Computers- Programing

رده :
QA
،
76
.
76
،.
D47
,
W48
،
1988

62. Programming techniques for software development

پدیدآورنده :

کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

موضوع : Computer software - Development,Electronic digital computers - Programming

رده :
QA76
.
76
.
D47W48
1989

63. RIMS symposia on software science and engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer architecture,Congresses ، Computer software

رده :
QA
76
.
L4
v
.
220

64. RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer architecture,Congresses ، Computer software

رده :
QA
76
.
L4
v
.
147

65. Reliable computer systems: collected papers of the Newcastle Reliability Project

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Electronic digital computers-- Reliability-- Addresses, essays, lectures,، Faultolerant computing-- Addresses, essays, lectures,، Computer software-- Reliability-- Addresses, essays, lectures,، Newcastle Reliability project

رده :
QA
76
.
5
.
R4464
1985

66. Resilient Computer System Design

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Fault-tolerant computing,محاسبه تحمل‌پذیری خطا,a03,a03,Computer software -- Reliability,Electronic digital computers -- Reliability.,نرم‌افزار -- اطمینان‌پذیری ,کامپیوترهای رقمی -- امانت‌داری

رده :
QA
76
.
9
.
C32R4
2015
E-Book
,

67. Software development for engineers: with C, Pascal, C++, Assembly language, Visual Basic, HTML, JavaScript and Java

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Computer software-- Development,، Electronic digital computers-- Programming

رده :
QA
76
.
76
.
D47
.
B82
1997

68. Software engineering : a programming approach

پدیدآورنده :

کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

موضوع : Computer software - Development,Electronic digital computers - Programming

رده :
QA76
.
76
.
D47B45
1987

69. Software engineering with Ada /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : ADA,Ada (Computer program language),Software engineering.,Electronic digital computers-- Programming.,Ada (Computer program language),Ada (langage de programmation),ADA.,Génie logiciel.,Software Engineering,Software engineering.

رده :
QA76
.
73
.
A35
B66
1987

70. Standardized development of computer software

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Electronic digital computers -- Programming,Standards ، Computer software

رده :
QA
76
.
6
.
T39
1977

71. Student instructions for special Limited Version of framework to accompany sanders: Computers today

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : ، Electronic digital computers,، Computer software

رده :
QA
76
.
5
.
Z34
1988

72. System-On-A-Chip verification :methodology and techniques

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : ، System design,Design and construction ، Electronic digital computers,Development ، Computer software

رده :
QA
76
.
9
.
S88
R37
2001

73. The specification of computer programs

پدیدآورنده :

کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)

موضوع : ، Computer software- Development,، Electronic digital computers- Programming

74. computer aided verification

پدیدآورنده :

کتابخانه: (کرمان)

موضوع : Computer software-verification,electronic digital computers-evaluation

رده :
QA
76
.
76
.
E93
,
C65
1993