221. 28, 2010. Proceedings-Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20
پدیدآورنده : / Colin Stirling (auth.), Luke Ong (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
222. 22, 2010. Proceedings-Intelligent Virtual Agents: 10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20
پدیدآورنده : / Gazit (auth.), Jan Allbeck, Norman Badler, Timothy Bickmore, Catherine Pelachaud, Alla Safonova (eds.)-Jan M. Allbeck, Hadas Kress
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
223. 18, 2010, Proceedings, Part I-Intelligent Tutoring Systems: 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14
پدیدآورنده : / Kit Looi (auth.), Vincent Aleven, Judy Kay, Jack Mostow (eds.)-Chee
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
224. 18, 2010, Proceedings, Part II-Intelligent Tutoring Systems: 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14
پدیدآورنده : / Mello, Natalie Person (auth.), Vincent Aleven, Judy Kay, Jack Mostow (eds.)بBlair Lehman, Sidney D
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
225. Proceedings Second International symposium on Uncertainty Modeling and Analysis, April 25- 28, 1993, University of Maryland, College Park, Maryland
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Fuzzy sets- Congresses,، Fuzzy systems- Congresses,، Expert systems )Computer science(- Congresses
226. Proceedings: Software Technology and Engineering Practice, STEP'99, August 30-September 2, 1999, Pittsburgh, PA, USA
پدیدآورنده : International Workshop on Software Technology and Engineering Practice )9th :9991 :Pittsburgh, PA.(, sponsored by IWCASE-International Workshop on CASE ... ]et al.[ ; edited by Scott Tilley, June Verner
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer software- Congresses,، Software engineering- Congresses,، Computer-aided software engineering- Congresses
رده :
QA
76
.
758
.
I75
1999
227. Proceedings: Software Technology and Engineering Practice, STEP'99, August 30-September 2, 1999, Pittsburgh, PA, USA
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Computer software,Congresses ، Software engineering,Congresses ، Computer-aided software engineering
رده :
QA
76
.
758
.
I75
1999
228. Proceedings : Software Technology and Engineering Practice, STEP'99, August 30-September 2, 1999, Pittsburgh, PA, USA
پدیدآورنده : sponsored by IWCASE-International Workshop on CASE ... ]et al.[ ; edited by Scott Tilley, June Verner
کتابخانه: (طهران)
موضوع : ، Computer software,، Software engineering,، Computer-aided software engineering
رده :
QA
76
.
758
.
I75
1999
229. 24, 2011. Proceedings-Trust and Trustworthy Computing: 4th International Conference, TRUST 2011, Pittsburgh, PA, USA, June 22
پدیدآورنده : / Reza Sadeghi, Angela Sasse, Yolanta Beres (eds.)-Cornelius Namiluko, Jun Ho Huh, Andrew Martin (auth.), Jonathan M. McCune, Boris Balacheff, Adrian Perrig, Ahmad
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
230. 24, 2012. Proceedings-Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22
پدیدآورنده : / Ahmed Bouajjani, Cezara Drgoi (auth.), Viktor Kuncak, Andrey Rybalchenko (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
231. Proceedings of a conference on reclassification held at the center of adult education university of Maryland college park April 4 to 6, 1968
پدیدآورنده : /Edited by Jean M. Perreault
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع :
232. Proceedings of the 1989 American control conference: Pittsburgh Hilton Hotel and Towers, Pittsburgh, PA, June 21-23, 1989
پدیدآورنده : Sponsoring Organization, American Automatic Control Council
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Automatic control
رده :
TJ
212
.
2
.
A49
1989
233. Proceedings of the Conference Inverse Problems and Optimal Design in Industry July 8-10, 1993 Philadelphia, Pa. USA
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Gestaltoptimierung,Inverses Problem,Strukturoptimierung
رده :
TA329
.
P763
1994
234. Putevoditel pa tainst vennim i zagodachnim mestam
پدیدآورنده :
کتابخانه: کتابخانه دانشکده مطالعات جهان دانشگاه تهران (طهران)
موضوع : Russia -- Guidebook -- 20th.
رده :
R
DK
16
P8
2005
235. Quantum communication and quantum networking : first international conference, QuantumComm 2009, Naples, Italy, October 26 - 30, 2009 : revised papers
پدیدآورنده : Alexander Sergienko, Saverio Pascazio, Paolo Villoresi, eds
کتابخانه: (طهران)
موضوع : Congresses ، Quantum communication
رده :
TK
5103
.
59
.
Q36
2009
236. Recent advances in intrusion detection : 6th international symposium, RAID 2003, Pittsburgh, PA, USA, September 8-10, 2003 : proceedings
پدیدآورنده : Giovanni Vigna, Erland Jonsson, Christopher Kruegel )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer security,Congresses ، Computers -- Access control
رده :
QA
76
.
L28
Vol
.
2820
237. Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers
پدیدآورنده : Didier Bert, Christine Choppy, Peter Mosses )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1827
238. Reduction of the military budgets of states permanent members of the Security Council by 10 per cent and utilization of part of the funds thus saved to provide assistance to developing countries : report of the Secretary-General
پدیدآورنده :
کتابخانه: كتابخانه وزارت امور خارجه (طهران)
موضوع : Armed Forces - Appropriations and expenditures,Disarmament,Economic assistance
239. Rejo1nder in Supreme Court of Pakistan to written statement of Mr. Abdul Wali Khan, president of defunct National Awami Party, in reference by Islamic Republic of Pakistan on dissolution of National Awami Party, Rawalpindi, 27th August, 1975
پدیدآورنده :
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
