601. Systems of reductions
پدیدآورنده : Benninghofen, Benjamin, 8591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Rewriting systems )Computer science(,Data processing ، Algebra, Universal,، Algorithms
رده :
QA
76
.
L28
Vol
.
277
602. Systems of reductions
پدیدآورنده : Benninghofen, Benjamin
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Rewriting systems )Computer science(,Data processing ، Algebra, Universal,، Computer algorithms
رده :
QA
267
.
B46
1987
603. TREAT :
پدیدآورنده : Daniel P. Miranker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms.,Artificial intelligence.,Expert systems (Computer science),Parallel processing (Electronic computers)
604. Term rewriting and applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings
پدیدآورنده : Frank Pfenning )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
4098
605. Term rewriting and applications: 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
267
.
I555
2006
606. The Desin and analysis of parallel algorithms
پدیدآورنده : Akl, Selim G.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Parallel programming )Computer science(,، Algorithms
رده :
QA
76
.
6
.
A38
1989
607. The Lanczos method :
پدیدآورنده : Louis Komzsik
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms,Computer science-- Mathematics,Eigenvalues,Numerical analysis
رده :
QA76
.
9
.
M35
K66
2003
608. The Lanczos method: evolution and application
پدیدآورنده : Komzsik, Louis
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Mathematics ، Computer science,، Numerical analysis,، Computer algorithms,، Eigenvalues
رده :
QA
76
.
9
.
M35
K66
609. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
610. The Mathematica GuideBook for Programming
پدیدآورنده : by Michael Trott.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms.,Computer science.
611. The concrete tetrahedron
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Numerical analysis ; Data processing. ; Computer science ; Mathematics. ; Mathematics. ; Algorithms. ;
612. The concrete tetrahedron : symbolic sums, recurrence equations, generating functions, asymptotic estimates
پدیدآورنده : Kauers, Manuel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing ، Numerical analysis,Mathematics ، Computer science,، Mathematics,، Algorithms
رده :
QA
154
.
3
.
K38C6
613. The design & analysis of parallel algorithms
پدیدآورنده : AKL,SELIM G
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : PARALLEL PROGRAMMING )COMPUTER SCIENCE( , ALGORITHMS
رده :
QA
76
.
6
.
A38
614. The design and analysis of parallel algorithms
پدیدآورنده : Akl, Selim G
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Parallel algorithms,، Parallel programming )Computer science(
رده :
QA
76
.
6
.
A38
1989
615. The design and analysis of parallel algorithms
پدیدآورنده : / Selim G. Aki
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Parallel programming (Computer science),Algorithms
رده :
QA76
.
6
.
A38
1989
616. The design and analysis of parallel algorithms
پدیدآورنده : Selim G. Akl,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Parallel programming )Computer science(,Computer algorithms
رده :
QA
.
A38
76
.
6
1989
617. The design and analysis of parallel algorithms
پدیدآورنده : Selim G. Akl
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع : Parallel programming (Computer science),Computer algorithms
رده :
QA
76
.
6
.
A38
618. The design and analysis of parallel algorithms
پدیدآورنده :
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع : Parallel programming (Computer science),Algorithms
رده :
QA
76
.
6
.
A38
1989
619. The design and analysis of parallel algorithms
پدیدآورنده : Akl Selim G.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Parallel programming (computer science),Algorithms
رده :
QA
,
76
.
6
,.
A38
,
1989
620. The design and analysis of parallel algorithms
پدیدآورنده : Smith, Justin R
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Parallel programming )Computer science(,، Computer algorithms
رده :
QA
76
.
58
.
S62
1993