1. Advances in Scientific Visualization
پدیدآورنده: edited by Frits H. Post, Andrea J.S. Hin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer simulation.,Software engineering.
رده :
Q183
.
9
E358
1992
2. Advances in computer science and ubiquitous computing: CSA-CUTE 17
پدیدآورنده: / Edited by Jong Hyuk Park... [et al.].
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Computer science -- Congresses.,Ubiquitous computing -- Congresses.,Computer science.,Ubiquitous computing.
3. Advances in computing systems and applications: proceedings of the 3rd Conference on Computing Systems and Applications
پدیدآورنده: / Edited by Oualid Demigha, Badis Djamaa, Abdenour Amamra.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: هوش کامپیوتری,Computational intelligence,هوش مصنوعی,Artificial intelligence,a03,a03,a05,a05,Computing Systems.,Computing applications.
4. Advances in sport science and computer science
پدیدآورنده: editor, Mark Zhou, Hong Kong Education Society, Hong Kong.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science -- Congresses.,Sports -- Data processing -- Congresses.,Sports sciences -- Congresses.
رده :
GV713
.
E358
2014
5. Algorithms for Parallel Processing
پدیدآورنده: edited by Michael T. Heath, Abhiram Ranade, Robert S. Schreiber.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorics.,Computer software.,Mathematics.,Numerical analysis.
6. Analytical and Stochastic Modelling Techniques and Applications
پدیدآورنده: edited by Sabine Wittevrongel, Tuan Phung-Duc.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Computer software.,Computer system performance.,Operating systems (Computers),Software engineering.
رده :
QA76
.
758eb
7. Applied Mathematics: Body and Soul
پدیدآورنده: by Kenneth Eriksson, Donald Estep, Claes Johnson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Chemistry-- Mathematics.,Computer science-- Mathematics.,Engineering mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.,Matrix theory.
8. Applied Mathematics: Body and Soul
پدیدآورنده: by Kenneth Eriksson, Donald Estep, Claes Johnson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Chemistry-- Mathematics.,Computer science-- Mathematics.,Engineering mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.,Matrix theory.
9. Applied Mathematics: Body and Soul
پدیدآورنده: by Kenneth Eriksson, Claes Johnson, Donald Estep.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Chemistry-- Mathematics.,Computer science-- Mathematics.,Engineering mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.,Matrix theory.
10. Basic NEC with broadcast applications /
پدیدآورنده: J.L. Smith.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Antenna arrays.,Radio-- Transmitters and transmission.,Television-- Transmitters and transmission.,Antenna arrays.,Radio-- Transmitters and transmission.,TECHNOLOGY & ENGINEERING-- Mobile & Wireless Communications.,TECHNOLOGY & ENGINEERING-- Radio.,Television-- Transmitters and transmission.
رده :
TK7871
.
6
.
S566
2008
11. CAD/CAM in Practice :
پدیدآورنده: by A.J. Medland, Piers Burnett.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Physical Sciences & Mathematics.,Science (General),Sciences - General.
رده :
TS155
.
6
B935
1986
12. CAM :
پدیدآورنده: edited by D. Kochan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer graphics.,Computer science.,Computer-aided design.
رده :
TS155
.
6
E358
1985
13. Computational Electromagnetic
پدیدآورنده: / by Thomas Rylander, Par Ingelstr?╢m, Anders Bondeson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science,Numerical analysis,Computer engineering,Electronic books
رده :
E-BOOK
14. Computational Methods in Stochastic Dynamic
پدیدآورنده: / edited by Manolis Papadrakakis, George Stefanou, Vissarion Papadopoulos
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Engineering,Computer science,Vibration,Electronic books
رده :
E-BOOK
15. Computational science and its applications - ICCSA 2003 / 3.
پدیدآورنده: Vipin Kumar ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
16. Computer Aided Design :
پدیدآورنده: by José L. Encarnação, Rolf Lindner, Ernst G. Schlechtendahl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer graphics.,Computer science.,Computer-aided design.
رده :
TA174
.
B956
1990
17. Computer Aided Systems Theory - EUROCAST '91 :
پدیدآورنده: by Franz Pichler, Roberto Moreno Diaz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Biology_xData processing.,Computer-aided design.
18. Computer Aided Verification :
پدیدآورنده: Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
19. Computer-aided graphing and simulation tools for AutoCAD users /
پدیدآورنده: P.A. Simionescu, Texas A&M University, Corpus Christi, USA
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer-aided design.,Computer-aided engineering.,Graphic methods-- Data processing.
20. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
پدیدآورنده: / edited by Isil Dillig, Serdar Tasiran.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
