2261. #Program correctness over abstract data types, with error-state semantics
پدیدآورنده : #J.V. Tucker, J.I. Zucker
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Electronic digital computers- Programming ،Abstract data types )Computer science(
رده :
#
QA
،#.
T83
2262. Program derivation :the development of programs from specifications
پدیدآورنده : Geoff Dromey
موضوع : Electronic digital computers--Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2263. Program design
پدیدآورنده : Juliff, Peter Laurence
موضوع : ، Electronic digital computers-- Programming,، Structured programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2264. Program design concepts with applications in COBOL
پدیدآورنده : Philippakis, Andreas S.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، COBOL )Computer program language(,، Electronic digital computers - Programming
رده :
QA
76
.
73
.
C25
P49
2265. Program design concepts with applications in COBOL
پدیدآورنده : Philippakis, Andreas S.
موضوع : ، COBOL )Computer program language(,، Electronic digital computers-- Programming
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
2266. Program design concepts with applications in COBOL
پدیدآورنده : A.S. Philippakis, Leonard J. Kazmier,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : COBOL )Computer program language(,Electronic digital computers - Programming
رده :
QA
.
C25P49
76
.
73
1983
2267. Program design concepts with applications in COBOL
پدیدآورنده : / A.S. Philippakis , Leonard Kazmier
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COBOL (Computer program language),Electronic digital computer-programming,Computers Programming
رده :
QA76
.
73
.
C25P49
1983
2268. Program design concepts:with applications in cobol
پدیدآورنده : PHILIPPAKIS,A S
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : COBOL )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
73
.
C25
P49
2269. Program design & construction
پدیدآورنده : HIGGINS,DAVID A
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
6
.
H528
2270. Program design using JSP : a practical introduction
پدیدآورنده : King, M. J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Jackson structured programming,، Electronic digital computers - Programming
رده :
QA
76
.
6
.
K56
1992
2271. Program design with pseudocode
پدیدآورنده : T.E. Bailey, Kris Lundgaard
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Electronic digital computers--Programming,Pseudocode (Computer program language)
رده :
QA
،
76
.
6
،.
B327
،
1989
2272. Program style, design, efficiency, debugging, and testing
پدیدآورنده : Van Tassel, Dennie
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Debugging in computer science,Testing ، Computer programs
رده :
QA
76
.
6
.
V37
1978
2273. Program style, design, efficiency, debugging and testing
پدیدآورنده : / Dannie Van Tassel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming,Debugging in computer sciences,Computer program - Testing
رده :
001
.
642
V217
2274. Program style, design, efficiency, debugging, and testing
پدیدآورنده : Van Tassel, Dennie
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Debugging in computer science,، Computer programs-- Testing
رده :
QA
76
.
6
.
V37
1978
2275. Program style,design,efficincy
پدیدآورنده : VAN TASSEL,DENNIE
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , DEBUGGING IN COMPUTER SCIENCE , COMPUTER PROGRAMS-TESTING
رده :
QA
76
.
6
.
V37
2276. Programing Environments for High -Level scientific problem solving :proccedings of the IFIP Tc2 / WG2.5 working conference on programming Environmental for Germany , 23-27 september , 1991
پدیدآورنده : Edited by p.w Gaffney , E. N . Houstis , managing
کتابخانه: کتابخانه دانشکده تحصیلات تکمیلی محیط زیست دانشگاه تهران (تهران)
موضوع : Electronic digital computers - programming - congresses,Problem solving - congresses .
رده :
QA
76
.
6
.
I1782
1992
2277. Programing Symposium, proceedings, colloque sur la programmation, Paris, April, 9-11, 1974
پدیدآورنده : edited by B. Robinet
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming - Congresses ، Electronic digital computers
رده :
QA
76
.
6
.
P7517
1974
2278. Programing Techniques for software development
پدیدآورنده : Bebo White
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Computer software- Development,Electronic Digital Computers- Programing
رده :
QA
،
76
.
76
،.
D47
,
W48
،
1988
2279. Programmable digital signal processors :
پدیدآورنده : / edited by Yu Hen Hu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronic digital computers , Design and construction,Signal processing
رده :
E-BOOK
2280. Programmation du 80386, application a l'utilisation du mode protege sous MS-Dos
پدیدآورنده : Trio, Martine
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Intel 68308 )Microprocessor(-- Programming,، Electronic digital computers-- Design and construction
رده :
QA
76
.
8
.
I5
.
I74
1988