• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۴ پاسخ غیر تکراری از ۴ پاسخ تکراری در مدت زمان ۰,۶۴ ثانیه یافت شد.

1. Leveraging applications of formal methods, verification and validation :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

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 :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

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 :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Computer software ; Reusability ; Congresses. ;

Classification :

4. Reuse in the Big Data Era :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

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
  • »
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival