101. Software performance and scalability: a quantitative approach
Author: Liu, Henry H.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Development ، Computer software,، System design
Classification :
QA
76
.
76
.
D47
L577
2009
102. Software system development;a gentle introduction
Author: Carol Britton,Jill Doake
Library: Library of Faculty of Management of Tehran University (Tehran)
Subject: Computer software-Development.,System design.
103. Software system development: a gentle introduction
Author: Britton, Carol
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Development,، System design
Classification :
QA
76
.
76
.
D47
.
B75
2003
104. Solaris application programming /
Author: Darryl Gove
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Solaris (Computer file),Application software-- Development,Operating systems (Computers),System design
105. Story board prototypin: A new approach to user requirements analysis
Author: Stephen J. Andriole
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer software- Development,System design
Classification :
QA
،
76
.
76
،.
D47
,
A53
،
1989
106. System-On-A-Chip verification
Author: / Prakash Rashinkar, Peter Paterson, Leena Singh
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: System design,Electronic digital computers -- Design and construction,Computer software -- Development
Classification :
QA
76
.
9
.
S88R37
2001
107. System-On-A-Chip verification :methodology and techniques
Author: Rashinkar, Prakash
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، System design,Design and construction ، Electronic digital computers,Development ، Computer software
Classification :
QA
76
.
9
.
S88
R37
2001
108. System development and Ada: CRAI Workshop on Software Factories and Ada Capri, Italy, May 1986 : Proceedings
Author: A.N. Habermann, U. Montanari )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Ada )Computer program language(
Classification :
QA
76
.
L28
Vol
.
275
109. Systems development methods for databases, enterprise modeling, and workflow management
Author: edited by Wita Wojtkowski [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Development -- Congresses.,System design -- Congresses.,Workflow management systems -- Congresses.
Classification :
QA76
.
9
.
S88
E358
1999
110. Teaching and learning formal methods
Author: / edited by C. Neville Dean and Michael G. Hinchey
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer software -- Development -- Study and teaching,System design -- Study and teaching
Classification :
QA
76
.
9
.
S88T4
1996
111. Technology + culture
Author: / Paolo Rocchi
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer software--Development,System design
Classification :
E
169
.
1
.
R7
2000
112. Technology + culture = software
Author: / by Paolo Rocchi
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Computer software,System design,-- Development
Classification :
005
.
1
R671T
2000
113. The prototyping methodology
Author: Kenneth E. Lantz
Library: Library of Faculty of Psychology and Educational Sciences University of Tehran (Tehran)
Subject: System design,Computer software - Development
Classification :
QA
,
76
.
9
,.
S8
,
1985
114. Tools and algorithms for the construction and analysis of system
Author: / C.R. Ramakrishnan, Jakob Rehof (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: System design--Congresses,System analysis--Congresses,Computer software--Development--Congresses
Classification :
QA
,
76
.
9
,.
S88
,
T33
,
2008
115. Tools and algorithms for the construction and analysis of systems
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: System design ; Congresses. ; Computer software ; Development ; Congresses. ;
116. Tools and algorithms for the construction and analysis of systems :
Author: Tiziana Margaria, Bernhard Steffen, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
117. Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS'96, Passau, Germany, March 27-29 : proceedings
Author: Tizina Margaria, Bernhard Steffen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1055
118. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers
Author: E. Brinksma ... )et al.(, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
V0l
.
1019
119. Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
Author: W. Rance Cleaveland )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
1579
120. Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000 : proceedings
Author: Susanne Graf, Michael Schartzbach )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
1785
