1. Abstract data types and Modula-2 : a worked example of design using data abstraction
Author: Mitchell, Richard
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Modula 2 )Computer program language(,، Abstract data types )Computer science(
Classification :
QA
76
.
73
.
M63
M58
1992
3. Abstraction and aging : a social psychological analysis
Author: Jason S. Lee,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Abstraction - Age factors
Classification :
BF
.
L44
443
1990
4. Abstraction and concept formation; an interpretative investigation into a group of psychological frames of reference
Author: Translated by Neil Tomkinson
Library: Library of Institute of Psychology and Educational Sciences of Tehran University (Tehran)
Subject: Abstraction,Concepts
5. Abstraction and empathy; a contribution to the psychology of style
Author: / by W. Worringer, translated from the German by M. Bullock Empathy 1 Aesthetics 2 Art-p
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Empathy,Aesthetics,Art - Philosophy
Classification :
701
.
15
Wo-A
6. Abstraction and instance: the type-token relation in linguistic theory
Author: Hutton, Christopher
Library: Central Library of APLL (Tehran)
Subject: ، Type and token )Linguistics(,، Linguistic analysis )Linguistics(,، Aesthetics
Classification :
P
128
.
T9H8
1990
7. Abstraction and modelling
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineering. ;
8. Abstraction and reality : the sculpture of Ivor Roberts-Jones
Author: Black, Jonathan
Library: Central Library and Documentation Center (Kerman)
Subject: Criticism and interpretation. ، Roberts-Jones, Ivor, - 3191-6991,Exhibitions. ، Roberts-Jones, Ivor, - 3191-6991,Exhibitions ، Sculpture, British - 02th century
Classification :
NB
497
.
R62
B53
9. Abstraction in Artificial Intelligence and Complex Systems
Author: / Daniel Zucker-Lorenza Saitta, Jean
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: MINERAL PROCESSING|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|MINING
Classification :
E-BOOK
10. Abstraction in artificial intelligence and complex systems
Author: Lorenza Saitta, Jean-Daniel Zucker
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Abstraction,Artificial intelligence-- Philosophy
Classification :
Q335
.
S25
2013
11. Abstraction in artificial intelligence and complex systems
Author: / Daniel Zucker (auth.)-Lorenza Saitta, Jean
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: MINERAL PROCESSING&COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING
Classification :
E-BOOK
12. Abstraction, refinement and proof for probabilistic systems
Author: / Annabelle McIver, Carroll Morgan
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject:
Classification :
E-BOOK
13. Abstraction, refinement and proof for probabilistic systems
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Engineering mathematics. ; Probabilities. ; Systems engineering. ;
14. Abstraction, refinement and proof for probabilistic systems
Author: / Annabelle McIver, Carroll Morgan
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Engineering mathematics.,Probabilities.,Systems engineering.
Classification :
TA
,
340
,.
M43
,
2005
15. Abstraction refinement for large scale model checking
Author: / Chao Wang, Gary D. Hachtel, Fabio Somenzi
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer systems -- Verification -- Mathematical models,Integrated circuits -- Verification -- Mathematical models,Electronic systems -- Verification -- Mathematical model
Classification :
QA
76
.
76
.
V47W36
2006
16. Abstraction refinement for large scale model checking
Author: Wang, Chao
Library: (Semnan)
Subject: Verification Mathematical models ، Computer systems,Verification Mathematical models ، Integrated circuits,Verification Mathematical models ، Electronic systems
Classification :
QA
76
.
76
.
V47W36
2006
17. Abstraction, reformulation, and approximation
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Congresses. ; Artificial intelligence ; Congresses. ;
18. Abstraction, reformulation, and approximation
Author: / Ian Miguel, Wheeler Ruml (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Congresses,Artificial intelligence--Congresses
Classification :
QA
,
75
.
5
,.
S27
,
2007
19. Abstraction, reformulation and approximation : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 : proceedings
Author: Jean-Daniel Zucker, Lorenza Saitta )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Artificial intelligence
Classification :
QA
76
.
L28
Vol
.
3607
20. Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings
Author: Sven Koenig, Robert Holte )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Artificial intelligence
Classification :
QA
76
.
L28
Vol
.
2371
