Ngôn ngữ:
Xin lưu ý kết quả bổ sung có thể được cung cấp bằng cách chỉnh truy vấn tìm kiếm của bạn.
Kết quả 1 - 20 của 25 trong Tất cả tài nguyên thư viện
| 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 |
Chủ đề của tôi
Refine Search Results
Mở rộng kết quả tìm kiếm
Lọc kết quả
Nơi xuất bản
Chủ đề
- Computer software (20)
- Software engineering (8)
- Intelligent agents (Computer software) (5)
- Formal methods (Computer science) (3)
- Industrial safety (2)
- Object-oriented programming (Computer science) (2)
- Integrated circuits (2)
- Computer systems (2)
- Automatic control (2)
- Ada (Computer program language) (2)
- Logiciels (1)
- System design (1)
- Internet programming (1)
- Mathematics (1)
- Computer programs (1)
- Software architecture (1)
- Computer architecture (1)
- Object-oriented methods (Computer science) (1)
- eXtreme programming (1)
- Mobile computing (1)
-
Lựa chọn khác
Tác giả
- International School on Formal Methods for the Design of Computer Communication and Software Systems (2)
- Anderson Tom (2)
- Redmill Felix (2)
- Bernardo Marco (2)
- Strohmeier Alfred (2)
- Choren Ricardo (1)
- Ryan Mark D (1)
- Corradini Flavio (1)
- PROFES 2006 (1)
- Guelfi Nicolas (1)
- Safety-Critical Systems Symposium (1)
- Wellings Andrew J (1)
- Succi Giancarlo (1)
- Harbour Michael Gonzalez (1)
- Abrahamsson Pekka (1)
- Dean Neville (1)
- International Haifa Verification Conference (1)
- CAV (Conference) (1)
- Ada-Europe International Conference on Reliable Software Technologies (1)
- Peled Doron (1)
-
Lựa chọn khác
Phân loại DDC
 |
DANH MỤC | LIÊN HỆ | |
| Giới thiệu | Tìm kiếm | TRUNG TÂM SỐ - ĐẠI HỌC THÁI NGUYÊN | |
| Sản phẩm | Sử dụng | Phường Tân Thịnh-Thành phố Thái Nguyên | |
| Dịch vụ | Hỏi đáp | Điện thoại: (+84)-2803.852.443 Fax: 02803.656.601 | |
| Tài liệu mở | Email:tthl(a)tnu.edu.vn |
Đang tìm Cơ sở dữ liệu bên ngoài...
- Đang tìm kiếm cho
- trongscope:(ELIBLRC),scope:(SFX),scope:(ILIB),scope:("TNU"),primo_central_multiple_fe
- Xem ngay kết quả tìm kiếm truy xuất đầu tiên