41. Advances in information systems science. Volume 3
پدیدآورنده: edited by Julius T. Tou.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information science.,Information technology.
42. Algebraic Foundations of Systems Specification
پدیدآورنده: edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
43. Algebraic Methodology and Software Technology :
پدیدآورنده: edited by Charles Rattray, Savitri Maharaj, Carron Shankland.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
44. Algebraic foundations in computer science :
پدیدآورنده: edited by Werner Kuich, George Rahonis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
A44
2011
45. Ambient communications and computer systems :
پدیدآورنده: Gregorio Martinez Perez, Shailesh Tiwari, Munesh C. Trivedi, Krishn K. Mishra, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Ambient intelligence, Congresses.,Computer networks, Congresses.,Telecommunication systems, Congresses.,Ambient intelligence.,Computer networks.,TECHNOLOGY & ENGINEERING-- Mechanical.,Telecommunication systems.
رده :
TK5101
.
A1
47. Analysis and Design of Information Systems
پدیدآورنده: by Arthur M. Langer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Software engineering.
رده :
QA76
.
76
.
D47
B937
2001
48. Applications of continuous mathematics to computer science /
پدیدآورنده: by Hung T. Nguyen, Vladik Kreinovich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Computer science-- Mathematics.,COMPUTERS.,CONTINUITY (MATHEMATICS),Informatik,MATHEMATICS.,Mathematik
رده :
QA76
.
9
.
M35
N49
1997
49. Applied reconfigurable computing : architectures, tools, and applications :
پدیدآورنده: edited by Nikolaos Voros, Michael Huebner, Georgios Keramidas, Diana Goehringer, Christos Antonopoulos, Pedro C. Diniz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Adaptive computing systems, Congresses.,Computer architecture, Congresses.,Adaptive computing systems.,Artificial intelligence.,Computer architecture.,Computer hardware.,Computer networking & communications.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Image processing.,Software Engineering.
رده :
QA76
.
9
.
A3
50. Asynchronous sequential machine design and analysis
پدیدآورنده: / Richard F. Tinder
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Asynchronous circuits, Mathematical models,Sequential circuits, Mathematical models,Sequential machine theory, Mathematical models,Asynchronous,Sequential,Sequencers,Logic,Machines,Digital,Self-timed,Arbiters
رده :
E-BOOK
51. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
پدیدآورنده: Puppis, Gabriele
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
رده :
QA
267
.
P87
2010
52. Automated Deduction - CADE-23 :
پدیدآورنده: edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
53. Automated technology for verification and analysis :
پدیدآورنده: Tevfik Bultan, Pao-Ann Hsiung (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
54. Automating Instructional Design:
پدیدآورنده: edited by Robert D. Tennyson, Ann E. Barron.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Educational technology.,Software engineering.
56. BL,BL
پدیدآورنده: / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
57. CAM :
پدیدآورنده: edited by D. Kochan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer graphics.,Computer science.,Computer-aided design.
رده :
TS155
.
6
E358
1985
58. Certified programs and proofs :
پدیدآورنده: Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
59. Communication and Cooperation in Agent Systems :
پدیدآورنده: edited by Afsaneh Haddadi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks.,Computer science.,Software engineering.
رده :
QA76
.
9
.
D5
E358
1996
60. Compiler Generators :
پدیدآورنده: by Mads Tofte.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
C65
B963
1990
