1. ......................
پدیدآورنده : edited by Brian C. O'Neill
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
5
.
W58
1996
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
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
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. A Survey of verification techniques for parallel programs
پدیدآورنده : Barringer, Howard, 1591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
191
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. <A> code mapping scheme for dataflow software pipelining
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer architecture,Parallel processing )Electronic computers(,Computer software
![](/design/images/bookmore.png)
5. A code mapping scheme for dataflow software pipelining
پدیدآورنده : / G.R. Gao
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer architecture,Parallel processing (Electronic Computers),Software computing
رده :
QA76
.
9
.
A73G36
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. A parallel pipeline computer architecture for speech processing
پدیدآورنده : Georgiou, Vassilios John
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Speech processing systems,، Parallel processing )Electronic computers(
رده :
TK
7882
.
S65
.
G46
1984
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. A survey of verification techniques for Parallel programs
پدیدآورنده : Barringer, Howard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Parallel processing )Electronic computers(,Verification ، Computer programs
رده :
QA
76
.
5
.
B29627
1985
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. A survey of verification techniques for parallel programs
پدیدآورنده : Barringer, Howard
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic Computers(,، Computer programs - Verification
رده :
QA
76
.
5
.
B29627
1985
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Abstract machine models for parallel and distributed computing
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel computers,، Electronic data processing-- Distributed processing,، Machine theory
رده :
QA
76
.
58
.
A27
196
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
10. Abstract machine models for parallel and distributed computing
پدیدآورنده : edited by M. Kara... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Machine theory,، Parallel processing )Electronic computers(
رده :
QA
267
.
A38
1996
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
11. 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
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
12. 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
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
13. 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
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
14. Advanced Parallel Processing Technologies :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ; Congresses. ;
![](/design/images/bookmore.png)
15. Advanced computational infrastructures for parallel and distributed adaptive applications
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ; Electronic data processing ; Distributed processing. ; Adaptive computing systems. ;
![](/design/images/bookmore.png)
16. 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
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
17. Advanced computer architecture and parallel processing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer architecture. ; Parallel processing (Electronic computers) ;
![](/design/images/bookmore.png)
18. Advanced computer architecture and parallel processing
پدیدآورنده : El-Rewini, Hesham
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer architecture,، Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
A73
.
E45
2005
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
19. Advanced computer architecture and parallel processing
پدیدآورنده : / Hesham El-Rewini, Mostafa Abd-El-Barr
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer architecture,Parallel processing (Electronic computers)
رده :
QA76
.
9
.
A73E45
2005
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
20. Advanced topics in dataflow computing and multiterading
پدیدآورنده : Edited by Guang R. Gao, Lubomir Bic, Jean-Luc Gaudiot
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer architecture,، Parallel processing )Electronic computers(,، Data structures )Computer science(
رده :
QA
76
.
9
.
A73
A356
1995
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)