461. Proceedings of the ... Workshop on Parallel and Distributed Simulation
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Computer simulation,Congresses ، Electronic data processing-- Distributed processing,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
C65
.
W68a
462. Proceedings of the joint workshop on parallel and distributed real-time systems: Fifth International Workshop on Parallel and Distribut ed Real-Time Systems and the Third Workshop on Object-Oriented Real -Time Systems )OORTS(, April 1-3, 1997, Geneva, Switzerland
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Real-time data processing,Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing-- Distributed processing
رده :
QA
76
.
54
.
W67
1997
463. Proceedings of the third IEEE Symposium on Parallel and Distributed Processing : December 2- 5, 1991, Dallas, Texas
پدیدآورنده: IEEE Symposium on Parallel and Distributed processing : 3rd : 1991 Dallas, Tex.(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Parallel processing )Electronic Computers(- Congresses,، Electronic data Processing- Distributed processing and Electronics Engineers
رده :
QA
76
.
58
.
I42
1991
464. Proceedings, 23rd Euromicro Conference: new frontiers of information technology: short contributions: Budapest, Hungary, September 1-4, 1997
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Software engineering,Congresses ، Computer architecture,Congresses ، Multimedia systems,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
758
.
S98
1997
465. Proceedings : supercomputing 93, Portland, Oregon, November 15-19
پدیدآورنده: sponsored by IEEE Computer Society Technical Committees on Supercomputing Applications and Computer Architecture ACM SIGARCH
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Supercomputers - Congresses , Parallel processing )Electronic computers( - Congresses
رده :
QA
76
.
88
.
S856
1993
466. Proceedings :7 th International Symposium on Parallel Architectures, Algorithms and Networks : I-SPAN 2004, May 10-12, 2004, Hong Kong, SAR, China
پدیدآورنده: edited by, D. Frank Hsu... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture
رده :
QA
76
.
58
.
I57
2004
467. Process algebra and probabilistic methods :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Machine theory ; Congresses ; Parallel processing (Electronic computers) ; Congresses ;
468. Process algebra and probabilistic methods
پدیدآورنده: / Holger Hermanns, Roberto Segala, eds
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory--Congresses,Parallel processing (Electronic computers)--Congresses
رده :
QA
,
267
,.
P362
,
2002
469. Process algebra and probabilistic methods: performance modeling and verification: joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
267
.
P36
2001
470. Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
پدیدآورنده: Luca de Alfaro, Stephen Gilmore )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2165
471. Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
پدیدآورنده: Holger Hermanns, Roberto Segala, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2399
472. Processing Symposium : Sponsored by IEEE Computer Society
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
58
.
I56
473. Programming Environments for Parallel computing : Proceedings of the IFIP WG 10.3 workshop on programming Environments for parallel computing Edinburgh , Scotland 1992 , 6 _ 8 April ,1992
پدیدآورنده: Edited by Nigel Topham , Roland Ibbett , Thmas Bemmerl
کتابخانه: کتابخانه دانشکده تحصیلات تکمیلی محیط زیست دانشگاه تهران (تهران)
موضوع: Parallel programming ( computer science ) _ congresses,Parallel Processing ( Electronic computers ) _ Congresses
رده :
QA
76
.
642
.
I35
1992
474. Programming environments for massively parallel distributed systems : working conference of the IFIP WG10.3, April 25-29, 1994
پدیدآورنده: edited by K.M. Decker, R.M. Rehmann
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
58
.
P763
475. Recent advances in the message passing interface
پدیدآورنده: Jesper Larsson Träff, Siegfriend Benkner, Jack Dongarra (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Parallel processing (Electronic computers), Congresses,Parallel programming (Computer science), Congresses
رده :
QA76
.
642
.
E97
2012eb
476. SPAA `91
پدیدآورنده: / 3rd Annual ACM Symposium on Parallel Alogrithms and Architectures, July 21 - 24, 1991, Hilton Head, South Carolina
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Parallel Processing (Electronic computers) -- Congresses,Computer algorithms --Congresses,Computer architecture -- Congresses
رده :
QA
76
.
58
.
A26
1991
477. SPAA 2006 : Eighteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, July 30-August 2, 2006, Cambridge, Massachusetts, USA
پدیدآورنده: sponsored by ACM SIGACT, ACM SIGARCH, with support from Sun Microsystems, Akamai, Google, & Intel Corporation
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer algorithms,Congresses ، Computer architecture
رده :
QA
76
.
5
.
A257
2006
478. SPAA 2003 : Fifteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 7-9, 2003, San Diego, California, USA
پدیدآورنده: sponsored by ACM SIGACT ]and[ ACM SIGARCH in cooperation with EATCS )European Association for Theoretical Computer Science(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture,Congresses ، Computer algorithms
رده :
QA
76
.
5
.
A257
2003
479. SPAA'11 : Proceedings of the Twenty-Third Annual Symposium on Parallelism in Algorithms and Architectures, June 4-6, 2011, San Jose, California, USA
پدیدآورنده: sponsored by : ACM SIGACT & ACM SIGARCH and supported by : IBM & Akamai
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer algorithms,Congresses ، Computer architecture
رده :
QA
76
.
5
.
A257
2011
480. SPAA 2005 : Seventeenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, July 18-20, 2005, Las Vegas, Nevada, USA
پدیدآورنده: sponsored by ACM SIGACT, ACM SIGARCH and organized in cooperation with the European Association for Theoretical Computer Science & Intel Corporation
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer algorithms,Congresses ، Computer architecture
رده :
QA
76
.
5
.
A257
2005
