981. Software product lines : 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005 : proceedings
پدیدآورنده : Henk Obbink, Klaus Pohl )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3714
982. Software quality :
پدیدآورنده : Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Quality control, Congresses.,Computer software-- Quality control.
رده :
QA76
.
76
.
Q35
983. Software quality management IV: improving quality
پدیدآورنده : International Conference on Software Quality Management )4th: 6991: Cambridge, U.K.(
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Computer software- Quality control- Congresses
رده :
QA
76
.
76
.
Q35
I55
1996
984. Software science and engineering : Selected Papers from the Kyoto Symposia
پدیدآورنده : edited by Ikuo Nakata, Masami Hagiya
کتابخانه: (طهران)
موضوع : Computer software Congresses, Software engineering Congresses
رده :
QA
76
.
754
.
S6472
1991
985. Software systems safety /
پدیدآورنده : edited by Orna Grumberg, Helmut Seidl and Maximilian Irlbeck.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Software engineering, Congresses.,Systems software-- Safety measures, Congresses.
986. Software technologies :
پدیدآورنده : Manuel Mazzara, Iulian Ober, Gwen Salaün (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Computer software, Congresses.,Computer science.,Computer software.
رده :
QA76
.
758
987. Software technologies for embedded and ubiquitous systems
پدیدآورنده : Sunggu Lee, Priya Narasimhan (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Embedded computer systems, Congresses,Software engineering, Congresses,Ubiquitous computing, Congresses
رده :
TK7895
.
E42
S48
2009eb
988. Special issue of the International Multiconference of Engineers and Computer Scientists 2012
پدیدآورنده : Gi-Chul Yang [and others], editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering -- Congresses.,Engineering -- Congresses.,Software engineering -- Congresses.
رده :
TA5
.
G534
2013
989. Stabilization, safety, and security of distributed systems :
پدیدآورنده : Xavier Défago, Franck Petit, Vincent Villainches
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses,Electronic data processing-- Distributed processing-- Safety measures, Congresses,Self-stabilization (Computer science), Congresses
رده :
QA76
.
9
.
S54
S67
2011
990. Static Analysis
پدیدآورنده : \ Sandrine Blazy , Thomas Jensen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer programming -- Congresses.,Software engineering -- Congresses.,Computer programming.,برنامه‌نویسی -- کنگره‌ها,نرم‌افزار -- مهندسی-- کنگره‌ها ,برنامه‌نویسی
رده :
QA
76
.
6
.
S7
2015
E-Book
,
991. Static analysis :
پدیدآورنده : Antoine Miné, David Schmidt (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
6
.
I5733
2012eb
992. Static analysis
پدیدآورنده : Francesco Logozzo, Manuel Fähndrich (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Software engineering, Congresses
رده :
QA76
.
6
.
I58
2013
993. Static analysis
پدیدآورنده : Jens Palsberg, Zhendong Su (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
.
I5733
2009
994. Static analysis :
پدیدآورنده : Eran Yahav (edition)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
995. Studies of software design : ICSE '93 Workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers
پدیدآورنده : David Alex Lamb, )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1078
996. Subject-oriented business process management :
پدیدآورنده : Albert Fleischmann [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business-- Data processing, Congresses,Computer network architectures, Congresses,Management information systems, Congresses,Software engineering, Congresses
رده :
T58
.
6
.
S37
2011
997. Supercomputing :
پدیدآورنده : J. Kondō, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Grands ordinateurs -- Congrès.,Supercomputers -- Congresses.,Supercomputers.
رده :
QA76
.
88
J566
1991
998. Supercomputing frontiers :
پدیدآورنده : Rio Yokota, Weigang Wu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Supercomputers, Congresses.,Supercomputers.
رده :
QA76
.
88
999. System analysis and modeling:
پدیدآورنده : Oeystein Haugen, Rick Reed, Reinhard Gotzhein (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks -- Congresses.,Computer science -- Congresses.,Information systems -- Congresses.
1000. System analysis and modeling :
پدیدآورنده : Ferhat Khendek, Reinhard Gotzhein (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : System analysis, Congresses.,Business & Economics-- Information Management.,Computer hardware.,Computer networking & communications.,Computers-- Hardware-- General.,Computers-- Software Development & Engineering-- General.,Information architecture.,Software Engineering.,System analysis.
رده :
QA402
.
S26
2018
