301. Formal methods in databases and software engineering :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Database management -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.

رده :
QA76
.
9
.
D3
V735
1993

302. HE9797.4.S4

پدیدآورنده :

کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)

303. HM51

پدیدآورنده :

کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)

304. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization

پدیدآورنده :

کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)

305. Human factors in computing systems: CHI ... Conference proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Congresses ، Human-computer interaction,Congresses ، User interfaces )Computer systems(

رده :
QA
76
.
9
.
H85
.
C44a

306. ICCI '93, Fifth International Conference on Computing and Information, May 27-29, 1993, Sudbury, Ontario, Canada: : proceedings

پدیدآورنده :

کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)

موضوع : ، Computer science- Congresses,، Information technology- Congresses

307. IDEAS'99 International Database Engineering and Applications Symposium: proceedings, August 2-4, 1999, Montreal, Canada

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Database management,Congresses ، Application software

رده :
QA
76
.
9
.
D3
I5595
1999

308. IDEAS'97, Proceedings of the 1997 International Database Engineering & Applications Symposium, Montreal, Canada, August 25-27, 1997

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Database management,Congresses ، Application software

رده :
QA
76
.
9
.
D3
I5595
1997

309. ISSS: 14th International Symposium on System Synthesis: Montreal, Canada, September 30, 2001

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Congresses ، System design,Congresses ، Systems software,Congresses ، Computer-aided software engineering

رده :
QA
76
.
9
.
S88
.
I582
2001

310. Includes

پدیدآورنده :

کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)

موضوع : N7283

311. 20090601 ,Includes bibliographical references and index. 0

پدیدآورنده :

کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)

312. Includes bibliographical references (p. 49-51). 0,B

پدیدآورنده :

کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)

313. Includes bibliographical references (p. 375) and index. 0

پدیدآورنده :

کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)

314. Includes bibliographical references (p. 345-380) and index. 0

پدیدآورنده :

کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)

315. Includes bibliographical references (p. 225-231) and index. 0

پدیدآورنده :

کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)

316. Includes index. 0

پدیدآورنده :

کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)

317. Incompleteness and uncertainty in information systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Database management-- Congresses,Software engineering-- Congresses

رده :
QA76
.
9
.
D3
S63
1993

318. Information technologies and global politics :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Information society-- Political aspects.,Information technology-- Political aspects.,International relations.,Power (Social sciences),State, The.,État.,Pouvoir (Sciences sociales),Relations internationales.,Société informatisée-- Aspect politique.,Technologie de l'information-- Aspect politique.,Informatietechnologie.,Information society-- Political aspects.,Information technology-- Political aspects.,International relations.,Internationale betrekkingen.,Internationalisatie.,POLITICAL SCIENCE-- Globalization.,Power (Social sciences),State, The.

رده :
JC330
.
I54
2002eb

319. Inside the Oval, again -- The corrupting walls of the West Wing -- Pay any price, bear any burden -- Engaging the enemy -- Are we ready for another dark day? -- At the helm of the economy -

پدیدآورنده :

کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)

320. International drug control system -- Legalization of internationally controlled drugs -- Drugs and the importance of demand reduction -- Evaluation of the effectiveness of the international drug control treaties -- Money-laundering -- Drug abuse and criminal justice -- Preventing drug abuse in an environment of illicit drug promotion -- International control of drugs : past, present, and future -- Freedom from pain and suffering -- Overconsumption of internationally controlled drugs -- Globalization and new technologies : challenges to drug law enforcement in the 21st century

پدیدآورنده :

کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)