4401. Unobstructed shortest paths in polyhedral environments
Author: AKMAN,VAROL
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ROBOTICS , FUNCTIONS,POLYHEDRAL , ALGORITHMS
Classification :
TJ
211
.
A42
4402. Unsupervised learning algorithms
Author: / M. Emre Celebi, Kemal Aydin, editors
Library: Central library of medical university of Isfahan (Esfahan)
Subject: Machine learning ,Computer algorithms
Classification :
Q325
.
5
.
U5
2016
4403. Update Adaptive Signal Processing-Partial
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Signal Processing. ; Algorithms. ; Wireless Communication Systems. ;
4404. VLSI Algorithms and Architectures : 3rd Aegean Workshop on Computing, AWOC88, Corfu, Greece, June 28-July, 1988 : Proceedings
Author: J.H. Reif ]ed.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Computer architecture,Congresses ، Algorithms
Classification :
QA
76
.
L28
Vol
.
319
4405. VLSI algorithms and architectures. 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988 : proceedings
Author: J.H. Reif
Library: CENTRAL LIBRARY UNIVERCITY OF HORMOZGAN (Hormozgan)
Subject: ، Integrated circuits, Very large scale integration, Congresses,، Computer architecture, Congresses,، Algorithms, Congresses
Classification :
TK
7874
.
A44
1988
4406. VLSI algorithms and architectures: 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Integrated circuits-- Very large scale integration,Congresses ، Computer architecture,Congresses ، Algorithms
Classification :
TK
7874
.
A338
1988
4407. Variable neighborhood search :
Author: Nenad Mladenovic, Andrei Sleptchenko, Angelo Sifaleras, Mohammed Omar (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial optimization-- Data processing, Congresses.,Heuristic algorithms, Congresses.,Combinatorial optimization-- Data processing.,Heuristic algorithms.
Classification :
QA402
.
5
4408. Variants of evolutionary algorithms for real-world applications
Author: Raymond Chiong, Thomas Weise, and Zbigniew Michalewicz (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Evolutionary computation,Evolutionary programming (Computer science),Genetic algorithms
Classification :
QA402
.
5
.
V37
2012eb
4409. Vector game math processors
Author: James Leiterman
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms,Computer games-- Programming,Computer science-- Mathematics,Supercomputers-- Programming,Vector processing (Computer science)
Classification :
QA76
.
5
.
L446
2003eb
4410. Veracity of big data :
Author: Vishnu Pendyala.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Data editing.,Data integrity.,Databases-- Evaluation.,Verification (Logic)-- Computer programs.,Artificial intelligence.,Computer algorithms.,COMPUTERS-- General.,Data editing.,Data integrity.,Databases-- Evaluation.,Databases.
Classification :
QA76
.
9
.
A43
4411. Verification and evaluation of computer and communication systems :
Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
Classification :
TK5105
.
5
4412. Verification of reactive systems
Author: / Klaus Schneider
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer systems- - Verification,Formal methods (computer science),Computer algorithms
Classification :
QA
76
.
76
.
V47S34
2003
4413. Verification of reactive systems
Author: / Klaus Schneider
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer systems -- Verification,Formal methods (computer science),Computer algorithms
Classification :
QA
76
.
76
.
V47S34
2004
4414. Verification of reactive systems :
Author: Klaus Schneider.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer systems -- Verification.,Formal methods (Computer science)
Classification :
QA76
.
76
.
V47
K538
2004
4415. Verification of reactive systems: formal methods and algorithms
Author: Schneider, Klaus
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer systems-- Verification,، Formal methods )Computer science(,، Computer algorithms
Classification :
QA
76
.
76
.
V47
.
S34
2003
4416. Very high angular resolution imaging : proceedings of the 158th Symposium of the International Astronomical Union held at the Women's College, University of Sydney, Australia, 11-15 January 1993
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Imaging systems in astronomy-- Congresses,، Resolution )Optics(-- Congresses,، Interferometry-- Congresses,، Algorithms-- Congresses
Classification :
QB
51
.
3
.
I45
.
I48
1993
4417. Vision chips : implementing vision algorithms with analog VLSI circuits
Author: ]edited by[ Christof Koch, Hua Li
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer vision , Integrated circuits - Very large scale integration , Computer algorithms
Classification :
TA
1634
.
V54
4418. Vlsi algorithms & architectures:3rd aegean workshop on computing,
Author:
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: INTEGRATED CIRCUITES-VERY LARGE SCALE , COMPUTER ARCHITECTURE-CONGRESSES , ALGORITHMS-CONGRESSE
Classification :
TK
7874
.
A338
1988
4419. WALCOM
Author: \ [edited by] M. Sohel Rahman, Etsuji Tomita.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer algorithms -- Congresses.,Algorithm Analysis and Problem Complexity.,Math Applications in Computer Science.,الگوریتمهای کامپیوتری -- کنگره ها
Classification :
QA
76
.
9
.
A43W32
2015
E-Book
,
4420. WALCOM
Author: Md. Saidur Rahman, Satoshi Fujita (eds.)
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer algorithms, Congresses,Data structures (Computer science), Congresses,Graph theory, Congresses
Classification :
QA
،
76
.
9
،.
D35
,
W34
،
2010
