121. Euro-Par 2015
Author: \ esper Larsson Träff, Sascha Hunold, Francesco Versaci (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Parallel processing (Electronic computers) -- Congresses,Parallel programming (Computer science) -- Congresses,Electronic data processing -- Distributed processing -- Congresses,پردازش موازی -- کنگره ها,برنامهنویسی موازی -- کنگره ها,دادهپردازی -- پردازش توزبع شده -- کنگره ها
Classification :
QA
76
.
58
.
I58
E92
2015
E-Book
,
122. Fachtagung Prozessrechner 1974, Karlsruhe, 10-11. Juni 1974
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Process control-- Data processing-- Congresses,، Electronic digital computers-- Programming-- Congresses
Classification :
TS
156
.
8
.
F32
1974
123. Fachtagung prozessrechner 1974, Karlsruhe, 10-11. Juni 1974
Author: / Von Gerhard Kruger und Rudiger Friehmelt
Library: Library of College of Science University of Tehran (Tehran)
Subject: Process control -- Data processing -- Congresses,Electronic digital computers -- Programming -- Congresses
Classification :
TS
156
.
8
.
F35
124. 3. Fachtagung uber Programmiersprachen, Kiel, 5.-7. Marz 1974
Author: hrsg. von Bodo Schlender und Wolfgang Frielinghaus
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L4
v
.
7
125. Formal Development of Programs and Proofs
Author: Edited By Edsger W. Dijkstra
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Electronic Dijital Computers- Programming- Congresses
Classification :
QA
،
76
.
6
،.
F657
،
1990
126. Formal description technique
Author: / edited by K.R. Parker, G.A. Rose
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Formal languages -- Congresses
Classification :
QA
76
.
6
.
I185
1992
127. Formal description techniques, II
Author: / Edited by Son T. Vuong
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
Classification :
QA
76
.
6
.
I1778
1989
128. Formal description techniques III
Author: / Edited by Juan Quemada, Jose Manas, Enrique Vazquez
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
Classification :
QA
76
.
6
.
I185
1990
129. Formal development of programs and proofs
Author: edited by Edsger W. Dijkstra
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Electronic digital computers- Programming- Congresses
Classification :
QA
76
.
6
.
F657
1990
130. Formal language description languages for computer programming
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Programming languages (Electronic computers) -- Congresses
Classification :
76
.
I17
131. Formal language description languages for computer programming; proceedings
Author: / Edited by T.B. Steel, Jr
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Congresses
Classification :
QA
76
.
I17
1964
132. Formal language description languages for computer programming; proceedings
Author: IFIP Working Conference on Formal Language Description Languages, )4691, Vienna, Austria(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
I17
1964
133. Formal semantics of Programming languages
Author: Courant Computer Science Symposium, 2d, New York, 0791
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses
Classification :
QA
76
.
7
.
C68
1970
134. Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses
Classification :
QA
76
.
6
.
F66
135. Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings
Author: edited by J. Diaz and I. Ramos
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
107
136. Foundations of object-oriented languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990: Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Object-oriented programming )Computer science(-- Congresses,، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
64
.
R49
1990
137. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings
Author: J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
489
138. Foundations of software technology and theoretical computer science : Eighth Conference, Pune, India. December 21-23, 1988 : Proceedings
Author: K.V. Nori, S. Kumar )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software,Programming -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
338
139. Foundations of software technology and theoretical computer science, Fifth Conference, New Delhi, India, Dec. 1985: Proceedings
Author: edited by S.N. Maheshwari
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Software engineering,Congresses ، Computer software,، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
206
140. Foundations of software technology and theoretical computer science: fourth conference, Banglore, India, Dec. 13-15, 1984, proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming )Electronic computers(-- Congresses,، Computers-- Congresses
Classification :
QA
76
.
6
.
F686
1984
