41. Abstract automata
پدیدآورنده : Starke, Peter H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine theory
رده :
QA
267
.
S6913
42. Abstract automata
پدیدآورنده : [by] Peter H. Starke, [translated from the German by I. Shepherd]
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (تهران)
موضوع : Machine theory
رده :
QA
,
267
,.
S6913
43. Action Theory and Social Science :
پدیدآورنده : by Ingmar Pörn.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Philosophy (General),Social sciences -- Philosophy.
رده :
H62
.
B956
1977
44. Adaptive information processing :
پدیدآورنده : Jeffrey R Sampson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
QA267
.
J444
2012
45. Additive cellular automata : theory and applications
پدیدآورنده : Parimal Pal Chaudhuri ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Cellular automata
رده :
QA
267
.
5
.
C45
A34
1997
46. Additive cellular automata: theory and applications
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Cellular automata
رده :
QA
267
.
5
.
C45
.
T47
1997
47. Advanced Information Processing :
پدیدآورنده : edited by Heinz Schwärtzel, Igor A. Mizin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer hardware.,Computer science.,Software engineering.
رده :
QA75
.
5
E358
1990
48. Advances in Cryptology -- EUROCRYPT '91 :
پدیدآورنده : edited by Donald W. Davies.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Data encryption (Computer science),Operating systems (Computers)
49. Advances in Spatial Data Handling 10th International Symposium on Spatial Data Handling.
پدیدآورنده : Richardson, Dianne
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
50. Advances in Verification of Time Petri Nets and Timed Automata :
پدیدآورنده : by Wojciech Penczek, Agata Pólrola.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Engineering mathematics.,Engineering.
رده :
QA267
.
B996
2006
51. Advances in Verification of Time Petri Nets and Timed Automata :
پدیدآورنده : by Wojciech Penczek, Agata Pólrola.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Engineering mathematics.,Engineering.
52. Advances in algebra and analysis :
پدیدآورنده : V. Madhu, A. Manimaran, D. Easwaramoorthy, D. Kalpanapriya, M. Mubashir Unnissa, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra, Congresses.,Mathematical analysis, Congresses.,Algebra.,Analysis.,Operations Research, Management Science.,Statistical Theory and Methods.,Algebra.,Mathematical analysis.
رده :
QA150
53. Advances in computers.
پدیدآورنده : edited by Marvin V. Zelkowitz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computers.,Electronic data processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Electronic data processing.
رده :
QA76
.
A3eb
vol
.
47
54. Advances in computers.
پدیدآورنده : edited by Franz L. Alt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computers.,Electronic data processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Electronic data processing.
رده :
QA76
.
A3eb
vol
.
2
55. Advances in learning automata and intelligent optimization
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine learning. ;
56. Advances in safety, reliability and risk management :
پدیدآورنده : editors, Christophe Bérenguer & Antoine Grall, C. Guedes Soares.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Industrial safety -- Management -- Congresses.,Reliability (Engineering) -- Congresses.,System safety -- Congresses.
رده :
TS173
.
E358
2012
57. Agents, games, and evolution :
پدیدآورنده : Steven Orla Kimbrough
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Cellular automata,Games of strategy (Mathematics)
رده :
QA270
.
K56
2012
58. Agents, games, and evolution : strategies at work and play
پدیدآورنده : Kimbrough, Steve
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Games of strategy )Mathematics(,، Cellular automata
رده :
QA
270
.
K56
2012
59. Agriculture as a metaphor for creativity in all human endeavors /
پدیدآورنده : edited by Robert S. Anderssen, Philip Broadbridge, Yasuhide Fukumoto, Kenji Kajiwara, Matthew Simpson, Ian Turner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Agriculture-- Mathematical models, Congresses.,Mathematics-- Industrial applications, Congresses.,Mathematics, Congresses.,Agriculture.,Biomathematics.,Creative ability.,Engineering.,Environmental sciences.,Mathematical models.,TECHNOLOGY & ENGINEERING-- Agriculture-- Agronomy-- Crop Science.,TECHNOLOGY & ENGINEERING-- Agriculture-- Agronomy-- General.
رده :
QA1
.
F67
2016
