1. ......................
پدیدآورنده: Colloquium on Trees in Algebra and Programming )DAAP58(, edited by Hartmut Ehrig... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Development - Mathematics - Congresses ، Computer software,Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
76
.
D47
I57
1985
vol
.
1
2. ACM SIGPLAN Erlang Workshop'02 : A satellite event of PLI 2002 : October 7, 2002, Pittsburgh, Pennsylvania, USA
پدیدآورنده:
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
E75A26
2002
3. 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
4. Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings
پدیدآورنده: edited by D. Bjorner
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
86
5. Abstract software specifications, 1979 Copenhagen Winter School, January 22-February 2, 1979
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital Computers-- Programming-- Congresses
رده :
QA
76
.
6
.
W51
1979
6. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
پدیدآورنده: edited by Peter J.L. Wallis
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Ada )Computer program language(,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
180
7. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
پدیدآورنده: Ada Software Tools Interfaces Workshop )3891: Bath, England(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Ada )Computer program language(-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
73
.
A35
.
A34
1983
8. 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
9. Advanced course on software Engineering munich 1971. Soptware engineering: an advanced course
پدیدآورنده: F.L.Baver... )et al( edited by F.L.Bover
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Electronic digital computers - programming - congresses,، Programming language )Electronic computers( - congresses
رده :
QA
76
.
6
.
A33
1975
10. Advanced information technology in education / monograph.
پدیدآورنده: Khine Soe Thaung (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer-assisted instruction -- Congresses.,Education -- Data processing -- Congresses.,Educational technology -- Congresses.
رده :
LB1028
.
43
K456
2012
11. Advanced parallel processing technologies :
پدیدآورنده: Olivier Temam, Pen-Chung Yew, Binyu Zang (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
A67
2011
12. Advances in Digital Forensics XI :
پدیدآورنده: edited by Gilbert Peterson, Sujeet Shenoi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Application software.,Computer crimes-- Investigation, Congresses.,Computer science.,Computer security, Congresses.,Computer security.,Computers and civilization.,Data encryption (Computer science),Electronic commerce.,Computer Appl. in Administrative Data Processing.,Computer Science.,Computers and Society.,Data Encryption.,e-Commerce/e-business.,Systems and Data Security.
رده :
QA76
.
9
.
A25
13. Advances in artificial intelligence :
پدیدآورنده: Ebrahim Bagheri, Jackie C.K. Cheung (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Information retrieval.,Natural language & machine translation.
رده :
Q334
.
C36
2018
14. 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
15. Advances in computer communication and computational sciences :
پدیدآورنده: Sanjiv K. Bhatia [and 3 others], editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks, Congresses.,Computer science, Congresses.,Computational intelligence.,Computers.,Electrical engineering.,Engineering.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TK5101
16. Advances in conceptual modeling :
پدیدآورنده: Carson Woo, Jiaheng Lu, Zhanhuai Li, Tok Wang Ling, Guoliang Li, Mong Li Lee (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Database design, Congresses.,Web databases, Congresses.,Data Mining and Knowledge Discovery.,Database Management.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Software Engineering.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Software Development & Engineering-- General.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Database design.,Databases.,Information retrieval.,Software Engineering.,Web databases.
رده :
QA76
.
9
.
D26
17. Advances in cryptology -- ASIACRYPT 2018 :
پدیدآورنده: Thomas Peyrin, Steven Galbraith (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data encryption (Computer science), Congresses.,Artificial intelligence.,Coding theory & cryptology.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
18. Advances in cryptology -- EUROCRYPT 2018 :
پدیدآورنده: Jesper Buus Nielsen, Vincent Rijmen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Data encryption (Computer science), Congresses.,Artificial intelligence.,Coding theory & cryptology.,Computer networks-- Security measures.,Computer security.,Computers-- Database Management-- Data Mining.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Social Aspects-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Data mining.,Ethical & social aspects of IT.,Software Engineering.
رده :
QA76
.
9
.
A25
19. Advances in data and information sciences :
پدیدآورنده: Mohan L. Kolhe, Munesh C. Trivedi, Shailesh Tiwari, Vikash Kumar Singh, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Computer engineering, Congresses.,Software architecture, Congresses.,Artificial intelligence.,Computer engineering.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Software architecture.
رده :
QA76
.
751
20. Advances in human factors and systems interaction :
پدیدآورنده: editor, Isabel L. Nunes.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Human engineering, Congresses.,Human-computer interaction, Congresses.,Systems engineering, Congresses.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.,Human engineering.,Human-computer interaction.,Systems engineering.
رده :
QA76
.
9
.
H85
