1081. Swarm Intelligence :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Swarm intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Numeric Computing.,Probability and Statistics in Computer Science.,Special Purpose and Application-Based Systems.,Algorithms & data structures.,Artificial intelligence.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Maths for computer scientists.,Swarm intelligence.

رده :
Q337
.
3

1082. Swarm, evolutionary, and memetic computing :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Evolutionary computation, Congresses,Evolutionary programming (Computer science), Congresses,Swarm intelligence, Congresses

رده :
QA76
.
618
.
I58
2011

1083. Swarm, evolutionary, and memetic computing :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Evolutionary computation, Congresses,Evolutionary programming (Computer science), Congresses,Swarm intelligence, Congresses

رده :
QA76
.
618
.
I58
2011

1084. Symposium on semantics of algorithmic languages

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Computer algorithms

رده :
QA
76
.
7
.
S9
1971

1085. Symposium on semantics of algorithmic languages

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms

رده :
QA
1
.
L4
v
.
188

1086. System and architecture :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer architecture, Congresses.,Computer networks, Congresses.,Computer science, Congresses.,Computer security, Congresses.,Information technology, Congresses.,Computer architecture.,Computer networks.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.

رده :
QA76
.
9
.
A73

1087. Systems development methods for databases, enterprise modeling, and workflow management

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software -- Development -- Congresses.,System design -- Congresses.,Workflow management systems -- Congresses.

رده :
QA76
.
9
.
S88
E358
1999

1088. Term rewriting and applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :
QA
76
.
L28
Vol
.
4098

1089. Term rewriting and applications: 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :
QA
267
.
I555
2006

1090. Text, speech, and dialogue :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Natural language processing (Computer science), Congresses,Speech processing systems, Congresses,Text processing (Computer science), Congresses

رده :
QA76
.
9
.
N38
T73
2013

1091. Text, speech, and dialogue :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Natural language processing (Computer science), Congresses.,Speech processing systems, Congresses.,Text processing (Computer science), Congresses.,Artificial Intelligence.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.,Natural language processing (Computer science),Speech processing systems.,Text processing (Computer science)

رده :
QA76
.
9
.
N38

1092. The second Aizu International Symposium on Parallel Algorithms / Architecture Synthesis : proceedings, March 17-21, 1997, Aizu-Wakamatsu, Fukushima, Japan

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Parallel algorithms - Congresses , Parallel programming )Computer science( - Congresses

رده :
QA
76
.
642
.
A43
1997

1093. The second Aizu international symposium on parallel algorithms/architecture synthesis :proceedings ,March 17-21 ,1997 ,Aizu -Wakamatsu ,Fukushima ,Japon

کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)

موضوع : ، Parallel programming )computer science( -congresses,، Computr algorthims -congresses

1094. Theoretical computer science :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.

رده :
QA75
.
5

1095. Theory and Applications of Satisfiability Testing – SAT 2015

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer algorithms -- Congresses.,Computer software -- Verification -- Congresses,Computer algorithms.,الگوریتم‌های کامپیوتری -- کنگره ها ,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها ,الگوریتم‌های کامپیوتری

رده :
QA
76
.
9
.
A43
2015
E-Book
,

1096. Theory and Practice of Robots and Manipulators :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Manipulators (Mechanism) -- Congresses.,Robotics -- Congresses.,Science (General)

رده :
TJ210
.
3
E358
1985

1097. Theory and applications of models of computation :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses

رده :
QA76
.
9
.
M35
T36
2011eb

1098. Theory and applications of models of computation :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computational complexity, Congresses.,Computer science-- Mathematics, Congresses.,Turing machines, Congresses.,Computational complexity.,Computer science-- Mathematics.,Turing machines.

رده :
QA76
.
9
.
M35
T35
2019eb

1099. Theory and applications of satisfiability testing -- SAT 2019 :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.

رده :
QA76
.
9
.
A43

1100. Theory and applications of satisfiability testing -- SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms

رده :
QA
76
.
L28
Vol
.
4121