441. 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
442. 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
443. Processing Symposium : Sponsored by IEEE Computer Society
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
58
.
I56
444. 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
445. 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
446. 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
447. 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
448. 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
449. 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
450. 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
451. SPAA 2004 : Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 27-30, 2004, Barcelona, Spain
پدیدآورنده : 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
2004
452. SPAA 2002, fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures : August 10-13, 2002, Winnipeg, Manitoba, Canada
پدیدآورنده : sponsored by ACM SIGACT, ACM SIGARCH, in cooperation with EATCS
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture
رده :
QA
76
.
5
.
A257
2002
453. SPAA: proceedings of the ... ACM Symposium on Parallel Algorithms and Architectures
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer algorithms,Congresses ، Computer architecture
رده :
QA
76
.
58
.
A268a
454. SPAA'07 : proceedings of the Nineteenth Annual Symposium on Parallelism in Algorithms and Architectures, San Diego, California, USA, June 9-11, 2007
پدیدآورنده : sponsored by ACM SIGACT & ACM SIGARCH; in cooperation with: EATCS and supported by: Akamai, Intel, & Sun Microsystems
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer algorithms,Congresses ، Computer architecture
رده :
QA
76
.
5
.
A257
2007
455. SPAA'08 : proceedings of the twentieth annual symposium on Parallelism in Algorithms and Architectures : Munich, Germany, June 14-16, 2008
پدیدآورنده : sponsored by ACM SIGACT & ACM SIGARCH; and supported by Akamai, Deutsche Forschungsgemeinschaft, Intel & Sun Microsystems
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer algorithms,Congresses ، Computer architecture
رده :
QA
76
.
5
.
A257
2008
456. SPAA'10 : proceedings of the twenty-seconde annual symposium on parallelism in algorithms and architectures, June 13-15, 2010, Thira, Santorini, Greece
پدیدآورنده : sponsored by ACM SIGACT & ACM SIGARCH; and supported by Sun Mircrosystems...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer algorithms,Congresses ، Computer architecture
رده :
QA
76
.
5
.
A257
2010
457. SPAA 2001 : thirteenth annual ACM Symposium on Parallel Algorithms and Architectures : July 3-6, 2001, Crete Island, Greece
پدیدآورنده : sponsored by ACM SIGACT, ACM SIGARCH in cooperation with EATCS
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture
رده :
QA
76
.
5
.
A257
2001
458. Second International Workshop on Software Engineering for Parallel and Distributed Systems: May 17-18, 1997, Boston, MA, USA
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing-- Distributed processing,Congresses ، Computer software-- Development
رده :
QA
76
.
58
.
I5768
1997
459. 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
460. 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
