181. Proceedings: The Eighih Knowledge- based Software Engineering Conference
المؤلف:
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Software engineering- Congresses,، Expert systems )Computer science(- Congresses
182. Proceedings : The Ninth Knowledge-based Software Engineering Conference September 20-23, 1994 Monterey, California
المؤلف: sponsored by Rome Laboratory, USAF; in cooperation with American Association for Artificial Intelligence )AAAI(, Association for Computing Machinery )ACM SIGART(, IEEE Computer Society
المکتبة: (طهران)
موضوع: Software engineering - Congresses , Expert systems )Computer science( - Congresses
رده :
QA
76
.
758
.
K66
1994
183. Proceedings of International Conference on Advances in Computing
المؤلف: Aswatha Kumar M., Selvarani R., T. V. Suresh Kumar (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Computer science, Congresses,Software engineering, Congresses
رده :
QA75
.
5
.
I58
2012eb
184. Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science.
المؤلف: Ford Lumban Gaol and Quang Vinh Nguyen (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science, Congresses,Computer software, Congresses,Software engineering, Congresses
رده :
QA75
.
5
.
I6135
2011eb
185. Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science.
المؤلف: Ford Lumban Gaol and Quang Vinh Nguyen (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science, Congresses,Computer software, Congresses,Software engineering, Congresses
رده :
QA75
.
5
.
I6135
2011eb
186. Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015)
المؤلف: \ [Edited by] Radek Silhavy...[et.al]
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Congresses.,Artificial intelligence -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,هوش مصنوعی-- کنگره‌ها ,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
S62
2015
E-Book
,
187. Proceedings 12th IEEE International Conference Automated Software Engineering, November, 1-5, 1997, Incline Village, Nevada; USA
المؤلف: sponsored by IEEE Computer Society, NASA Ames Research Center; in cooperation with AAAI, ACM SIGART and SIGSOFT with generous support from Microsoft
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
7
.
I33
1997
188. Proceedings, 12th IEEE International Conference on Tools with Artificial Intelligence: ICTAI 2000: November 13-15, 2000, Vancouver, British Columbia, Canada
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Software engineering,Congresses ، Expert system )Computer science(
رده :
Q
336
.
I57
2000
189. Quantum interactio
المؤلف: / Dawei Song ... [et al.] (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Artificial intelligence--Congresses,Quantum theory--Congresses,Computer science,Information theory,Computer software,Electronic data processing,Artificial intelligence,Theory of Computation,Algorithm Analysis and Problem Complexity,Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Mathematics of Computing,Computing Methodologies
رده :
Q
,
334
,.
Q25
,
2011
190. Recent trends in algebraic development techniques
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;
191. Recent trends in algebraic development techniques
المؤلف: \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره‌ها
رده :
QA
76
.
76
.
D47
W32
2015
E-Book
,
192. Recent trends in algebraic development techniques :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Development ; Congresses ; Computer science ; Mathematics ; Congresses ; Abstract data types (Computer science) ; Congresses ;
193. Recent trends in algebraic development techniques
المؤلف: / Maura Cerioli, Gianna Reggio (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses
رده :
QA
,
76
.
76
,.
D47
,
W33
,
2001
194. Recent trends in algebraic development techniques
المؤلف: / Jos?� Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses
رده :
QA
,
76
.
754
,
W32
,
2004
195. Recent trends in algebraic development techniques
المؤلف: Narciso Martí-Oliet, Miguel Palomino (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses,Computer software-- Development, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
D47
W33
2012
196. Recent trends in algebraic development techniques
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;
197. Recent trends in algebraic development techniques :
المؤلف: José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)
رده :
QA76
.
76
.
D47
198. Recent trends in algebraic development techniques
المؤلف: / Jose Luiz Fiadeiro, Pierre-Yves Schobbens (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses
رده :
QA
,
76
.
76
,.
D47
,
W33
,
2006
199. Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
المؤلف: Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
3423
200. Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers
المؤلف: Didier Bert, Christine Choppy, Peter Mosses )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1827
