1. Leveraging applications of formal methods, verification and validation :
Author: Tiziana Margaria, Bernhard Steffen (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
Classification :
QA76
.
9
.
F67


2. Metadata and semantic research :
Author: Fabio Sartori, Miguel Ángel Sicilia, Nikos Manouselis (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Metadata, Congresses.,Semantic computing, Congresses.,Semantic Web, Congresses.,COMPUTERS-- Online Services.,COMPUTERS-- System Administration-- Storage & Retrieval.,Informatique.,Metadata.,Semantic computing.,Semantic Web.
Classification :
QA76
.
5913
.
I584
2009eb


3. Reuse in emerging software engineering practices :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Reusability ; Congresses. ;

4. Reuse in the Big Data Era :
Author: Xin Peng, Apostolos Ampatzoglou, Tanmay Bhowmik (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Reusability, Congresses.,Systems engineering, Congresses.,Computer software-- Reusability.,Systems engineering.
Classification :
QA76
.
76
.
R47
I587
2019

