61. Automated technology for verification and analysis :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

رده :
QA76
.
9
.
A96

62. Autonomous Systems :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Automation.,Computer science.,Engineering.,Operating systems (Computers),Software engineering.,Structural control (Engineering),Artificial intelligence.,Automation.,Automation.,Computer science.,Engineering.,Ingénierie.,Intelligent control systems.,Operating systems (Computers),Software engineering.,Structural control (Engineering)

رده :
Q334
.
A98
2008

63. Beginning AI bot frameworks :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer networks.,Computer programming.,Software engineering.,Artificial intelligence.,Artificial intelligence.,Computer networks.,Computer science.,COMPUTERS-- General.,Network hardware.,Software engineering.

رده :
Q335

64. Bidirectional transformations :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)

رده :
QA601

65. Big data and software defined networks /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Big data.,Software-defined networking (Computer network technology),bandwidth allocation.,Big data.,Big Data.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,information analysis.,message passing.,resource allocation.,software defined networking.,Software-defined networking (Computer network technology)

رده :
TK5105
.
5833
.
B54
2018eb

66. Biomedical Informatics :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Medical records-- Data processing.,Medicine.,Medical records-- Data processing.,Medicine.

رده :
R858-859
.
7

67. Biomedical informatics :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Bioinformatics.,Biomedical engineering.,Medical informatics.,Bioinformatics.,Biomedical engineering.,Médecine.,Medical informatics.

رده :
R858
.
M397
2014

68. Biomedical informatics :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Bioinformatics.,Biomedical engineering.,Medical informatics.,Medical Informatics.,Bioinformatics.,Biomedical engineering.,Informática médica.,Medical informatics.

رده :
R858
.
M397
2014

69. Blockchain for distributed systems security /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Blockchains (Databases),Internet auctions-- Security measures.,Blockchains (Databases),COMPUTERS-- Security-- General.

رده :
QA76
.
9
.
B56
B56
2019eb

70. Building parallel, embedded, and real-time applications with Ada /

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : ، Ada )Computer program language(,، Parallel programming )Computer science(,، Embedded computer systems- Programming,، Real-time data processing,، Multiprocessors- Programming,، COMPUTERS / Software Development & Engineering / General$2 bisacsh

رده :
QA
76
.
73
.
A35
M375
2011

71. Building the e-World ecosystem :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer networks, Congresses.,Electronic commerce, Congresses.,Information technology, Congresses.,Internet in public administration, Congresses.,World Wide Web, Congresses.

رده :
TK5105
.
5
.
I35
2011

72. COMPSTAT 2004 - Proceedings in Computational Statistics

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Information storage and retrieval systems.,Mathematical statistics.,Statistics.

73. Certification and security in inter-organizational E-services :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Business-- Data processing-- Security measures, Congresses.,Computer security, Congresses.,Business-- Data processing-- Security measures.,Computer Science.,Computer security.,Electrical & Computer Engineering.,Engineering & Applied Sciences.,Informatique.,Telecommunications.

رده :
QA76
.
9
.
A25
I462
2005

74. Chinese lexical semantics :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Chinese language-- Semantics, Congresses.,Computational linguistics, Congresses.,Artificial intelligence.,Chinese language-- Semantics.,Computational linguistics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Computers-- System Administration-- Storage & Retrieval.,Foreign Language Study-- Chinese.,Information retrieval.,Software Engineering.

رده :
PL1291
.
C45
2018eb

75. Cloud Native Development Patterns and Best Practices :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Application program interfaces.,Application software-- Development.,Cloud computing.,Application software-- Development.,Cloud computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.

رده :
QA76
.
585
.
G553
2018

76. Cloud computing :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Cloud computing.,Circuits & components.,Cloud computing.,Communications engineering-- telecommunications.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Network hardware.

رده :
QA76
.
585

77. Co-design for system acceleration :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer interfaces.,Memory management (Computer science),System design.,Computer interfaces.,COMPUTERS-- Software Development & Engineering-- Systems Analysis & Design.,Hardware.,Ingénierie.,Interfaces.,Memory management (Computer science),Parallelle verwerking.,Programmatuurtechniek.,System design.

رده :
QA76
.
9
.
S88
N43
2007eb

78. Code generation, analysis tools, and testing for quality /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Automatic programming (Computer science),Computer programs-- Testing.,Computer software-- Quality control.,Automatic programming (Computer science),Computer programs-- Testing.,Computer software-- Quality control.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.

رده :
QA76
.
76
.
T48
C63
2019eb

79. Cognitive Informatics and Soft Computing :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computational intelligence, Congresses.,Soft computing, Congresses.,Computational intelligence.,COMPUTERS-- General.,Soft computing.

رده :
Q342

80. Collaboration and technology :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Groupware (Computer software), Congresses,Microcomputer workstations-- Congresses,Teams in the workplace-- Data processing, Congresses

رده :
HD66
.
2
.
I58
2011