101. Control of manipulation robots: theory and application
Author: M. Vukobratovic;D. Stokic
Library: Vali Asr University Central Library (Kerman)
Subject: Automata,Manipulators )Mechanism(
Classification :
QA
211
.
V837
102. Creating artificial life: : self-organization
Author: Rietman, Ed.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Artificial intelligence,، Cellular automata,، Biological systems- Computer simulation,، Biological systems- Simulation methods,، Neural networks )Computer science(
103. Design and test of digital circuits by quantum-dot cellular automata
Author: Fabrizio Lombardi, Jing Huang, editors
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Quantum dots,Digital electronics- Design and construction,Digital electronics- Testing,Nanoelectronics,Cellular automata,Quantum computers
Classification :
TK
.
D47
7874
.
88
2008
104. Design and test of digital circuits by quantum-dot cellular automata /
Author: Fabrizio Lombardi, Jing Huang, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cellular automata.,Digital electronics-- Design and construction.,Digital electronics-- Testing.,Nanoelectronics.,Quantum computers.,Quantum dots.,Cellular automata.,Digital electronics-- Design and construction.,Digital electronics-- Testing.,Nanoelectronics.,Quantum computers.,Quantum dots.
Classification :
TK7874
.
88
.
D47
2008eb
105. Discrete Structures and Automata Theory
Author: / Rakesh Dube, Adesh Pandey, Ritu Gupta
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Discrete Structures,Automata Theory
Classification :
QA76
.
9
.
D82
2009
106. Dynamics of complex interacting systems
Author: School on statistical physics and cooperative systems )4th: 4991: Santiago, Chile(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، System analysis,Congresses ، Cellular automata,Congresses ، Differentiable dynamical systems,Congresses ، Neural networks )Computer science(
Classification :
QA
402
.
S356
1994
107. Dynamics on and of complex networks
Author: Niloy Ganguly, Andreas Deutsch, Animesh Mukherjee, editors
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، System analysis,، Cellular automata,، Differentiable dynamical systems,، Neural networks )Computer science(
Classification :
QA
402
.
D967
2009
108. Elaements de thaeorie des automates.English
Author: Jacques Sakarovitch ; translated by Reuben Thomas
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: Machine theory,Automata theory,Automata math,Formal language,Automatentheorie., swd
Classification :
QA
267
.
S22E4
2009
109. Essays on cellular automata
Author: Burks, Arthur W.)Arthur Walter(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Sequebtial machine thoery-- Addresses, essays, lectures,، Automata-- Addresses, essays, lectures
Classification :
QA
267
.
5
.
S4
.
B87
110. Evolution of parallel cellular machines : the cellular programming approach
Author: Sipper, Moshe
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Parallel computers,، Cellular automata,، Array processors
Classification :
QA
76
.
L28
Vol
.
1194
111. Fachtagung uber Automatentheorie und Formale Sprachen
Author: Gesellschaft fur Informatik
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Automata,Congresses ، Formal languages
Classification :
QA
267
.
G47a
112. Finite automata, formal logic, and circuit complexity
Author: / Howard Straubing
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science- Mathematics,Automata,Logic, Symbolic and mathematical,Computational complexity
Classification :
QA76
.
9
.
M35
,
S77
1994
113. Formal Modeling and Analysis of Timed Systems
Author: \ Sriram Sankaranarayanan , Enrico Vicario (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer Applications.,Computer simulation -- Congresses.,Temporal automata -- Congresses.,کاربرد رایانه ,کامپیوترها -- شبیهسازی -- کنگرهها
Classification :
.
F6
2015
E-Book
,
114. Formal modeling and analysis of timed system
Author: / Franck Cassez, Claude Jard (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer simulation--Congresses,Temporal automata--Congresses,Formal methods (Computer science)--Congresses
115. Formal modeling and analysis of timed systems :
Author: Joël Ouaknine, Frits W. Vaandrager (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
Classification :
QA76
.
9
.
C65
F67
2009eb
116. Formal modeling and analysis of timed systems :
Author: Kim G. Larsen, Peter Niebert (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation -- Congresses.,Formal methods (Computer science) -- Congresses.,Temporal automata -- Congresses.
117. Formal modeling and analysis of timed systems :
Author: David N. Jansen, Pavithra Prabhakar (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
Classification :
QA76
.
9
.
F67
118. Formal modeling and analysis of timed systems :
Author: Uli Fahrenberg, Stavros Tripakis (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
Classification :
QA76
.
9
.
C65
F67
2011
119. Formal modeling and analysis of timed systems
Author: Marcin Jurdziński, Dejan Ničković (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses,Formal methods (Computer science), Congresses,System analysis, Congresses,Temporal automata, Congresses
Classification :
QA76
.
9
.
C65
F67
2012eb
