161. Art treasures in Germany: monuments, masterpieces, commissions, and collections
پدیدآورنده: Introd. by Stephan Waetzoldt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Art, German,Germany ، Art patronage
رده :
N
6861
.
A85
162. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
پدیدآورنده: International Conference AISMC-1, )2991: Karlsruhe, Germany(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
334
.
I5488
1992
163. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
پدیدآورنده: Jacques Calmet, John A. Campbell )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
737
164. Artificial neural networks-ICANN 96 : 1996 International Conference, Bochum, Germany, July 16-19, 1996 : Proceedings
پدیدآورنده: C. von der Malsburg ... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Neural networks )Computer science(
رده :
QA
76
.
L28
Vol
.
1112
165. Artificial neural networks in pattern recognition: second ANNPR workshop, ANNPR 2006, Ulm, Germany, August 31-September 2, 2006; proceedings
پدیدآورنده: ]edited by[ Friedhelm Schwenker, Simone Marinai
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Congresses ، Pattern recognition systems,Congresses ، Neural networks )Computer science(,Congresses ، Artificial intelligence
رده :
TK
7882
.
P3A56
166. Artistic and cultural landscapes in the Federal Republic of Germany.
پدیدآورنده:
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع:
167. Assessing Technology: international trends in curriculum and assessment : UK, Germany, USA, Taiwan, Australia.
پدیدآورنده: Kimbell, Richard, Richard Kimbell
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Technology - Study and teaching
رده :
T
65
/K492
168. Assessing technology: International trends in curriculum and assessment: UK.Germany, USA.Talwan Australia
پدیدآورنده: / Richard Kimbell
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Technology-- Study and teaching
رده :
607
.
41
K49a
169. Assisted Interventions: Second International Conference, IPCAI 2011, Berlin, Germany, June 22, 2011. Proceedings-Information Processing in Computer
پدیدآورنده: / Zhong Yang (eds.)-ssling, Jana Dornheim, Lars Dornheim, Andreas Boehm, Bernhard Preim (auth.), Russell H. Taylor, GuangنIvo R
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
170. Astronomy, cosmology and fundamental physics :proceedings of the ESO/CERN/ESA Symposium held in Garching, Germany, 4-7 March 2002
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Astronomy--Congresses,، Cosmology--Congresses,، Nuclear physics--Congresses,، Particle )Nuclear physics(--Congresses
رده :
QB
1
.
E74
2002
171. Astronomy, cosmology, and fundamental physics: proceedings of the ESO/CERN/ESA Symposium, held in Garching, Germany, 4-7 March 2002
پدیدآورنده: P.A. Shaver, L. DiLella, A. Gimenez )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Astronomy,Congresses ، Cosmology,Congresses ، Nuclear physics,Congresses ، Particles )Nuclear physics(
رده :
QB
1
.
E74
2002
172. Atlas of Nazi Germany: a political, economic, and social anatomy of the Third Reich
پدیدآورنده: / Michael Freeman
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: ج‍غ‍راف‍ی‍ای ت‍اری‍خ‍ی -- آل‍م‍ان,ج‍غ‍راف‍ی‍ای ت‍اری‍خ‍ی -- آل‍م‍ان -- ن‍ق‍ش‍ه‌ه‍ا,آل‍م‍ان -- ت‍اری‍خ --۱۹۴۵-۱۹۳۳ م
رده :
DD
۲۵۶
/
۵
/
ف
۴
ال
ف
۶
D
173. Atoms in Germany : a report on the state and development of nuclear research and nuclear technology in the Federal Republic of Germany
پدیدآورنده: Gerwin, Robert
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Nuclear energy -- Research -- Germany,، Nuclear engineering
رده :
QC
788
.
G4
174. Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers
پدیدآورنده: Oliver Boldt, Helmut Jnrgensen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
2214
175. Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers
پدیدآورنده: Oliver Boldt, Helmut Jurgensen )eds.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Machine theory
رده :
QA
267
.
I5787
1999
176. Automata, languages and programming: 23rd International Colloquium, ICALP'96, Paderborn, Germany, July 8-12, 1996 : proceedings
پدیدآورنده: F. Meyer auf der Heide, B. Monien )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
1099
177. Automata, languages, and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : Proceedings
پدیدآورنده: Thomas Ottmann, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Cogresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
267
178. Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings
پدیدآورنده: Claude Kirchner, Helene Kirchner, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1421
179. Automated deduction, Cade-15: 15th International Conference on Automated Deduction,Lindau, Germany, July 5-10, 1998: proceedings
پدیدآورنده: Claude Kirchner, Helene Kirchner, ]editors[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
I57
1998
180. 2005, Koblenz, Germany, September 14-17, 2005 : proceedings
پدیدآورنده: Bernhard Beckert )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
3702
