61. Aided Process Design-Proceedings of the 8th International Conference on Foundations of Computer
پدیدآورنده : / Eden, Mario R.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)|ENGINEERING, CHEMICAL|ENGINEERING, CIVIL&COMPUTER SCIENCE
رده :
E-BOOK
![](/design/images/bookmore.png)
62. Al - Risala fiusul al - Fiqh: treatise on the foundations of Islamic Jurisprudence
پدیدآورنده : / Muhammad Ibn Idris al - Shafiis,شافعی
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : فقه شافعی,*Islamic law, Shafi'i, -- قرن ۲ق., -- 8th century
رده :
BP
۱۷۱
/
۲
/
ش
۲
ر
۵۰۴۹۵۲ ۱۳۷۶
![](/design/images/bookmore.png)
63. Al-risala fi usul al-figh: treatise on the foundations of Islamic jurisprudence
پدیدآورنده : Muhammad ibn Idris al-Shafii; translated with an introduction, notes and appendices by Majid Khadduri
کتابخانه: كتابخانه وزارت امور خارجه (تهران)
موضوع : Islamic low, Shafii - Handbooks, manuals, etc,Islamic and Justice
![](/design/images/bookmore.png)
64. AlRisala Fi usus al -Fiqh: treatise on the foundations of Islamic Jurisprdence
پدیدآورنده : / Al - Imam Muhammad ibn-Idris al- shafii; translated with and introduclion, notes, and appendices by Majid Khadduri
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : فقه شافعی -- قرن ق۲
رده :
BP
۱۷۱
/
۲
/
ش
۲
ر
۵۰۴۹۵۲ ۱۳۶۶
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
65. Algebraic Foundations in Computer Science
پدیدآورنده : / Werner Kuich, George Rahonis
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
![](/design/images/bookmore.png)
66. Algebraic foundations of non-commutative differential geometry and quantum groups
پدیدآورنده : Ludwig Pittner
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Algebra
رده :
QA
154
.
P5
,
A5
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
67. Algebraic foundations of non-commutative differential geometry and quantum groups
پدیدآورنده : Ludwig Pittner
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Algebra
رده :
QA
154
.
P5
,
A5
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
68. Algebraic foundations of non - commutative differential geometry and quantum groups
پدیدآورنده : Ludwig Pittner
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Geometry, Differential,Noncommutative algebras,Quantum groups,Mathematical physics
رده :
QC
,
20
.
7
,.
G44P58
,
1995
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
69. Algebraic foundations of systems specification
پدیدآورنده : E. Astesiano, H.-J. Kreowski, B. Krieg-Bruckner )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Software engineering,، Formal methods )Computer science(,، System design
رده :
QA
76
.
758
.
A437
1999
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
70. Algebraical and topological foundations of geometry; proceedings
پدیدآورنده : Colloquium on Algebraic and Topological Foundations of Geometry )9591: Utrecht, Netherlands(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Geometry-- Foundations-- Congresses
رده :
QA
681
.
C65
1959
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
71. Algorithm design: foundations, analysis, and Internet examples
پدیدآورنده : / Michael T. Goodrich, Roberto Tamassia
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : الگوریتمهای کامپیوتری,ساختار دادهها
رده :
QA
۷۶
/
۹
/
ال
ف
۷
گ
۹ ۱۳۸۱
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
72. Algorithmic Foundations of Robotics IX
پدیدآورنده : / Claude Latombe, Ming C. Lin-David Hsu, Volkan Isler, Jean
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : CONTROL SYSTEMS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|AUTOMATION
رده :
E-BOOK
![](/design/images/bookmore.png)
73. Algorithmic Foundations of Robotics VIII: Selected Contributions of the Eighth International Workshop on the Algorithmic Foundations of Robotics (Springer Tracts in Advanced Robotics)
پدیدآورنده : / Gregory S. Chirikjian, Howie Choset, Marco Morales, Todd Murphey
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : CONTROL SYSTEMS|ENGINEERING, MANUFACTURING|ENGINEERING, MULTIDISCIPLINARY|ROBOTICS& METHODS|AUTOMATION &COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
![](/design/images/bookmore.png)
74. Algorithmic Foundations of Robotics X
پدیدآورنده : / Perez, Nicholas Roy, Daniela Rus-Emilio Frazzoli, Tomas Lozano
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : CONTROL SYSTEMS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|AUTOMATION
رده :
E-BOOK
![](/design/images/bookmore.png)
75. Algorithmic Foundations of Robotics XI
پدیدآورنده : / H. Levent Akin, Nancy M. Amato, Volkan Isler, A. Frank Stappen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : CONTROL SYSTEMS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|AUTOMATION
رده :
E-BOOK
![](/design/images/bookmore.png)
76. Algorithmic Foundations of Robotics XI: Selected Contributions of the Eleventh International Workshop on the Algorithmic Foundations of Robotics
پدیدآورنده : / H. Levent Akin, Nancy M. Amato, Volkan Isler, A. Frank van der Stappen (ed.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)|ENGINEERING, MANUFACTURING|ROBOTICS&COMPUTER SCIENCE
رده :
E-BOOK
![](/design/images/bookmore.png)
77. Algorithmic Foundations of Robotics XIV
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع :
![](/design/images/bookmore.png)
78. Algorithmic and computational robotics: new directions: the fourth Workshop on the Algorithmic Foundations of Robotics
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Robotics,Congresses ، Algorithms
رده :
TJ
210
.
3
.
W664
2000
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
79. Algorithmic foundations of robotics
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Robotics,Congresses ، Algorithms
رده :
TJ
211
.
W665
1994
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)