41. Languages for paralle architecturres
پدیدآورنده : / edited by j. w . de bakker
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Parallel Processing (Computer Science),Programming languages ( Electronic computers) --Semantics,Computer architecture
رده :
QA
76
.
6
.
L3353
1989
42. Logic programming: : Prolog and stream parallel languages
پدیدآورنده : Newmarch, Jan
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
رده :
QA
76
.
63
.
N48
1990
43. Logic programming : Prolog and stream parallel languages
پدیدآورنده : Newmarch, Jan.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
رده :
QA
76
.
63
.
N48
1990
44. Logic programming: prolog and stream parallel languages
پدیدآورنده : Newmarch, Jan Dennis
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
رده :
QA
76
.
63
.
N48
45. Mathematical foundations of computer science 1986; Proceedings of the 12th symposium Bratislava, Czechoslovakia, August 25-29, 1986
پدیدآورنده : edited by J. Gruska
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L4
v
.
233
46. Mathematical foundations of computer science, 1978 : proceedings, 7th Symposium Zakopane, Poland, September 4-8, 1978
پدیدآورنده : edited by J. Winkowski
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel processing )Electronic computers(,Congresses ، Database management
رده :
QA
76
.
L28
Vol
.
64
47. Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24-October 1,1986: Proceedings
پدیدآورنده : Marisa Venturini Zilli )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Formal languages -- Semantics,Congresses ، Parallel programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
280
48. PARLE, parallel architectures and languages Europe :
پدیدآورنده : edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture, Congresses.,Parallel processing (Electronic computers), Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
5
.
C61926
1987
49. PARLE, parallel architectures and languages Europe : Eindhoven, The Netherlands, June 15-19, 1987 : proceedings
پدیدآورنده : edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
258
,
259
50. PARLE, parallel architectures and languages Europe, Eindhoven, The Netherlands, June 15-19, 1987 : proceedings
پدیدآورنده : edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
258-259
51. Parallel Programming with Co-Arrays
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),A Multifrontal Solver.,COMPUTERS-- Programming Languages-- General.,Execution Control.,Linear Algebra.,MATHEMATICS-- Number Systems.,OBJECT-ORIENTED DESIGN.,Parallel processing (Electronic computers),THE COARRAY PROGRAMMING MODEL.
رده :
QA76
.
642
.
N867
2019
52. Parallel computing technologies :
پدیدآورنده : Victor Malyshkin (ed.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel computers, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
53. Parallel lisp : languages and systems : US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings
پدیدآورنده : T. Ito, R.H. Halstead, Jr. )eds.(; foreword by J. McCarthy
کتابخانه: (طهران)
موضوع : Congresses ، LISP )Computer program language(,Congresses ، Parallel programming )Computer science(,، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
441
54. Programming languages for parallel processing
پدیدآورنده : Skillicorn, David B
کتابخانه: (طهران)
موضوع : Parallel programming )Computer science( , Programming languages )Electronic computers(
رده :
QA
76
.
642
.
S62
1995
55. Programming languages for parallel processing
پدیدآورنده : Skillicorn, David B.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Parallel programming )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
642
.
S62
1994
56. Programming languages for parallel processing
پدیدآورنده : Skillicorn, David B
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Parallel programming )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
642
.
S62
1994
57. Semantics of concurrent computation :
پدیدآورنده : edited by Gilles Kahn.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers) -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Traitement simultané (Ordinateurs) -- Congrès.
رده :
QA76
.
6
E358
1979
58. Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979
پدیدآورنده : International Symposium on Semantics of Concurrent Computation, )9791, Evian-les-Bains, France(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Parallel processing )Electronic computers(-- Congresses,، Programming languages )Electronic computers(-- Semantics-- Congresses
رده :
QA
76
.
6
.
I577
1979
59. Semantics of parallelism :
پدیدآورنده : Michael W. Shields
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Programming languages (Electronic computers) -- Semantics
رده :
QA76
.
58
M534
1997
60. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings
پدیدآورنده : Ecole de printemps dinformatique theorique, )0991, La Roche-Posay, France(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
58
.
E26
1990
