1361. Special issue of the International Multiconference of Engineers and Computer Scientists 2012
Author: Gi-Chul Yang [and others], editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering -- Congresses.,Engineering -- Congresses.,Software engineering -- Congresses.
Classification :
TA5
.
G534
2013
1362. Specifying software :
Author: R.D. Tennent.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer software, Specifications.,Computer programming.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,Computer software.,FILE MAINTENANCE (COMPUTERS),PROGRAMMING LANGUAGES.,SOFTWARE TOOLS.
Classification :
QA76
.
6
.
T4416
2002
1363. Stable mutations for evolutionary algorithms /
Author: Andrzej Obuchowicz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Evolutionary programming (Computer science),Genetic algorithms.,Artificial Intelligence.,Computational Intelligence.,Evolutionary programming (Computer science),Genetic algorithms.
Classification :
QA76
.
618
.
O28
2019
1364. Static Analysis :
Author: by Patrick Cousot, Moreno Falaschi, Gilberto File.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
1365. Static analysis: 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004: proceedings
Author: Roberto Giacobazzi )ed.(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
I5733
2004
1366. Stochastic Optimization: Algorithms and Applications
Author: edited by Stanislav Uryasev, Panos M. Pardalos.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing.,Mathematical optimization.,Mathematics.,Operations research.
1367. Stochastic local search :
Author: Holger H. Hoos, Thomas Stützle.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Combinatorial analysis.,Stochastic programming.,Algorithmes.,Analyse combinatoire.,Programmation stochastique.,Algorithms.,Combinatória.,Combinatorial analysis.,Heurística.,Inteligência artificial.,MATHEMATICS-- Optimization.,Otimização combinatória.,Stochastic programming.
Classification :
T57
.
79
.
H66
2005eb
1368. Stream Cipher
Author: / by Andreas Klein
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computational complexity,Algorithms,Electronic books
Classification :
E-BOOK
1369. Structural information and communication complexity :
Author: Zvi Lotker, Boaz Patt-Shamir (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.
Classification :
QA76
.
9
.
A43
1370. Supercomputing.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
1371. Supercomputing frontiers :
Author: Rio Yokota, Weigang Wu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Supercomputers, Congresses.,Supercomputers.
Classification :
QA76
.
88
1372. Supply chain management and advanced planning :
Author: Hartmut Stadtler, Christoph Kilger, Herbert Meyr, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Business logistics.,Business logistics.
Classification :
HD38
.
5
.
S896
2015
1373. Swarm Intelligence :
Author: Marco Dorigo, Mauro Birattari, Christian Blum, Anders L. Christensen, Andreagiovanni Reina, Vito Trianni (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: 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.
Classification :
Q337
.
3
1374. Swarm, evolutionary, and memetic computing :
Author: Bijaya Ketan Panigrahi [and others] (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Evolutionary computation, Congresses,Evolutionary programming (Computer science), Congresses,Swarm intelligence, Congresses
Classification :
QA76
.
618
.
I58
2011
1375. Swarm, evolutionary, and memetic computing :
Author: Bijaya Ketan Panigrahi [and others] (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Evolutionary computation, Congresses,Evolutionary programming (Computer science), Congresses,Swarm intelligence, Congresses
Classification :
QA76
.
618
.
I58
2011
1376. Swift data structure and algorithms :
Author: Erik Azar, Mario Eguiluz Alebicto.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: iOS (Electronic resource),iOS (Electronic resource),Application software-- Development.,Mobile computing-- Programming.,Swift (Computer program language),Application software-- Development.,COMPUTERS / Computer Literacy,COMPUTERS / Computer Science,COMPUTERS / Data Processing,COMPUTERS / Hardware / General,COMPUTERS / Information Technology,COMPUTERS / Machine Theory,COMPUTERS / Reference,Swift (Computer program language)
Classification :
QA76
.
774
.
I67
1377. Swift 4 recipes :
Author: c Yanis Zafirópulos.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Swift (Computer program language),Swift (Computer program language)
Classification :
QA76
.
73
.
S95
Z34
2019
1378. Symbolic Algebraic Methods and Verification Methods
Author: edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing.,Computer science.,Mathematics.
Classification :
QA76
.
9
.
M35
E358
2001
1379. Symposium on semantics of algorithmic languages
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Programming languages (Electronic computers)- Semantics- Congresses►Formal languages- Congresses►Computer algorithms- Congresses
Classification :
3
.
L28
,
no
.
188
1380. Symposium on semantics of algorithmic languages
Author: edited by E. Engeler
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
Classification :
QA
1
.
L4
v
.
188
