1. ......................
پدیدآورنده: edited by Brian C. O'Neill
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
5
.
W58
1996
2. A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993: proceedings
پدیدآورنده: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
803
3. A Survey of verification techniques for parallel programs
پدیدآورنده: Howard Barringer
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Parallel processing )Electronic computers(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
191
4. A code mapping scheme for dataflow software pipelining
پدیدآورنده: / G.R. Gao
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computer architecture,Parallel processing (Electronic Computers),Software computing
رده :
QA76
.
9
.
A73G36
1991
5. A parallel pipeline computer architecture for speech processing
پدیدآورنده: Georgiou, Vassilios John
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Speech processing systems,، Parallel processing )Electronic computers(
رده :
TK
7882
.
S65
.
G46
1984
6. A practical guide to XEN high availability :
پدیدآورنده: Sander van Vugt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer organization.,Parallel processing (Electronic computers),Virtual computer systems.
7. A survey of verification techniques for Parallel programs
پدیدآورنده: Barringer, Howard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Parallel processing )Electronic computers(,Verification ، Computer programs
رده :
QA
76
.
5
.
B29627
1985
8. A survey of verification techniques for parallel programs
پدیدآورنده: Barringer, Howard
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Parallel processing )Electronic Computers(,، Computer programs - Verification
رده :
QA
76
.
5
.
B29627
1985
9. A survey of verification techniques for parallel programs
پدیدآورنده: Howard Barringer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Parallel processing (Electronic computers),Parallel programs (Computer programs) -- Verification.,Parallélisme (Informatique)
رده :
QA76
.
5
H693
1985
10. ACM symosium on parallelism in algorithms and architectures )21th: 8002:munich, Germany(
پدیدآورنده: proceedings of the twentieth annual symosium on parallelism in algorithms and architectures; sponsored by: ACM sigact and ACM sigarch; in cooperation with eatcs and supported by: Akamai, Deutsche forschungs gemeinschaft, intel, and sun microsystems
کتابخانه: کتابخانه دانشگاه سیستان و بلوچستان (سیستان و بلوچستان)
موضوع: congresses,congresses,congresses,Parallel processing )Electronic computers(,computer algorithms,Computer architecture
رده :
QA
76
.
58
.
A36S6
2008
11. Abstract machine models for parallel and distributed computing
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Parallel computers,، Electronic data processing-- Distributed processing,، Machine theory
رده :
QA
76
.
58
.
A27
196
12. Abstract machine models for parallel and distributed computing
پدیدآورنده: edited by M. Kara... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Machine theory,، Parallel processing )Electronic computers(
رده :
QA
267
.
A38
1996
13. Actors : a model of concurrent computation in distributed systems
پدیدآورنده: Agha, Gul A.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic data processing - Distributed processing , Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
D5
A37
1986
14. Adaptive processing of sequences and data structures : International Summer School on Neural Networks, "E.R. Caianiello", Vietri sul Mare, Salerno, Italy, September 6-13, 1997 : tutorial lectures
پدیدآورنده: C. Lee Giles, Marco Gori )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Neural networks )Computer science(,، Data structures )Computer science(,، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1387
15. Advanced Parallel Processing Technologies
پدیدآورنده: \ Yunji Chen, Paolo Ienne, Qing Ji (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Parallel processing (Electronic computers) -- Congresses,Computer Communication Networks.,پ‍ردازش م‍وازی (کامپیوتر) -- کنگره ها,شبکه‌های ارتباطی کامپیوتری
رده :
QA
76
.
58
.
A6A3
2015
E-Book
,
16. Advanced Parallel Processing Technologies :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Parallel processing (Electronic computers) ; Congresses. ;
17. Advanced computational infrastructures for parallel and distributed adaptive application
پدیدآورنده: / edited by Manish Parashar, Xiaolin Li
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Parallel processing (Electronic computers),Electronic data processing--Distributed processing,Adaptive computing systems.
رده :
QA
,
76
.
58
,.
A375
,
2010eb
18. Advanced computational infrastructures for parallel and distributed adaptive applications
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Parallel processing (Electronic computers) ; Electronic data processing ; Distributed processing. ; Adaptive computing systems. ;
19. Advanced computational infrastructures for parallel and distributed adaptive applications
پدیدآورنده: / edited by Manish Parashar, Xiaolin Li
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Parallel processing (Electronic computers),Electronic data processing, Distributed processing,Adaptive computing systems
رده :
QA76
.
58
.
A375
2010
20. Advanced computational infrastructures for parallel and distributed adaptive applications /
پدیدآورنده: edited by Manish Parashar, Xiaolin Li
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Adaptive computing systems,Electronic data processing-- Distributed processing,Parallel processing (Electronic computers)
رده :
QA76
.
58
.
A375
2010
