61. Generative programming and component engineering : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29-October 1, 2005 : proceedings
المؤلف: Robert Gluck, Michael Lowry )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Generative programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3676
62. Implementation and application of functional language
المؤلف: / Jurriaan Hage, Marco T. Morazaan (eds
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
63. Information and Software Technologies
المؤلف: \ Giedre Dregvaite , Robertas Damasevicius (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a05,a05,Computer science -- Congresses.,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
I5
2015
E-Book
,
64. Information computing and applications :
المؤلف: Chunfeng Liu, Jincai Chang, Aimin Yang (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks, Congresses.,Computer science, Congresses.,Software engineering, Congresses.
رده :
QA75
.
5
.
I25
2011
65. Information computing and applications :
المؤلف: Chunfeng Liu, Jincai Chang, Aimin Yang (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks, Congresses.,Computer science, Congresses.,Software engineering, Congresses.
رده :
QA75
.
5
.
I25
2011
66. Information science and applications 2018 :
المؤلف: Kuinam J. Kim, Nakhoon Baek, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks, Congresses.,Computer software, Congresses.,Information science, Congresses.,Software engineering, Congresses.,Computer networks.,Computer software.,Information science.,LANGUAGE ARTS & DISCIPLINES-- Library & Information Science-- General.,Software engineering.
رده :
Z672
.
5
67. Integrated formal methods
المؤلف: John Derrick ... [et al.] (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
I58
2012eb
68. Knowledge and systems engineering :Proceedings of the Fifth International Conference KSE 2013, volume 1
المؤلف: Huynh, Van-Nam
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Expert systems )Computer science( -- Congresses,، Software engineering -- Congresses,، Systems engineering -- Congresses
رده :
T
58
.
5
.
K56719
2014
69. Knowledge-based software engineering
المؤلف: / edited by T. Hruska and M. Mashimoto
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Software engineering- Congresses,Expert systems (Computer science)- Congresses
رده :
QA76
.
758
.
K655
2000
70. Knowledge-based software engineering :
المؤلف: edited by Maria Virvou and Taichi Nakamura.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Expert systems (Computer science), Congresses.,Software engineering, Congresses.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Software engineering.
رده :
QA76
.
76
.
E95
J65
2008eb
71. Knowledge-based software engineering: proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering in Brno, Czech Republic, 2000
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
K66
2000
72. Knowledge-based software engineering: proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering, Brno, Czech Republic, 2000
المؤلف: edited by Tomas Hruska and Masa-aki Hashimoto
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
J65
2000
73. Knowledge-based software engineering: proceedings of the Third Joint Conference on knowledge-based software engineering in Smolentice, Slovakia, 1998
المؤلف: edited by Pavol Navrat and Haruki Ueno
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
K65
1998
74. Languages, Design Methods, and Tools for Electronic System Design
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Software architecture -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها ,معماری نرمافزار -- کنگره‌ها
رده :
E-Book
,
75. Languages, Design Methods, and Tools for Electronic System Design
المؤلف: \ Franco Fummi, Robert Wille, Editors
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Computer software -- Verification -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره‌ها
رده :
E-Book
,
76. Languages, design methods, and tools for electronic system design.
المؤلف: \ Frank Oppenheimer , Julio Luis Medina Pasaje Editors
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
9
.
L325
2016
E-Book
,
77. Learning software organizations : methodology and applications : 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, Kaiserslautern, Germany, June 16-19, 1999 : proceedings
المؤلف: Gunther Ruhe, Frank Bomarius )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1756
78. Love and sex with robots : third International Conference, LSR 2017, London, UK, December 19-20, 2017
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی زن و خانواده (تهران) (طهران)
موضوع: Artificial intelligence ***** Software engineering ***** Computer science ***** Human-robot interaction > Congresses ***** Computer Communication Networks *****
رده :
TJ
210
.
3
86L
79. Mathematical and Engineering Methods in Computer Science
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Congresses,Computer science -- Mathematics -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
80. Mathematical and Engineering Methods in Computer Science
المؤلف: \ Jan Kofroň , Tomáš Vojnar (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
M32
2016
E-Book
,
