81. Design and implementation of symbolic computation systems : International symposium DISCO'92 , Bath, U.K., April 13-15, 1992 : proceedings
پدیدآورنده: John Fitch )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
721
82. Design and implementation of symbolic computation systems : International symposium DISCO'96, Karlsruhe, Germany, September 18-20, 1996 : Proceedings
پدیدآورنده: Jacque Calmet, Carla Limongelli )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
1128
83. Design and implementation of symbolic computation systems : International symposium DISCO'93 : proceedings
پدیدآورنده: Alfonso Miola )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
722
84. Digital libraries for open knowledge :
پدیدآورنده: Eva Méndez, Fabio Crestani, Cristina Ribeiro, Gabriel David, João Correia Lopes (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Digital libraries, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Document Management.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Desktop publishing.,Digital libraries.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.
رده :
ZA4080
85. Discrete and computational geometry : papers from the DIMACS Special Year
پدیدآورنده: Jacob E. Goodman, Richard Pollack, William Steiger, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Geometry
رده :
QA
448
.
D38D58
86. Discrete structural optimization: IUTAM Symposium, Zakopane, Poland, August 31-Septmber 3, 1993
پدیدآورنده: W. Gutkowski, J. Bauer ]eds.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Data processing - Congresses ، Structural optomization,Mathematics - Congresses ، Computer science
رده :
TA
658
.
8
.
I96
1993
87. Distributed algorithms: 2nd international workshop, Amsterdam, The Netherlands, July 8-10, 1987: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Distributed processing Congresses ، Electronic data processing,Congresses ، Algorithms
رده :
QA
76
.
9
.
D5
.
D485
1988
88. Distributed computing and cryptography : proceedings of a DIMACS Workshop October 4-6, 1989
پدیدآورنده: Joan Feigenbaum, Michael Merritt, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic data processing -- Distributed processing,Congresses ، Cryptography
رده :
QA
76
.
9
.
D5D55
1991
89. Empowering learners for life in the digital age :
پدیدآورنده: Don Passey, Rosa Bottino, Cathy Lewin, Eric Sanchez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Education-- Data processing, Congresses.,Education-- Data processing.
رده :
LB1028
.
43
90. Evolutionary computation in combinatorial optimization :
پدیدآورنده: Arnaud Liefooghe, Manuel López-Ibáñez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial optimization-- Data processing, Congresses.,Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Combinatorial optimization-- Data processing.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Evolutionary computation.,Evolutionary programming (Computer science),Mathematical theory of computation.
رده :
QA76
.
618
91. Expert systems for scientific computing
پدیدآورنده: / edited by E.N. Houstis, J.R. Rice, R. Vichnevetsky
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mathematics, Data processing, Congresses,Numerical analysis, Data processing, Congresses,Expert systems (Computer science), Congresses,Software, Congresses
رده :
QA76
.
95
.
I48
1992
92. Expert systems for scientific computing
پدیدآورنده: / edited by E.N. Houstis, J.R. Rice, R. Vichnevetsky
کتابخانه: کتابخانه مرکزی و مرکز نشر دانشگاه صنعتی بیرجند (خراسان جنوبی)
موضوع: Mathematics--Data processing--Congresses,Numerical analysis--Data processing--Congresses,Expert systems (Computer science)--Congresses,Software--Congresses
رده :
QA76
.
95
.
I48
1990
93. Expert systems for scientific computing: proceedings of the Second IMACS International Conference on Expert Systems for Numerical Computing, Purdue University, U.S.A., 24-26 April, 1990
پدیدآورنده: edited by E.N. Houstis, J.R. Rice, R. Vichnevetsky
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Data processing - Congresses ، Mathematics - Data processing,Data processing - Congresses ، Numerical analysis,Congresses ، Expert systems )Computer science(,Congresses ، Software
رده :
QA
76
.
95
.
I48
1990
94. Exploring service science :
پدیدآورنده: Gerhard Satzger, Lia Patrício, Mohamed Zaki, Niklas Kühl, Peter Hottum (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Business-- Data processing, Congresses.,Computer science, Congresses.,Management-- Data processing, Congresses.,Big Data/Analytics.,Business IT Infrastructure.,Computer Appl. in Administrative Data Processing.,Health Informatics.,Information Systems Applications (incl. Internet).,Innovation/Technology Management.,Business & Economics-- Industries-- Computer Industry.,Business & Economics-- Production & Operations Management.,Business-- Data processing.,Business mathematics & systems.,Computer science.,Computers-- Data Processing.,Computers-- Enterprise Applications-- General.,Computers-- Information Technology.,Health & safety aspects of IT.,Information retrieval.,Management-- Data processing.,Medical-- General.,Public administration.,Research & development management.
رده :
QA75
.
5
.
I58
2018eb
95. Exploring the early digital /
پدیدآورنده: Thomas Haigh, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA75
.
5
.
E96
2019
96. Foundations of information and knowledge systems :
پدیدآورنده: Flavio Ferrarotti, Stefan Woltran (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer systems, Congresses.,Artificial intelligence.,Computer systems.,Computers-- Data Processing.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.
رده :
QA75
.
5
97. Foundations of software science and computation structures :
پدیدآورنده: Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
98. Fundamentals of artificial intelligence research :
پدیدآورنده: Ph. Jorrand, J. Kelemen, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence -- Congresses.,Artificial intelligence.
رده :
Q334
.
P456
1991
99. Geometric structures of information /
پدیدآورنده: Frank Nielsen, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Geometrical models in statistics, Congresses.,Geometry, Differential, Congresses.,Information theory in mathematics, Congresses.,Coding theory & cryptology.,Communications engineering-- telecommunications.,Data structures (Computer science),Geometrical models in statistics.,Geometry, Differential.,Information theory in mathematics.,MATHEMATICS-- Applied.,MATHEMATICS-- Geometry-- Differential.,MATHEMATICS-- Probability & Statistics-- General.,Numerical analysis.
رده :
QA276
.
23
G75
2019
100. Graph drawing and network visualization :
پدیدآورنده: Therese Biedl, Andreas Kerren (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer graphics, Congresses.,Graph theory-- Data processing, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Computer Graphics.,Data Structures.,Discrete Mathematics in Computer Science.,Computer graphics.,Graph theory-- Data processing.
رده :
QA76
.
9
.
A43
