81. Abstract video :
پدیدآورنده: edited by Gabrielle Jennings, foreword by Kate Mondloch
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Art, Abstract
رده :
N6494
.
V53
A246
2015
83. Abstraction and aging : a social psychological analysis
پدیدآورنده: Jason S. Lee,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Abstraction - Age factors
رده :
BF
.
L44
443
1990
84. Abstraction and concept formation; an interpretative investigation into a group of psychological frames of reference
پدیدآورنده: Translated by Neil Tomkinson
کتابخانه: کتابخانه موسسه روانشناسی و علوم تربیتی دانشگاه تهران (شهید دقایقی) (تهران)
موضوع: Abstraction,Concepts
85. Abstraction and empathy; a contribution to the psychology of style
پدیدآورنده: / by W. Worringer, translated from the German by M. Bullock Empathy 1 Aesthetics 2 Art-p
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Empathy,Aesthetics,Art - Philosophy
رده :
701
.
15
Wo-A
86. Abstraction and instance: the type-token relation in linguistic theory
پدیدآورنده: Hutton, Christopher
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع: ، Type and token )Linguistics(,، Linguistic analysis )Linguistics(,، Aesthetics
رده :
P
128
.
T9H8
1990
87. Abstraction and modelling
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Software engineering. ;
88. Abstraction and reality : the sculpture of Ivor Roberts-Jones
پدیدآورنده: Black, Jonathan
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Criticism and interpretation. ، Roberts-Jones, Ivor, - 3191-6991,Exhibitions. ، Roberts-Jones, Ivor, - 3191-6991,Exhibitions ، Sculpture, British - 02th century
رده :
NB
497
.
R62
B53
89. Abstraction in Artificial Intelligence and Complex Systems
پدیدآورنده: / Daniel Zucker-Lorenza Saitta, Jean
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: MINERAL PROCESSING|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|MINING
رده :
E-BOOK
90. Abstraction in artificial intelligence and complex systems
پدیدآورنده: Lorenza Saitta, Jean-Daniel Zucker
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Abstraction,Artificial intelligence-- Philosophy
رده :
Q335
.
S25
2013
91. Abstraction in artificial intelligence and complex systems
پدیدآورنده: / Daniel Zucker (auth.)-Lorenza Saitta, Jean
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: MINERAL PROCESSING&COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING
رده :
E-BOOK
92. Abstraction, refinement and proof for probabilistic systems
پدیدآورنده: / Annabelle McIver, Carroll Morgan
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Engineering mathematics.,Probabilities.,Systems engineering.
رده :
TA
,
340
,.
M43
,
2005
93. Abstraction, refinement and proof for probabilistic systems
پدیدآورنده: / Annabelle McIver, Carroll Morgan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع:
رده :
E-BOOK
94. Abstraction, refinement and proof for probabilistic systems
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Engineering mathematics. ; Probabilities. ; Systems engineering. ;
95. Abstraction refinement for large scale model checking
پدیدآورنده: / Chao Wang, Gary D. Hachtel, Fabio Somenzi
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computer systems -- Verification -- Mathematical models,Integrated circuits -- Verification -- Mathematical models,Electronic systems -- Verification -- Mathematical model
رده :
QA
76
.
76
.
V47W36
2006
96. Abstraction refinement for large scale model checking
پدیدآورنده: Wang, Chao
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: Verification Mathematical models ، Computer systems,Verification Mathematical models ، Integrated circuits,Verification Mathematical models ، Electronic systems
رده :
QA
76
.
76
.
V47W36
2006
97. Abstraction, reformulation, and approximation
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Congresses. ; Artificial intelligence ; Congresses. ;
98. Abstraction, reformulation, and approximation
پدیدآورنده: / Ian Miguel, Wheeler Ruml (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Congresses,Artificial intelligence--Congresses
رده :
QA
,
75
.
5
,.
S27
,
2007
99. Abstraction, reformulation and approximation : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 : proceedings
پدیدآورنده: Jean-Daniel Zucker, Lorenza Saitta )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
3607
100. Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings
پدیدآورنده: Sven Koenig, Robert Holte )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
2371
