141. Models, algebras and logic of engineering software
Author: edited by Manfred Broy and Markus Pizka
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Computer programs ، Engineering,Data processing ، Engineering,، Software engineering,، Computer software -- Development,، System design
Classification :
TA
345
.
N28
2002
142. Models in Software Engineering
Author: edited by Jörg Kienzle
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer simulation,Information Systems,Logic design,Software engineering,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Management of Computing and Information Systems,Programming Languages, Compilers, Interpreters,Simulation and Modeling,Software Engineering
143. Models, languages, and tools for concurrent and distributed programming :
Author: Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: De Nicola, Rocco.,Logic design.,Software engineering.,Logic design.,Software engineering.
Classification :
QA76
.
758
.
M63
2019
144. Modern Buddhist cultures -- The cultural practices of Buddhist modernity -- Shanghai Buddhism -- Vegetarian identities --
Author: Francesca Tarocco.
Library: Library of Islamic Parliament (Tehran)
Subject:
145. Multiagent System Technologies
Author: edited by Franziska Klügl, Sascha Ossowski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer networks.,Computer science.,Logic design.,Software engineering.
146. OOER '95:
Author: Michael P. Papazoglou (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Database management.,Software engineering.
147. Objects and systems :
Author: Bernard P. Zeigler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C++ (Computer program language),Object-oriented programming (Computer science),Objektorientierte Programmierung
Classification :
QA76
.
73
.
C153
B476
1997
148. On the Move to Meaningful Internet Systems:
Author: Pilar Herrero [and others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cloud computing -- Congresses.,Computer networks -- Congresses.,Internet -- Congresses.
149. Parallel processing and applied mathematics :
Author: Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
Classification :
QA76
.
58
150. Perspectives of System Informatics :
Author: edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
151. Perspectives of Systems Informatics
Author: edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer software,Computer vision,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
152. Picture Engineering
Author: edited by King-sun Fu, Tosiyasu L. Kunii.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
Classification :
TA1632
.
E358
1982
153. Post-quantum cryptography :
Author: edited by Tanja Lange, Rainer Steinwandt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data encryption (Computer science), Congresses.,Quantum computers, Congresses.,Coding theory & cryptology.,Computer architecture & logic design.,Computers-- Information Theory.,Computers-- Logic Design.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Quantum computers.,Software Engineering.
Classification :
QA76
.
9
.
A25
154. Principles of robotics & artificial intelligence /
Author: editor, Donald R. Franceschetti, PhD.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Robotics.,Artificial intelligence.,Robotics.
Classification :
TJ211
.
P75
2018
155. Progamming Language Implementation and Logic Programming :
Author: edited by Maurice Bruynooghe, Jaan Penjam.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
156. Program Specification :
Author: edited by Jørgen Staunstrup.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
E358
1982
157. Programming Language Implementation and Logic Programming :
Author: edited by Jan Maluszyński, Martin Wirsing.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
158. Programming Languages and Systems -- ESOP '94 :
Author: edited by Donald Sannella.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
159. Programming Languages and Systems -- ESOP '96 :
Author: edited by Hanne Riis Nielson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
160. Programming Logic and Design, Comprehensive
Author: / Joyce Farrell
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
