Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Sách
|
Reliable Software Technologies -- Ada-Europe 2005 Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 : proceedingsAda-Europe International Conference on Reliable Software Technologies York, England 2005 10th ; Vardanega T; Wellings Andrew Jc2005Kiểm tra tình trạng sẵn có của tài liệu |
|
2 |
Material Type: Sách
|
UML 2004 - The Unified Modeling Language Modeling languages and applicationsBaar Thomas; Strohmeier Alfred; Moreira Ana2004Kiểm tra tình trạng sẵn có của tài liệu |
|
3 |
Material Type: Sách
|
Software Reuse: Methods, Techniques, and Tools 8th international conference, ICSR 2004, Madrid, Spain, July 5-9, 2004 : proceedingsInternational Conference on Software Reuse Madrid, Spain 2004 8th ; Bosch Jan; Krueger Charles Cc2004Kiểm tra tình trạng sẵn có của tài liệu |
|
4 |
Material Type: Sách
|
Software Product Lines 9th international conference, SPLC 2005, Rennes, France, September 26-29, 2005 : proceedingsObbink Henk ; Klaus Pohl (Eds)2005Kiểm tra tình trạng sẵn có của tài liệu |
|
5 |
Material Type: Sách
|
Software Engineering Research and ApplicationsRamamoorthy. C.V. ; Roger Y.Lee; Kyung Whan Lee (Eds)2004Kiểm tra tình trạng sẵn có của tài liệu |
|
6 |
Material Type: Sách
|
Extreme programming and agile processes in software engineering 7th international conference, XP 2006, Oulu, Finland, June 17-22, 2006 : proceedingsAbrahamsson Pekka ; Marchesi Michele; Succi Giancarloc2006Kiểm tra tình trạng sẵn có của tài liệu |
|
7 |
Material Type: Sách
|
Component-Based Software EngineeringGorton Ian; Heineman George T; Crnkovic Ivica2006Kiểm tra tình trạng sẵn có của tài liệu |
|
8 |
Material Type: Sách
|
Rapid integration of software engineering techiques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004 : revised selected papersGuelfi Nicolas ; Guelfi Nicolas; LINK (Online service)c2005Kiểm tra tình trạng sẵn có của tài liệu |
|
9 |
Material Type: Sách
|
Mathematical software proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002Cohen Arjeh M; Gao Xiao-Shan; Takayama Nobuki2002Kiểm tra tình trạng sẵn có của tài liệu |
|
10 |
Material Type: Sách
|
Product-focused software process improvement 7th international conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006 : proceedingsPROFES 2006 Amsterdam, Netherlands 2006 ; Münch Jürgen; Vierimaa Matiasc2006Kiểm tra tình trạng sẵn có của tài liệu |
|
11 |
Material Type: Sách
|
Reliable Software Technologies - Ada-Europe 2004Llamosí Albert; Strohmeier Alfred2004Kiểm tra tình trạng sẵn có của tài liệu |
|
12 |
Material Type: Sách
|
Reliable Software Technologies - Ada-Europe 2006Pinho Luis Miguel; Harbour Michael Gonzalez2006Kiểm tra tình trạng sẵn có của tài liệu |
|
13 |
Material Type: Sách
|
Software Architecture 2nd European workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005 : proceedingsOquendo Flavio; Morrison R2005Kiểm tra tình trạng sẵn có của tài liệu |
|
14 |
Material Type: Sách
|
Agent-oriented software engineering IV 4th international workshop, AOSE 2003, Melbourne, Australia, July 15, 2003 : revised papersAOSE 2003 Melbourne, Vic 2003 ; Giorgini Paolo; Müller Jorg P; Odell Jamesc2004Kiểm tra tình trạng sẵn có của tài liệu |
|
15 |
Material Type: Sách
|
Agent-oriented software engineering VI 6th international workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005 : revised and invited papersMuller Jorg P. ; Zambonelli Francoc2006Kiểm tra tình trạng sẵn có của tài liệu |
|
16 |
Material Type: Sách
|
Software Engineering for Multi-Agent Systems III research issues and practical applicationsChoren Ricardo2005Kiểm tra tình trạng sẵn có của tài liệu |
|
17 |
Material Type: Sách
|
Constituents of modern system-safety thinking proceedings of the Thirteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10 February 2005Redmill Felix ; Redmill Felix; Anderson Tom2005Kiểm tra tình trạng sẵn có của tài liệu |
|
18 |
Material Type: Sách
|
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy 2005 5th ; Bogliolo Alessandro; Bernardo Marco2005Kiểm tra tình trạng sẵn có của tài liệu |
|
19 |
Material Type: Sách
|
Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papersInternational Haifa Verification Conference Haifa, Israel 2005 1st ; Ur Shmuel; Bin Eyal; Wolfsthal Yaron2006Kiểm tra tình trạng sẵn có của tài liệu |
|
20 |
Material Type: Sách
|
Teaching Formal Methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedingsTFM 2004 Ghent, Belgium 2004 ; Dean Neville; Boute R. Tc2004Kiểm tra tình trạng sẵn có của tài liệu |