21. AI approaches to the complexity of legal systems :
پدیدآورنده : Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
K213
22. Advanced Arithmetic for the Digital Computer :
پدیدآورنده : by Ulrich W. Kulisch.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Computer network architectures.,Computer science.
رده :
QA76
.
9
.
C62
B985
2002
23. Advanced Educational Technologies for Mathematics and Science
پدیدآورنده : edited by David L. Ferguson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Mathematics.,Zoology.
رده :
QA11
.
A1
E358
1993
24. Advanced R
پدیدآورنده : Hadley Wickham.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : MATHEMATICS / Probability & Statistics / General,Programming languages (Electronic computers),R (Computer program language)
رده :
QA276
.
45
.
R3
H335
2019
25. Advanced Relational Programming
پدیدآورنده : by Filippo Cacace, Gianfranco Lamperti.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Data structures (Computer science),Software engineering.
رده :
QA76
.
9
.
D3
B945
1996
26. Advanced concepts for intelligent vision systems :
پدیدآورنده : Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.
رده :
TA1634
27. Advances in Dynamic Games and Applications
پدیدآورنده : edited by Tamer Başar, Alain Haurie.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Distribution (Probability theory).,Mathematics.
28. Advances in Dynamic Games and Applications
پدیدآورنده : edited by Eitan Altman, Odile Pourtallier.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics.,Systems theory.
29. Advances in Intelligent Systems and Applications - Volume 2 Proceedings of the International Computer Symposium ICS 2012 Held at Hualien, Taiwan, December 12-14, 2012
پدیدآورنده : Jeng-Shyang Pan [aut]; Ching-Nung Yang [aut]; Chia-Chen Lin [aut]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Applied physical engineering,fuzzy logic,robots
30. Advances in Object-Oriented Graphics I
پدیدآورنده : edited by Edwin H. Blake, Peter Wisskirchen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer graphics.,Computer science.,Computer-aided design.
رده :
T385
.
E358
1991
31. Advances in bioinformatics and computational biology :
پدیدآورنده : Ronnie Alves (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Bioinformatics, Congresses.,Computational biology, Congresses.,Artificial Intelligence.,Computational Biology/Bioinformatics.,Discrete Mathematics in Computer Science.,Numeric Computing.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Bioinformatics.,Computational biology.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Life sciences: general issues.,Mathematical theory of computation.,Software Engineering.
رده :
QH324
.
2
32. Advances in computers
پدیدآورنده : edited by Franz L. Alt and Morris Rubinoff.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computers.,Electronic data processing.,Computers.,Electronic data processing.
رده :
QA76
.
A3810
1970eb
33. Advances in mathematical methods and high performance computing /
پدیدآورنده : Vinai K. Singh, David Gao, Andreas Fischer, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : High performance computing-- Mathematics.,Computer science.,Hydraulic engineering.,Numerical analysis.
رده :
QA76
.
88
34. Advances in the design of symbolic computation systems
پدیدآورنده : A. Miola and M. Temperini (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Disseny de sistemes -- Reculls d'escrits.,Matemàtica -- Processament de dades -- Reculls d'escrits.,Programació orientada a l'objecte (Informàtica) -- Reculls d'escrits.
رده :
QA76
.
9
.
S88
A456
1997
35. Advances in the design of symbolic computation systems
پدیدآورنده : A. Miola and M. Temperini )eds.(
کتابخانه: (طهران)
موضوع : ، System design,، Object-oriented programming )Computer science(,، Mathematics -- Data processing
رده :
QA
76
.
9
.
S88
A38
1997
36. Advances in the design of symbolic computation systems
پدیدآورنده : A. Miola and M. Temperini )eds.(,Series
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : System design,Object-oriented programming )Computer science(,Mathematics -- Data processing
رده :
QA
.
S88
,
A38
76
.
9
1997
37. Algebra and Coalgebra in Computer Science :
پدیدآورنده : José Luis Fiadeiro
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra -- Congresses.,Algebra.,Computer science -- Mathematics -- Congresses.
38. Algebra and coalgebra in computer science :
پدیدآورنده : Reiko Heckel, Stefan Milius (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
39. Algebraic Complexity Theory
پدیدآورنده : by Peter Bürgisser, Michael Clausen, Mohammad Amin Shokrollahi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Combinatorics.,Computer software.,Geometry, Algebraic.,Group theory.,Mathematics.,Matrix theory.
40. Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures
پدیدآورنده : Roland Backhouse, Roy Crole, Jeremy Gibbons, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics,Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
2297
