1181. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
پدیدآورنده : edited by Harmut Ehrig...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
249-250
1182. TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987. v.1.: Advanced seminar on foundations of innovative software development 1 and collquium on trees in algebra and programming )CAAP '87(
پدیدآورنده : Edited by Hartmut Ehrig...]et al.[
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Computer software - Development,Congresses ، Software engineering,Data processing - Congresses ، Trees )Graph theory(
رده :
QA
76
.
L4
v
.
249
1183. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989
پدیدآورنده : J. Diaz, F. Orejas )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
351-352
1184. TAPSOFT 91 : proceedings of the international joint conference on theory and practice of software development, Brighton, UK, April 8-12, 1991
پدیدآورنده : S. Abramsky, T.S.E. Maibaum )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
493-494
1185. TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
I58
1993
1186. TAPSOFT'97 : theory and practice of software development : 7th International Joint Conference CAAP/ FASE ... 1997 : proceedings
پدیدآورنده : Michel Bidoit, Max Dauchet )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
1214
1187. Tapsof: Proceedings of the International Joint Conference on theary and Practice of Software Development
پدیدآورنده : Internation Joint Conference on theory and Practice of Software Development, edited by G.Goos and J. Hartmanis
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer Software - Development - Cpngresses,، Software Engineering - Congresses,، Trees )Graph theay(- Data Processing - Congresses
رده :
QA
76
.
76
.
D47
I57
1985
1188. Tapsoft, 91 Proceedings of the internation Join Conference on Theory and Practice of Software Development
پدیدآورنده : International Joint Conference on the any and Practice of Software Development, S.Abramsky, T.S.E.Maibaum; editor by G.Goos and J.Hartmanis
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer Software - Developmenyt - Congresses,، Software - engineering - Congresses
رده :
QA
76
.
76
.
D47
I57A
1991
1189. Task models and diagrams for user interface design
پدیدآورنده : David England ... [et al.]& (eds.)
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Human-computer interaction, Congresses,User interfaces (Computer systems), Congresses,User interfaces (Computer systems), Design, Congresses,Task analysis, Congresses,Benutzeroberfleache., swd,Diagrammatisches Schliessen., swd,Kontextbezogenes System., swd,Mensch-Maschine-Kommunikation., swd,Modellgetriebene Entwicklung., swd,Prozessmanagement., swd,Task., swd,UML., swd,Breussel (2009), swd,Kongress., swd
1190. Technical and geoinformational systems in mining
پدیدآورنده : edited by Genadiy Pivnyak, Volodymyr Bondarenko, Iryna Kovalevs'ka.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Geographic information systems, Congresses.,Mines and mineral resources, Congresses.,Mining engineering, Congresses.,Mines and mineral resources.,Mining engineering.,TECHNOLOGY & ENGINEERING-- Mining.
1191. Technological innovation for resilient systems :
پدیدآورنده : Luis M. Camarinha-Matos, Kankam O. Adu-Kankam, Mohammad Julashokri (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cooperating objects (Computer systems), Congresses.,Application software.,Artificial intelligence.,Artificial intelligence.,Computer networks.,Computer science.,Computers-- Data Processing.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers, Special purpose.,Electric power production.,Energy technology & engineering.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Network hardware.,Technology & Engineering-- Power Resources-- General.
رده :
QA76
.
76
.
A65
I35
2018
1192. Technologies and innovation :
پدیدآورنده : Rafael Valencia-García, Gema Alcaraz-Mármol, Javier Del Cioppo-Morstadt, Néstor Vera-Lucio, Martha Bucaram-Leverone (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cloud computing, Congresses.,Computer science, Congresses.,Natural language processing (Computer science), Congresses.,Technological innovations, Congresses.,Artificial intelligence.,Cloud computing.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Mobile & handheld device programming-- Apps programming.,Natural language processing (Computer science),Software Engineering.,Technological innovations.
رده :
QA75
.
5
1193. Technology of object-oriented languages and systems, TOOLS 29 : proceedings : June 7-10, 1999, Nancy, France
پدیدآورنده : edited by Richard Mitchell ... ]et al.[ ; Sponsored Interactive Software Engineering, Inc.
کتابخانه: (طهران)
موضوع : Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
64
.
T665
1999
1194. Technology of object-oriented languages and systems: Tools 29: proceedings, June 7-10, 1999, Nancy, France
پدیدآورنده : edited by Richard Mitchell...]et al.[; sponsored by Interactive Software Engineering
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
64
.
T66
1999
1195. Technology trends :
پدیدآورنده : Miguel Botto-Tobar, Guillermo Pizarro, Miguel Zúñiga-Prieto, Mayra D'Armas, Miguel Zúñiga Sánchez (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Technological innovations, Congresses.,Technological innovations.
رده :
T173
.
8
1196. Tenth Conference on Software Engineering Education & Training: April 13-16, 1997, Virginia Beach, Virginia
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Software engineering-- Study and teaching )Higher(
رده :
QA
76
.
758
.
C687
1997
1197. Testbeds and research infrastructures for the development of networks and communications :
پدیدآورنده : Honghao Gao, Yuyu Yin, Xiaoxian Yang, Huaikou Miao (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture, Congresses.,Computer networks, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer architecture.,Computer networks.,Parallel processing (Electronic computers)
رده :
TK5105
.
5
.
T47
2018eb
1198. Testing software and systems
پدیدآورنده : Brian Nielsen, Carsten Weise (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Testing, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
T48
I28
2012eb
1199. Testing software and systems.
پدیدآورنده : \ Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Testing -- Congresses,Software engineering -- Congresses,نرم‌افزار -- آزمایش -- کنگره ها,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
76
.
T48
I34
2015
E-Book
,
1200. Tests and proofs
پدیدآورنده : Achim D. Brucker, Jacques Julliand
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
T48
T37
2012eb
