221. UML 2000--the unified modeling language : advancing the standard : third International Conference, York, UK, October 2-6, 2000 : proceedings
پدیدآورنده : Andy Evans, Stuart Kent )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
رده :
QA
76
.
L28
Vol
.
1939
222. UML 2003-the unified modeling language : modeling languages and applications : 6th International Conference, San Francisco, CA, USA, October 20-24, 2003 : proceedings
پدیدآورنده : Perdita Stevens, Jon Whittle, Grady Booch )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
رده :
QA
76
.
L28
Vol
.
2863
223. <UML> 2001- the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings
پدیدآورنده : Martin Gogolla, Cris Kobryn )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
رده :
QA
76
.
L28
Vol
.
2185
224. UML 2004 : the unified modelling language : modelling languages and applications; 7th International Conference, Lisbon, Portugal, October 11-15, 2004 : proceedings
پدیدآورنده : Thomas Baar...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
رده :
QA
76
.
L28
Vol
.
3273
225. Unifying the software process spectrum
پدیدآورنده : Mingshu Li, Barry Boehm, Leon J. Osterweil (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses.,Computer software-- Quality control, Congresses.
226. VDM '87 :
پدیدآورنده : edited by D. Bjørner ... [et al.].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development-- Congresses.,Computer software industry-- European Economic Community countries-- Congresses.
رده :
QA76
.
76
.
D47
V85
1987
227. VDM '91
پدیدآورنده : / S. Prehn, W.J. Toetenel (eds.)
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer software- Development- Congresses
رده :
QA76
.
76
.
D47
,
V36
1991
228. VDM' 87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, proceedings
پدیدآورنده : edited by D. Bjorner...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer software industry -- European Economic Community countries
رده :
QA
76
.
L28
Vol
.
252
229. VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings
پدیدآورنده : VDM '78, )7891, Brussels, Belgium(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Computer software - Development,Congresses ، Computer software industry - European Economic Community countries
رده :
QA
76
.
L4
v
.
252
230. VDM '90 : VDM and Z : formal methods in software development : Proceedings
پدیدآورنده : D. Bjorner, C.A.R. Hoare, H. Langmaack )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
428
231. VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings
پدیدآورنده : VDM '09 )0991: Kiel, Germany(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
V36
1990
232. VDM'88 : VDM, the way ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September, 1988 : Proceedings
پدیدآورنده : R. Bloomfield, L. Marshall, R. Jones )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer software industry -- European Economic Community countries
رده :
QA
76
.
L28
Vol
.
328
233. VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings
پدیدآورنده : VDM '88 )8891: Dublin, Ireland(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Development-- Congresses,، Computer software industry-- European Economic Community countries-- Congresses
رده :
QA
76
.
76
.
D47
.
V854
1988
234. VDM'91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991: proceedings
پدیدآورنده : S. Prehn, W.J. Toetenel )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
551-552
235. VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings
پدیدآورنده : VDM '19 )1991: Noordwijkerhout, Netherlands(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
V36
1991
236. Vdm 87:vdm,a formal method at work:vdm-europe symposium 1987,
پدیدآورنده : BJORNER,DINES
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : COMPUTER SOFTWARE-DEVELOPMENT-CONGRESSES , COMPUTER SOFTWARE INDUSTRY-EUROPEAN
رده :
QA
76
.
76
.
D47
V85
1987
237. based software engineering-Component
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
238. embedded world 2003 conference: Grundlagen, Architekturen, Werkzeuge and Losungen 18 - 20 ,Februar
پدیدآورنده :
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : congresses ، Embedded computer systems - programming,congresses ، computer software - development
239. formal Software Development: From VDM to JAVA
پدیدآورنده : Charatan, Quentin, Quentin Charatan and Aaron Kans
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer software- Development- Congresses
رده :
QA
76
.
76
.
C45F62
