61. Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings
پدیدآورنده : edited by D. Bjorner
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
86
62. Abstract software specifications, 1979 Copenhagen Winter School, January 22-February 2, 1979
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital Computers-- Programming-- Congresses
رده :
QA
76
.
6
.
W51
1979
63. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
پدیدآورنده : edited by Peter J.L. Wallis
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Ada )Computer program language(,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
180
64. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
پدیدآورنده : Ada Software Tools Interfaces Workshop )3891: Bath, England(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Ada )Computer program language(-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
73
.
A35
.
A34
1983
65. Ada: an introduction to program design and coding
پدیدآورنده : Serafino Amoroso and Giorgio Ingorgiola
موضوع : Ada (computer program languagea),Electronic digital computers--Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
66. Ada:an introduction to program design & coding
پدیدآورنده : AMOROSO,SERAFINO
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ADA )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
73
.
A35
A46
67. Advaces in theory and formal methods of computing: processingd of the thrid Imperial College Workshop, Christ Church, Oxford, 1-3 April 1996
پدیدآورنده : editors: A. Edalat, S. Jourdan, G. Mccusker
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Programming - Congresses
رده :
QA
76
.
6
.
A48
1996
68. Advanced UNIX Programming
پدیدآورنده : / Marc J.Rochkind
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : UNIX(Computer operating system),Electronic digital computers-programming
رده :
U58
005
.
42
R678a
69. Advanced UNIX programming
پدیدآورنده : Marc J Rochkind
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Unix (Computer operating system),Electronic digital computers -- programming
رده :
QA
76
.
76
.
O63R63
1985
70. Advanced UNIX programming
پدیدآورنده : Rochkind, Marc J.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، UNIX )Computer file(,، Electronic digital computers- Programming
رده :
QA
76
.
76
.
O63
R63
71. Advanced computer design
پدیدآورنده : Iliffe, J. K.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، System design,، Electronic digital computers -- Programming,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
S88
I47
72. Advanced computer programming, a case study of a classroom assembly program
پدیدآورنده : Corbato, F. J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital Computers-- Programming-- Study and teaching
رده :
QA
76
.
5
.
C64
73. Advanced course in software engineering
پدیدآورنده : / Editied by F. L. Bauer
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - programming,Programming languages (Electronic computers)
رده :
001
.
6
425
Ad-A
74. Advanced course on software Engineering munich 1971. Soptware engineering: an advanced course
پدیدآورنده : F.L.Baver... )et al( edited by F.L.Bover
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Electronic digital computers - programming - congresses,، Programming language )Electronic computers( - congresses
رده :
QA
76
.
6
.
A33
1975
75. Advanced programming : design and structure using Pascal
پدیدآورنده : Miller, Lawrence H.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Pascal )Computer program language(,، Electronic digital computers- Programming
76. Advanced programming:design & structure using pascal
پدیدآورنده : MILLER,LAWRENCE H
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : PASCAL )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
73
.
P2
M55
77. Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986
پدیدآورنده : edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
244
78. Advanced programming; programming and operating systems
پدیدآورنده : Katzan, Harry.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
K37
79. Algol in brief:a short,practical guide to computer programming in
پدیدآورنده : RACTLIFFE,J F
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ALGOL )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
5
.
R278
80. Algorithms and complexity ; new directions and recet results
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Electronic digital computers- programming- congresses,، Computational complexity - Congresses,، Mathematics - Data processing - Congresses
رده :
QA
76
.
6
.
S9195
1976