181. Astrophysical jets : proceedings of an international workshop held in Torino, Italy, October 7-9, 1982
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Astrophysical jets-- Congresses,، Radio sources )Astronomy(-- Congresses
رده :
QB
466
.
J46
.
A78
1983
182. Astrophysics at ultra-high energies : International School of Cosmic Ray Astrophysics, 15th course, Erice, Italy, 20-27 June 2006
پدیدآورنده : edited by Maurice M. Shapiro, Todor Stanev, John P. Wefel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Cosmic rays,Congresses ، Nuclear astrophysics,Congresses ، Gamma rays
رده :
QC
484
.
8
.
I583
2006
183. Astrophysics at ultra-high energies: International School of Cosmic Ray Astrophysics, 15th course, Erice, Italy, 20-27 June 2006
پدیدآورنده : edited by Maurice M. Shapiro, Todor Stanev, John P. Wefel
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : Congresses ، Cosmic rays,Congresses ، Nuclear astrophysics,Congresses ، Gamma rays
رده :
QC
484
.
8
.
I63
2006
184. At the frontiers of hadronic physics: 8th Winter Course on Hadronic Physics, Folgaria )Trento(, Italy, 31 Jan-6 Feb, 1993
پدیدآورنده :
موضوع : Congresses ، Hadrons
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
185. Automata, Languages and programming, 16th international colloquium, Stressa, Italy, July 1989 proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
A9228
1989
186. Automata, languages and programming : Fifth Colloquium, Udine, Italy, July 17-21, 1978
پدیدآورنده : edited by G. Ausiello and C. Bohm
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
62
187. Automata, languages, and programming : 24th International Colloquium, ICALP 97 Bologna, Italy, July 7-11, 1997 : proceedings
پدیدآورنده : Pierpaolo Degano, Roberto Gorrier, Alberto Marchetti-Spaccamela )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Machine theory - Congresses , Formal languages - Congresses , Programming )Electronic computers( - Congresses
رده :
QA
267
.
I57
1997
188. Automata, languages and programming : 24th International Colloquium, ICALP'97 Bologna, Italy, July 7-11, 1997 : proceedings
پدیدآورنده : Pierpaolo Degano...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
1256
189. Automata, languages, and programming : 16th International Colloquium, Stresa, Italy, July 11-15, 1989 : Proceedings
پدیدآورنده : G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
372
190. Automated deduction--CADE-16 : 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
پدیدآورنده : Harald Ganzinger )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1632
191. Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings
پدیدآورنده : Rajeev Gore, Alexander Leitsch, Tobias Nipkow )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
2083
192. Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings
پدیدآورنده : Marta Cialdea Mayer, Fiora Pirri )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2796
193. Automatic control in aerospace 2001: a proceedings volume from the 15th IFAC Symposium, Bolonga/Forli, Italy, 2-7 September 2001
پدیدآورنده : edited G. Bertoni
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Control systems Congresses ، Space vehicles,Automatic control Congresses ، Space vehicles,Control systems Congresses ، Airplanes,Automatic control Congresses ، Airplanes
رده :
TL
678
.
I33
2001
194. Avicenna in Renaissance Italy
پدیدآورنده : / Nancy G. Siraisi
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : Medicine - Study and teaching - Italy - History,Ibn sina, Husayn Ibn Abd Allah,980-1037 - Qanun fi al-tibb,Medicine - Italy - History,Renaissance - Italy,پزشکی - بررسی و شناخت - ایتالیا- تاریخ
رده :
R791
.
A6S5
195. Avicenna in Renaissance Italy: The Canon and medical teaching in Italian universities after 1500
پدیدآورنده : Siraisi, Nancy G.
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع : Study and teaching--Italy--History ، Medicine,، Ibn Sian, Hosain ibn Abdallah, 089-7301.Qanun fi al-tibb,Italy--51th-81th centuries ، Medicine
رده :
R791
.
S5
1987
196. Away from Mass Protest in Italy: Moderating the Protest Culture through the European Union and Autonomy Seeking Movements
پدیدآورنده : Duerr, Glen M.E.,Duerr, Glen M.E.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
197. BIS. best interiors selection : new villas 2 in italy & canton ticion
پدیدآورنده : San Pietro, Silvio
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Architecture, Domestic -- Italy,، Interior architecture -- Italy,، Interior decoration -- Italy
رده :
NA
7355
.
C371714
2005
198. BL Lac objects : Proceedings of a Workshop held in Como, Italy, September 20-23, 1988
پدیدآورنده : L. Maraschi, T. Maccacaro, M.-H. Ulrich )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، BL lacertae objects
رده :
QC
3
.
L28
Vol
.
334
199. BL Lac objects : proceedings of a workshop held in Como, Italy, September 20-23, 1988
پدیدآورنده : L. Maraschi, T. Maccacaro, M.-H. Ulrich )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، BL Lacertae objects
رده :
QC
1
.
L4
v
.
334
200. Back roads Northern and Central Italy
پدیدآورنده : contributors, Gillian Arthur [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automobile travel -- Italy, Central -- Guidebooks.,Automobile travel -- Italy, Northern -- Guidebooks.,Italy, Northern -- Guidebooks.
