101. Cooperative design, visualization, and engineering :

پدیدآورنده :

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

موضوع : Architectural design-- Data processing, Congresses,Computer-aided design, Congresses,Engineering-- Data processing, Congresses

رده :
TA174
.
C38
2012

102. Creating an "information literacy across the curriculum" program from scratch / Jill Gremmels, Randall Schroeder -- Experiential learning : teach them and they will come / James Andrew Buczynski, Carmen Genuardi -- Taking the best of both worlds : success and challenges with the hybrid model of library instruction / Lucretia McCulley -- Who wants to be a millionaire? : using clickers to enhance learning in the library / Janelle L. Wertzberger -- Interdisciplinary inquiry through collaboration / Leslie Bussert, Suzan Parker, Mark Szarko -- Immersion of information literacy and technology into the core discovery courses / Nancy J. Young, Diane Prorak, Beth Hill -- PUC 101 : a collaborative effort for freshman orientation / Tammy S. Guerrero, Kristin M. Harkin -- Making the case for enhanced learning : using case studies in a credit-bearing library course / Christopher V. Hollister -- Using problem-based learning to teach information literacy skills in a freshman seminar / Emily Johnson,

پدیدآورنده :

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

103. Data driven e-Science

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Computational grids (Computer systems), Congresses,Electronic data processing, Distributed processing, Congresses,Electronic books

رده :
QA76
.
9
.
C58
,
I572
2011

104. Data warehousing and knowledge discovery :

پدیدآورنده :

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

موضوع : Data mining, Congresses,Data warehousing, Congresses

رده :
QA76
.
9
.
D37
D39
2013

105. Descartes and the rise of modern philosophy -- Background to Descartes' meditations -- Descartes' innovations in how philosophy is written -- Lead-in to the first meditation -- The first meditation -- The second meditation -- The third meditation -- The fourth meditation -- The fifth meditation -- The sixth meditation -- A a summary of Cartesian commitments -- Topical highlights from Descartes' correspondence -- Questions about descartes -- Transition to the remainder of the book -- Spinoza -- Overview of Spinozas' philosophy and life -- Ethics part I : on the nature of the universe -- Ethics part II : on the nature and origin of the mind -- Ethics part III : on the nature and origin of actions and passions -- Ethics part IV : on the burdens of human existence and the ways to overcome them -- Ehics part V : on the power of reason to liberate us to live blessedly -- Questions about Spinoza -- Locke -- An overview of Lockes' outlook in the essay -- Essay book I : Lockes' anti-innatist strategy -- Essay book II : perception as the basis for all thinking -- Test case one : thinking about power -- Test case two : thinking about substance -- Test case three : thinking about identity -- Essay book III : expressing thought in language -- Essay book IV : knowledge and opinion -- Questions about Locke -- Leibniz -- Background to Leibnizs' philosophy -- Overview of Leibnizs' philosophy -- How the discourse on metaphysics and the monadology are structured -- Understanding Leibnizs' metaphysics by way of his defense of contingency -- Understanding the debate about what things for Leibniz are substances -- Understanding the debate about Leibnizs' essentialism -- Understanding what it means for the world to be the best possible -- Understanding debates about relations among key Leibnizian theses -- Space and time as relations among phenomena -- Key elements of Leibnizs' epistemology -- Questions about Leibniz -- Berkeley -- Overview of approach to the principles -- Structure of the principles -- Fuller analysis of four key arguments -- Structure of the three dialogues -- A mini-glossary to aid interpretation -- Questions about Berkeley -- Hume -- Main alternatives for interpreting Hume -- An outline of the first enquiry -- Enquiry sections I-III : basic principles and materials of the understanding -- Enquiry sections IV-VII : the basis for all factual thinking -- Enquiry section VIII : implications for freedom and morality -- Enquiry section X : implications for religion based on miracles -- Treatise : overview and key elements of book I, on the understanding -- Treatise : key elements of book II, on the passions -- Treatise : key elements of book III, on morality -- Dialogues : overview and stage-setting part I -- Dialogues parts II-VIII : design argument for natural religion -- Dialogues part IX : cosmological, a priori proof of theism -- Dialogues parts X-XI : evil as challenge to theism -- Dialogues part XII : guides to deciding Humes' overall message -- Questions about Hume -- Kant -- The central,978041

پدیدآورنده :

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

106. Digital libraries : research and technology advances, ADL'95 forum, McLean, Virginia, USA, May 15-17, 1995 : selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Data processing -- Congresses ، Libraries,Congresses ، Online information services,Congresses ، Digital libraries,Congresses ، Library information networks

رده :
QA
76
.
L28
Vol
.
1082

107. Digitised Optical Sky Surveys :

پدیدآورنده :

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

موضوع : Astrometry -- Data processing -- Congresses.,Astrometry -- Data processing.,Astronomical photometry -- Data processing -- Congresses.

رده :
QB807
.
E358
1992

108. Distributed and parallel computing :

پدیدآورنده :

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

موضوع : Algorithmes -- Congrès.,Multiprocesseurs -- Programmation -- Congrès.,Parallel processing (Electronic computers) -- Congresses.

109. Economics of converged, internet-based networks :

پدیدآورنده :

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

موضوع : Computer networks-- Quality control, Congresses.,Computer networks, Congresses.,Electronic commerce, Congresses.,Internet, Congresses.

رده :
TK5105
.
875
.
I57
I58
2011

110. Electronic visualisation in arts and culture /

پدیدآورنده :

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

موضوع : Art and technology, Congresses,Arts-- Data processing, Congresses,Image processing, Congresses,Technology and the arts, Congresses,Visualization, Congresses

رده :
N72
.
T4

111. Elektronische datenvenarbeitung in bibliotheken=Electronic data processing in libraries 2. univeranderte aufl.

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

موضوع : Library science - Data processing - Congresses

رده :
Z
678
.
9
.
E4
1975

112. Energy efficiency in large scale distributed systems :

پدیدآورنده :

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

موضوع : Cloud computing, Congresses,Computer systems-- Energy consumption, Congresses,Data processing service centers-- Energy conservation, Congresses,High performance computing, Congresses

رده :
TJ163
.
5
.
D38

113. Euro-Par 2015

پدیدآورنده :

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

موضوع : Parallel processing (Electronic computers) -- Congresses,Parallel programming (Computer science) -- Congresses,Electronic data processing -- Distributed processing -- Congresses,پردازش موازی -- کنگره ها,برنامه‌نویسی موازی -- کنگره ها,داده‌پردازی -- پردازش توزبع شده -- کنگره ها

رده :
QA
76
.
58
.
I58
E92
2015
E-Book
,

114. Evolutionary computation in combinatorial optimization :

پدیدآورنده :

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

موضوع : Combinatorial optimization-- Data processing, Congresses.,Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.

رده :
QA76
.
618

115. Expert systems for scientific computing

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Mathematics, Data processing, Congresses,Numerical analysis, Data processing, Congresses,Expert systems (Computer science), Congresses,Software, Congresses

رده :
QA76
.
95
.
I48
1992

116. Exploring services science

پدیدآورنده :

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

موضوع : Business-- Data processing, Congresses,Computer science, Congresses,Management-- Data processing, Congresses

رده :
QA75
.
5
.
I58
2013

117. For attribution-- :

پدیدآورنده :

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

موضوع : Citation of electronic information resources, Congresses,Research-- Data processing, Congresses

118. Formal techniques for distributed systems

پدیدآورنده :

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

موضوع : Electronic data processing-- Distributed processing, Congresses,Formal methods (Computer science), Congresses

رده :
QA76
.
9
.
D5

119. Formation of contract :

پدیدآورنده :

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

120. Forms/Format 2010 :

پدیدآورنده :

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

موضوع : Formal methods (Computer science), Congresses.,System safety, Congresses.,Transportation-- Safety measures-- Data processing, Congresses.

رده :
TA1005
.
F67
2011