1. Artificial neural networks and machine learning -- ICANN 2018 :
پدیدآورنده: Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Neural networks (Computer science), Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Computer Systems Organization and Communication Networks.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Systems and Data Security.,Algorithms & data structures.,Artificial intelligence.,Computer networking & communications.,Computer security.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Programming-- Algorithms.,Computers-- Security-- General.,Image processing.,Neural networks (Computer science)
رده :
QA76
.
87
2. Codeless Data Structures and Algorithms
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer Science; Algorithm Analysis and Problem Complexity; Data Structures; Coding and Information Theory; Big Data; Big Data/Analytics; Data Mining and Knowledge Discovery
3. Complexity and Approximation
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer Science; Algorithm Analysis and Problem Complexity; Mathematics of Algorithmic Complexity
4. Computer Science -- Theory and Applications.
پدیدآورنده: \ Lev D. Beklemishev , Daniil V. Musatov (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Congresses.,Algorithm Analysis and Problem Complexity.,علوم کامپیوتر -- کنگره‌ها
رده :
QA
75
.
5
.
C6
2015
E-Book
,
5. Frontiers in Algorithmics
پدیدآورنده: \ Jianxin Wang, Chee Yap (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer algorithms -- Congresses.,Discrete Mathematics in Computer Science.,Algorithm Analysis and Problem Complexity.,الگوریتم‌های کامپیوتری -- کنگره ها
رده :
QA
76
.
9
.
F76
2015
E-Book
,
6. Graph Drawing and Network Visualization :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Data structures (Computer science). ; Software engineering. ; Algorithm Analysis and Problem Complexity. ; -Algorithms. ; Application software. ; Computer graphics. ; Computer science
7. Graph Structures for Knowledge Representation and Reasoning
پدیدآورنده: edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence,Computer science,Computer software,Logic design,Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Techniques
8. Graph drawing
پدیدآورنده: \ [edited by] Stephen Wismath, Alexander Wolff.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Discrete Mathematics in Computer Science,Algorithm Analysis and Problem Complexity., علوم کامپیوتر ,ریاضی گسسته-- علوم کامپیوتر
رده :
E-book
,
9. Introducing Algorithms in C
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer Science; Programming Languages, Compilers, Interpreters; Algorithm Analysis and Problem Complexity; Programming Techniques
10. Logic and Program Semantics
پدیدآورنده: edited by Robert L. Constable, Alexandra Silva
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
11. OpenMP in a Heterogeneous World
پدیدآورنده: edited by Barbara M. Chapman, Federico Massaioli, Matthias S. Müller, Marco Rorro
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science,Computer software,Computer system performance,Algorithm Analysis and Problem Complexity,Computation by Abstract Devices,Computer Science,Processor Architectures,Programming Languages, Compilers, Interpreters,Programming Techniques,System Performance and Evaluation
12. Parallel Processing and Applied Mathematics
پدیدآورنده: \ [Edited by] Roman Wyrzykowski...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a03,a03,Algorithm Analysis and Problem Complexity.
رده :
E-Book
,
13. Pro TBB :
پدیدآورنده: Michael Voss, Rafael Asenjo, James Reinders.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer software.,Data structures (Computer science),Algorithm Analysis and Problem Complexity.,Data Structures.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Computer science.,Computer software.,Data structures (Computer science)
رده :
QA76
.
V67
2019
14. Runtime Verification
پدیدآورنده: edited by Sarfraz Khurshid, Koushik Sen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
15. Scale Scientific Computing-Large
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer Science; Algorithm Analysis and Problem Complexity; Computer Systems Organization and Communication Networks; Information Systems Applications (incl.Internet); Coding and Information Theory
16. Theoretical computer science :
پدیدآورنده: edited by Lian Li, Pinyan Lu, Kun He.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: 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.
رده :
QA75
.
5
17. Transactions on computational science XIV :
پدیدآورنده: Marina L. Gavrilova, C.J. Kenneth Tan, Mir Abolfazl Mostafavi (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Research,Voronoi polygons,Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computer Graphics,Computer Science,Data Structures,Discrete Mathematics in Computer Science,Numeric Computing
رده :
QA76
.
27
.
T73
2011
18. Vorlesungen über Informatik :
پدیدآورنده: von Gerhard Goos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithm Analysis and Problem Complexity.,Computer science.,Computer Science.
19. WALCOM
پدیدآورنده: \ [edited by] M. Sohel Rahman, Etsuji Tomita.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer algorithms -- Congresses.,Algorithm Analysis and Problem Complexity.,Math Applications in Computer Science.,الگوریتم‌های کامپیوتری -- کنگره ها
رده :
QA
76
.
9
.
A43W32
2015
E-Book
,
