141. Automated reasoning with analytic tableaux and related methods :
پدیدآورنده : Didier Galmiche, Dominique Larchey-Wendling (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
145. BL
پدیدآورنده : edited by Susan E. Israel, Gerald G. Duffy.
موضوع :
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
146. BL
پدیدآورنده : presented by the Committee on Continuing Legal Education of the Virginia Law Foundation.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
149. BL
پدیدآورنده : \ Elio Christoph Brancaforte
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
150. BL,20090622
پدیدآورنده : Majestys Special Command ,\ Cynthia Lewis
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
154. BL
پدیدآورنده : réunis par Mahmoud Taleghani, Dejanirah Silva Couto et Jean-Louis Bacqué-Grammont.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
155. BL
پدیدآورنده : Seán Duffy, editor ; associate editors, Ailbhe MacShamhráin, James Moynes.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
156. BL
پدیدآورنده : edited by François Debrix and Mark J. Lacy.
موضوع :
۴ نسخه از این کتاب در ۱ کتابخانه موجود است.
158. BL,Archives and archivists : key collaborators in the digital lbirary / William E. Landis, Robin L. Chandler -- Committing to memory : a project to publish and preserve California local history digital resources / Adrian L. Turner -- Technologically enhanced archival collections : using the buddy system / Dayna Holz -- California cultures : implementing a model for virtual collections / Genie Guerard, Robin L. Chandler -- The importance of user-centered design : exploring findings and methods / Rosalie Lack -- How and why of user studies : RLG's RedLightGreen as a case study / Merrilee Proffitt -- From horse-drawn wagon to hot rod : the University of California's digital image service experience / Maureen A. Burns -- Archiving web sites for preservation and access : MODS, METS and MINERVA / Rebecca Guenther, Leslie Myrick -- Video preservation and digital reformatting : pain and possibility / Jerome McDonough, Mona Jimenez -- Digital archiving and preservation : technologies and processes for a trusted repository / Ronald Jantz, Michael Giarlo -- The complexities of digital resources : collection boundaries and management responsibilities / Joan
پدیدآورنده : Philip Mattar, editor in chief. ,William E. Landis, Robin L. Chandler, editors.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
159. BL,297p. cm. 0
پدیدآورنده : Carl F. Goodman. ,Rex Li.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
160. BL 00617ncl 22002173i
پدیدآورنده : Mīrzā Abdalaẓīm Sāmī ; izdanie teksta, predislovie, perevod i primechanii� a︡ L.M. Epifanovoǐ.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
