1. Abstract data types and Modula-2 : a worked example of design using data abstraction
پدیدآورنده : Mitchell, Richard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Modula 2 )Computer program language(,، Abstract data types )Computer science(
رده :
QA
76
.
73
.
M63
M58
1992
3. Abstraction and aging : a social psychological analysis
پدیدآورنده : Jason S. Lee,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Abstraction - Age factors
رده :
BF
.
L44
443
1990
4. Abstraction and concept formation; an interpretative investigation into a group of psychological frames of reference
پدیدآورنده : Translated by Neil Tomkinson
کتابخانه: کتابخانه موسسه روانشناسی و علوم تربیتی دانشگاه تهران (شهید دقایقی) (تهران)
موضوع : Abstraction,Concepts
5. 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
6. Abstraction and instance: the type-token relation in linguistic theory
پدیدآورنده : Hutton, Christopher
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع : ، Type and token )Linguistics(,، Linguistic analysis )Linguistics(,، Aesthetics
رده :
P
128
.
T9H8
1990
7. Abstraction and modelling
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering. ;
8. 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
9. 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
10. Abstraction in artificial intelligence and complex systems
پدیدآورنده : Lorenza Saitta, Jean-Daniel Zucker
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Abstraction,Artificial intelligence-- Philosophy
رده :
Q335
.
S25
2013
11. Abstraction in artificial intelligence and complex systems
پدیدآورنده : / Daniel Zucker (auth.)-Lorenza Saitta, Jean
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING&COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING
رده :
E-BOOK
12. Abstraction, refinement and proof for probabilistic systems
پدیدآورنده : / Annabelle McIver, Carroll Morgan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع :
رده :
E-BOOK
13. Abstraction, refinement and proof for probabilistic systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Engineering mathematics. ; Probabilities. ; Systems engineering. ;
14. 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
15. Abstraction, reformulation, and approximation
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Congresses. ; Artificial intelligence ; Congresses. ;
16. 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
17. 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
18. Abstraction, reformulation, and approximation : 4th international symposium, SARA 2000, Lake LBJ, Texas, USA, July 26-29, 2000 : proceedings
پدیدآورنده : Berthe Y. Choueiry, Toby Walsh )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1864
19. Abstraction & specification with modula-2
پدیدآورنده : Willis, Claire
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Modula-2 )computer program language(
رده :
QA
76
.
73
.
M6
W5
20. Algorithms, abstraction, and implementation : levels of detail in cognitive science
پدیدآورنده : Foster, Carol L.
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Cognition,، Cognitive science,، Algorithms
رده :
BF
311
.
F657
1992
