61. Software Composition
پدیدآورنده : edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
62. Software Engineering for Resilient Systems :
پدیدآورنده : edited by Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
63. Software Service and Application Engineering
پدیدآورنده : edited by Maritta Heisel
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks,Computer science,Logic design,Software engineering,Computation by Abstract Devices,Computer Communication Networks,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Software Engineering
64. Software System Design Methods :
پدیدآورنده : edited by Jozef K. Skwirzynski.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
D47
E358
1986
65. Softwaretechnik für verteilte Systeme
پدیدآورنده : von Jürgen Nehmer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
66. Telepresence
پدیدآورنده : edited by P. J. Sheppard, G. R. Walker.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Multimedia systems.,Software engineering.
67. The Temporal Logic of Reactive and Concurrent Systems :
پدیدآورنده : by Zohar Manna, Amir Pnueli.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
6
B996
1992
68. Theory and Practice of Model Transformations :
پدیدآورنده : edited by Jordi Cabot, Eelco Visser.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
D47
E358
2011
69. Theory and Practice of Model Transformations
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Model-driven software architecture -- Congresses,Computer science,Computer Communication Networks,علوم کامپیوتر,شبکههای ارتباطی کامپیوتری
رده :
E-Book
,
70. Theory and Practice of Model Transformations
پدیدآورنده : edited by Zhenjiang Hu, Juan Lara
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Languages, Compilers, Interpreters,Software Engineering
71. Understanding Agent Systems
پدیدآورنده : by Mark d'Inverno, Michael Luck.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
72. Verification, Model Checking, and Abstract Interpretation :
پدیدآورنده : edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2013
73. Vernetzte und komplexe Informatik-Systeme :
پدیدآورنده : herausgegeben von Bernd E. Wolfinger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
5
H473
1988
74. Web-Age Information Management :
پدیدآورنده : edited by Yunjun Gao, Kyuseok Shim, Zhiming Ding, Peiquan Jin, Zujie Ren, Yingyuan Xiao, An Liu, Shaojie Qiao.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Computer software.
75. Web Information Systems Engineering WISE 2014 Workshops : 15th International Workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 12-14, 2014, Revised Selected Papers
پدیدآورنده : edited by Boualem Benatallah, Azer Bestavros, Barbara Catania, Armin Haller, Yannis Manolopoulos, Athena Vakali, Yanchun Zhang.
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Artificial intelligence,، Computer Communication Networks,، Computer science,، Software engineering
رده :
TK
5105
.
888
.
W37
2015