61. Computational pathology and ophthalmic medical image analysis :
المؤلف: Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu et al. (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Eye-- Imaging, Congresses.,Pathology-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Pattern Recognition.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.,Pathology-- Data processing.,Pattern recognition.
رده :
RB38
62. Computers for artificial intelligence applications :
المؤلف: Benjamin Wah and G.-J. Li.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence-- Data processing.,Computer architecture.,Intelligence artificielle-- Informatique.,Ordinateurs-- Architecture.,Artificial intelligence-- Data processing.,Computer architecture.
رده :
Q336
.
W34
1986
63. Conceptual modeling--ER 2011 :
المؤلف: Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer simulation, Congresses,Conceptual structures (Information theory)-- Congresses,Database design, Congresses,Relational databases-- Congresses
رده :
QA76
.
9
.
C65
I58
2011
64. Conceptual structures : broadening the base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001 : proceedings
المؤلف: Harry S. Delugach, Gerd Stumme, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Conceptual structures )Information theory(,Congresses ، Graph theory,Congresses ، Logic programming,Congresses ، Knowledge representation )Information theory(,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
2120
65. Conceptual structures, current practices :
المؤلف: John F Sowa
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Conceptual structures (Information theory) -- Congresses.,Graph theory -- Congresses.,Knowledge representation (Information theory) -- Congresses.
رده :
Q387
.
J646
1994
66. Constraint Solving and Language Processing
المؤلف: edited by Denys Duchier, Yannick Parmentier.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
67. Constraint solving and language processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers
المؤلف: Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
3438
68. Constraint solving over multi-valued logics :
المؤلف: Francisco Azevedo.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Constraint programming (Computer science),Digital electronics.,Many-valued logic.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Constraint programming (Computer science),Digital electronics.,Many-valued logic.
رده :
QA76
.
612
.
A94
2003eb
69. Cooperating Heterogeneous Systems
المؤلف: by David G. Schwartz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Operating systems (Computers),Software engineering.
70. Correct reasoning
المؤلف: Esra Erdem ... [et al.] (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence,Logic programming
رده :
QA76
.
63
.
C67
2012eb
71. Cybernetics and systems '86 :
المؤلف: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
72. Data integration :
المؤلف: Michael Genesereth.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Database searching.,Ontologies (Information retrieval),COMPUTERS-- Programming Languages-- SQL.,Database searching.,Ontologies (Information retrieval)
رده :
ZA4460
.
G46
2010
73. Database Theory -- ICDT '92 :
المؤلف: edited by Joachim Biskup, Richard Hull.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Database management.
رده :
QA76
.
9
.
D3
E358
1992
74. Declarative programming and knowledge management :
المؤلف: edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
رده :
QA76
.
615
75. Designing mobile autonomous robots
المؤلف: / by John Holland
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Mobile robot,Autonomous robot,Electronic books., loca
رده :
TJ211
.
495
.
H65
,
2004eb
76. Distributed constraint logic programming
المؤلف: Leung, Ho-Fung.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
77. Distributed constraint logic programming
المؤلف: Leung, Ho-Fung.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
78. Dynamic Worlds
المؤلف: edited by Remo Pareschi, Bertram Fronhöfer.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Data structures (Computer science).,Logic.,Philosophy (General).
79. E-Commerce and Intelligent Methods
المؤلف: edited by Javier Segovia, Piotr S. Szczepaniak, Marian Niedzwiedzinski.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Economics.,Management information systems.
