801. Unifying theories of programming :
Author: Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,computerkunde.,software engineering.
Classification :
QA76
.
6
B875
2013
802. Verification, Model Checking, and Abstract Interpretation.
Author: \ Barbara Jobstmann , K. Rustan M. Leino (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification.,نرمافزار -- راستیآزمایی -- کنگره ها,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- راستیآزمایی
Classification :
.
V4
2016
E-Book
,
803. Verification, Model Checking, and Abstract Interpretation
Author: \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها
Classification :
QA
76
.
76
.
V47
2015
E-Book
,
804. Virtual design and manufacture
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، CAD/CAM systems,Congresses ، Virtual reality,Congresses ، Engineering design-- Data processing,Congresses ، Manufacturing processes-- Computer simulation
Classification :
TS
155
.
6
.
V57
2000
805. Virtual prototyping : virtual environments and the product design process : Proceedings of the IFIP WG 5.10 Workshop on Virtual Environments and Their Applications and Virtual Prototyping, 1994
Author: edited by Joachim Rix, Stefan Haas and Jose Teixeira
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Virtual computer systems - Congresses , Prototypes, Engineering - Congresses , New products - Design - Computer simulation - Congresses , Design, Industrial - Computer simulation - Congresses
Classification :
QA
76
.
9
.
V5
I34
1994
806. Visualization and intelligent design in engineering and architecture
Author:
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Computer graphics - Congresses,Computer-aided design - Congrsses,Engineering design - Congrasses,Architecture - Congresses
Classification :
T385
.
I52
1993
807. WG 5.2 International workshop on Computer Aided Design (3rd
Author: / edited H.Yoshikawa,IFIP TC5
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Computer - aided design -- Congresses,Engineering design -- Data processing -- Congtesses,Artificial intelligence -- Congresses
Classification :
TA
174
.
I1318
1989
808. Web Information Systems Engineering – WISE 2015
Author: \ edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Computer science.,Computer networks.,نرمافزار -- مهندسی -- کنگرهها ,علوم کامپیوتر,شبکههای رایانه ای
Classification :
QA76
.
758
.
W41
2015
E-Book
,
809. agent systems V-Software engineering for multi
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
810. based software engineering-Component
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
811. oriented software engineering VI-Agent
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
812. oriented software engineering VII-Agent
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
813. oriented software engineering VIII-Agent
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
814. services :-technologies, infrastructures, tools, and applications for e-Agent
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Intelligent agents (Computer software) ; Congresses ; Software engineering ; Congresses ; Electronic commerce ; Computer programs ; Congresses ;
815. 31st Design Automation Conference, San Diego Convention Center, San Diego, CA Juan 6-10, 1994 Proceedings 1994
Author: Sponsored by ACM SIGDA ... ]et al.[
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Engineering design - Data processing - Congresses , Computer-aided design - Congresses
Classification :
TA
174
.
D46
1994
816. 16th Annual International Conference on Automated Software Engineering
Author: IEEE International Automated Software Engineering Conference (16th : 2001 :San Diego, California)
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Software engineering- Congresses►Expert systems (Computer science)- Congresses
Classification :
76
.
758
.
I54
817. 30th Design Automation Conference, June, 14-18, 1993 Dallas, Texas Dallas Convention Center Proceedings 1993
Author: Sponsored by ACM SIGDA ...]et al.[
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Engineering design - Data processing - Congresses , Computer-aided design - Congresses
Classification :
TA
174
.
D46
1993
818. 11th International Conference on Computer-Aided Production Engineering : 20-21 september, 1995
Author: Organized by the Manufaturing Division of the Institution of mechanical Engineers
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Production engineering - Data processing - Congresses , Computer-aided engineering - Congresses
Classification :
TS
176
.
I552
1995
819. 12th International Symposium on Process Systems Engineering and 25th European Symposium on Computer Aided Process Engineering.
Author: editors, Krist Gernaey, Jakob Huusom and Rafiqul Gani.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-aided engineering, Congresses.,Production engineering-- Data processing, Congresses.
820. 7th International conference on computer-aided production engineering
Author: / edited by V.C. Venkatesh and J.A.McGeough
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Production engineering-- Data processing-- Congresses,Computer-aided engineering-- Congresses
Classification :
TS
176
.
I552
1991
