1461. The programming and proof system ATES advanced techniques integration into efficient scientific software
Author: Armand Puccetti (ed.). With contrib. by D. Brocard ...
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving.,Computer programming.,Computer software -- Development.
1462. The second Aizu International Symposium on Parallel Algorithms / Architecture Synthesis : proceedings, March 17-21, 1997, Aizu-Wakamatsu, Fukushima, Japan
Author: sponsored by the University of Aizu; in cooperation with IEEE Computer Society Technical Committee on Computer Architecture ... ]et al.[ ; editors, Nikolay Mirenkov ... ]et al.[
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Parallel algorithms - Congresses , Parallel programming )Computer science( - Congresses
Classification :
QA
76
.
642
.
A43
1997
1463. The second Aizu international symposium on parallel algorithms/architecture synthesis :proceedings ,March 17-21 ,1997 ,Aizu -Wakamatsu ,Fukushima ,Japon
Author: Sponsored by the university of Aizu in cooperation with IEEE computer society technical committee on computer architecture...]et al.[; editors Nikolay Mirenkov...]et al.[
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Parallel programming )computer science( -congresses,، Computr algorthims -congresses
Classification :
QA
76
.
642
.
A43
1997
1464. The theory of evolution strategies
پدیدآورنده : Hans-Georg Beyer
موضوع : Evolutionary programming (Computer science),Computer algorithms
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1465. The theory of evolution strategies
Author: by Hans-Georg Beyer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Evolutionary programming (Computer science)
1466. The traveling salesman
Author: / Gerhard Reinelt
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Traveling-salesman problem.,Heuristic programming.,Algorithms.
Classification :
T
,
57
.
78
,.
R47
,
1994
1467. The traveling salesman : computational solutions for TSP applications
Author: Gerhard Reinelt
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Traveling salesman problem,، Heuristic programming,، Algorithms
Classification :
QA
76
.
L28
Vol
.
840
1468. The ultimate algorithmic trading system toolbox + website :
Author: George Pruitt
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic trading of securities.,Futures.,Investment analysis.
Classification :
HG4515
.
95
1469. The visualization toolkit :
Author: Will Schroeder, Ken Martin, Bill Lorensen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Object-oriented programming (Computer science),Computer graphics.,Computergraphics.,Dreidimensionale Computergrafik,Object-georiënteerd programmeren.,Object-oriented programming (Computer science),Objektorientierte Programmierung,Visualisatie.
Classification :
QA76
.
64
S36
2002
1470. Theoretical aspects of evolutionary computing
Author: Leila Kallel, Bart Naudts, Alex Rogers (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Biology -- Data processing.,Evolutionary programming (Computer science)
1471. Theoretical computer science :
Author: edited by Lian Li, Pinyan Lu, Kun He.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: 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.
Classification :
QA75
.
5
1472. Theory and Design of Digital Computer Systems
Author: by Douglas Lewin, David Noaks.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Microprogramming.
Classification :
TK7888
.
3
B936
1992
1473. Theory and Practice of Geometric Modeling
Author: edited by Wolfgang Stra€er, Hans-Peter Seidel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer hardware.,Computer science.,Software engineering.
1474. Theory and Practice of Uncertain Programming
Author: by Baoding Liu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer simulation.,Operations research.
1475. Theory and applications of recent robust methods.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA278
.
8
T446
2004
1476. Theory and practice of natural computing :
Author: David Fagan, Carlos Martín-Vide, Michael O'Neill, Miguel A. Vega-Rodríguez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Natural computation, Congresses.,Artificial intelligence.,Natural computation.
Classification :
QA76
.
9
.
A43
1477. Theory of Computation
Author: / George Tourlakis
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computable functions,Functional programming languages,MATHEMATICS / Discrete Mathematics., bisacsh,توابع محاسبه پذیر,زبان های برنامهنویسی تابعی
Classification :
QA9
,.
59
.
T46
,
T68
2012
1478. Theory of algorithms
Author: edited by L. Lovasz and E. Szemeredi
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Algorithms,Congresses ، Machine translating,Congresses ، Computer programming
Classification :
QA
9
.
58
.
C64
1984
1479. Think Perl 6 :
Author: Laurent Rosenfeld with Allen B. Downey.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Perl (Computer program language),Perl (Computer program language),TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
Classification :
QA76
.
73
.
P34
1480. Think Python
Author: Allen Downey
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Textbooks
