121. Formal language description languages for computer programming; proceedings

پدیدآورنده:

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

موضوع: Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
I17
1964

122. Formal language description languages for computer programming; proceedings

پدیدآورنده:

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

موضوع: ، Programming languages )Electronic computers(-- Congresses

رده :
QA
76
.
I17
1964

123. Formal semantics of Programming languages

پدیدآورنده:

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

موضوع: ، Programming languages )Electronic computers(-- Semantics-- Congresses

رده :
QA
76
.
7
.
C68
1970

124. Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings

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

موضوع: ، Electronic digital computers-- Programming-- Congresses

رده :
QA
76
.
6
.
F66

125. Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Electronic digital computers - Programming

رده :
QA
76
.
L4
v
.
107

126. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings

پدیدآورنده:

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

موضوع: Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
489

127. Foundations of object-oriented languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990: Proceedings

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

موضوع: ، Object-oriented programming )Computer science(-- Congresses,، Programming languages )Electronic computers(-- Congresses

رده :
QA
76
.
64
.
R49
1990

128. Foundations of software technology and theoretical computer science : Eighth Conference, Pune, India. December 21-23, 1988 : Proceedings

پدیدآورنده:

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

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

رده :
QA
76
.
L28
Vol
.
338

129. Foundations of software technology and theoretical computer science, Fifth Conference, New Delhi, India, Dec. 1985: Proceedings

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Software engineering,Congresses ، Computer software,، Programming )Electronic computers(

رده :
QA
76
.
L4
v
.
206

130. Foundations of software technology and theoretical computer science: fourth conference, Banglore, India, Dec. 13-15, 1984, proceedings

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

موضوع: ، Programming )Electronic computers(-- Congresses,، Computers-- Congresses

رده :
QA
76
.
6
.
F686
1984

131. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada

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

موضوع: ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses

رده :
QA
76
.
6
.
F853
1993

132. Fundamental algorithms for computer graphics

پدیدآورنده:

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

موضوع: ، Electronic digital computers- Programming- Congresses,، Computer algorithms- Congresses,، Computer graphics- Congresses

رده :
QA
76
.
6
.
N379
1985

133. Fundamental algorithms for computer graphics

پدیدآورنده:

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

موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer algorithms-- Congresses,، Computer graphics-- Congresses

رده :
QA
76
.
6
.
N379
1985

134. GI 3. Fachtagung uber programmiersprachen Kiel, 5-7, Marz, 1974

پدیدآورنده:

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

موضوع: Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
7

135. GI-NTG Fachtagung struktur und Betrieb von Recheusystemen, Braunschweig 20-22. 3. 1974 im Auftrag der GI und der NTG

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

موضوع: ، Electronic digital computers-- Programming-- Congresses,، Electronic digital computers-- Evaluation-- Congresses

رده :
QA
76
.
6
.
G18
1974

136. GI-NTG : fachtagung struktur und betrieb von Rechensystemen : Braunschweig, 20-22, 3, 1974

پدیدآورنده:

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

موضوع: Congresses ، Computer programming,Evaluations -- Congresses ، Electronic digital computers

رده :
QA
76
.
L28
Vol
.
8

137. Generalized quantifiers and computation

پدیدآورنده:

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

موضوع: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.

138. Graphic languages. Proceedings

پدیدآورنده:

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

موضوع: ، Computer graphics-- Congresses,، Programming languages )Electronic computers(-- Congresses

رده :
T
385
.
I25
1972

139. HOPL III

پدیدآورنده:

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

موضوع: Programming languages (Electronic computers)-- History, Congresses.

140. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain

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

موضوع: ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses

رده :
TK
7888
.
3
.
I57
1997