861. Parle '93, parallel architectures and languages Europe : 5th International PARLE Conference, Munich, Germany, June 14-17, 1993 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic computers(-- Congresses,، Computer architecture-- Congresses
رده :
QA
76
.
58
.
I564
1993
862. Parllel systems and computation: Proceedings of the 1986 IBM Europe institute seminar on parrallel computing Oberlech, Austria, August 11 - 15, 1986
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Parallel processing (Electronic computers)- Congresses
رده :
QA
،
76
.
5
،.
I273
،
1986
863. Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
پدیدآورنده : Godefroid, Patrice
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
1032
864. Patterns and skeletons for parallel and distributed computing
پدیدآورنده : Fethi A. Rabhi ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic data processing -- Distributed processing.,Hochleistungsrechnen,Parallel processing (Electronic computers)
رده :
QA76
.
58
F484
2003
865. Perceptrons :
پدیدآورنده : Marvin Minsky and Seymour Papert.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Geometry-- Data processing.,Machine learning.,Parallel processing (Electronic computers),Perceptrons.,Artificial Intelligence.,Automatic Data Processing.,Mathematics.
رده :
Q327
.
M55
1988
866. Perceptrons; an introduction to computational geometry
پدیدآورنده : Minsky, Marvin Le
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Perceptrons,، Geometry-- Data processing,، Parallel processing )Electronic computers(,، Machine learning
رده :
Q
327
.
M55
867. Performance of distributed and parallel systems : proceedings of the IFIP TC 7/WG 7.3 International Seminar on Performance of Distributed and Parallel Systems, Kyoto, Japan, 7- 9 December, 1988
پدیدآورنده : IFIP TC 7/WG 7.3 International Seminar on Performance of Distributed and Parallel Systems )8891 : Kyoto, Japan(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Electronic data processing- Distributed processing- Congresses,، Parallel processing )Electronic computers(- Congresses
868. Petascale computing
پدیدآورنده : / edited by David A. Bader
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : High performance computing.,Petaflops computers.,Parallel processing (Electronic computers)
رده :
QA76
.
88
.
P475
2008
869. Petascale computing : algorithms and applications
پدیدآورنده : edited by David A. Bader
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، High performance computing,، Petaflops computers,، Parallel processing )Electronic computers(
رده :
QA
76
.
88
.
P483
870. Petri net algebra
پدیدآورنده : Best, Eike
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Parallel processing )Electronic computers(,، Computer science - Mathematics,، Petri nets
رده :
QA
76
.
58
.
B48
2001
871. Petri net algebra
پدیدآورنده : Eike Best; Raymond Devillers; Maciej Koutny
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Mathematics.,Parallel processing (Electronic computers),Petri nets.
رده :
QA76
.
58
E354
2010
872. Petri net algebra
پدیدآورنده : Best, Eike
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer science-- Mathematics,، Petri nets
رده :
QA
76
.
58
.
B48
2001
873. Petri nets: fundamental models, verification, and applications
پدیدآورنده : edited by Michel Diaz
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Distributed processing ، Electronic data processing,، Parallel processing )Electronic computers(,، System design,، Petri nets
رده :
QA
76
.
9
.
D5
R4713
874. Petri nets: fundamental models, verification, and applications
پدیدآورنده : edited by Michel Diaz
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic data processing - Distributed processing,، Parallel processing )Electronic computers(,، System design,، Petri nets
رده :
QA
76
.
9
.
D5
R471
2009
875. Portability and performance for parallel processing
پدیدآورنده : edited by: Tiny Hey, Jeanne Ferrante
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Parallel processing )electronic computers(
رده :
QA
76
.
58
.
P67
876. Portability and performance for parallel processing
پدیدآورنده : edited by Tony Hey and Jeanne Ferrante
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Parallel processing )Electronic computers(
رده :
QA
76
.
58
.
P67
1993
877. Portability and performance for parallel processing
پدیدآورنده : edited by Tony Hey and Jeanne Ferrante
موضوع : Parallel processing (Electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
878. Portable programs for parallel processors
پدیدآورنده : / James Boyle ... [et all]
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Parallel processing (Electronic computers),Multiprocessors - Programming,Software compatibility
رده :
QA76
.
5
.
P6346
1987
879. Practical parallel processing: an introduction to problem solving in parallel
پدیدآورنده : Chalmers, Alan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Parallel processing )Electronic computers(
رده :
QA
76
.
58
.
C53
1996
880. Practical parallel processing: an introduction to problem solving in parallel
پدیدآورنده : Chalmers, Alan
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Parallel processing )Electronic computers(
رده :
QA
76
.
58
.
C52
1996
