大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 software.engineering 的图书(共2886本)

Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

0
索取号：
作者：Meyer、 Bertrand.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

4th Kuala Lumpur International Conference on Biomedical Engineering 2008 [electronic resource] : BIOMED 2008 25鈥⸠June 2008 Kuala Lumpur, Malaysia

0
索取号：
作者：Abu Osman、 Noor Azuan.、Ibrahim、 Fatimah.、Wan Abas、 Wan Abu Bakar.、Abdul Rahman、 Herman Shah.、Ting、 Hua-Nong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Models in Software Engineering [electronic resource] : Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

0
索取号：
作者：Giese、 Holger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Requirements Engineering: Foundation for Software Quality [electronic resource] : 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings

0
索取号：
作者：Paech、 Barbara.、Rolland、 Colette.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino

0
索取号：
作者：Beckert、 Bernhard.、H盲hnle、 Reiner.、Schmitt、 Peter H.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

New Frontiers in Applied Artificial Intelligence [electronic resource] : 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wroc艂aw, Poland, June 18-20, 2008 Proceedings

0
索取号：
作者：Nguyen、 Ngoc Thanh.、Borzemski、 Leszek.、Grzech、 Adam.、Ali、 Moonis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advanced Imaging in Biology and Medicine [electronic resource] : Technology, Software Environments, Applications

0
索取号：
作者：Sensen、 Christoph W.、Hallgr铆msson、 Benedikt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Software Engineering for Experimental Robotics [electronic resource]

0
索取号：
作者：Brugali、 Davide.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Degano、 Pierpaolo.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Medical Engineering [electronic resource]

0
索取号：
作者：Buzug、 Thorsten M.、Holz、 Dietrich.、Bongartz、 Jens.、Kohl-Bareis、 Matthias.、Hartmann、 Ulrich.、Weber、 Simone.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Enterprise Engineering I [electronic resource] : 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008. Proceedings

0
索取号：
作者：Dietz、 Jan L. G.、Albani、 Antonia.、Barjis、 Joseph.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Engineering Geology [electronic resource] : Principles and Practice

0
索取号：
作者：Freitas、 Michael H.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Reliable Software Technologies-Ada-Europe 2008 [electronic resource] : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

0
索取号：
作者：Kordon、 Fabrice.、Vardanega、 Tullio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Testing of Software and Communicating Systems [electronic resource] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

0
索取号：
作者：Suzuki、 Kenji.、Higashino、 Teruo.、Ulrich、 Andreas.、Hasegawa、 Toru.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Requirements Management [electronic resource] : The Interface Between Requirements Development and All Other Systems Engineering Processes

0
索取号：
作者：Hood、 Colin.、Wiedemann、 Simon.、Fichtinger、 Stefan.、Pautz、 Urte.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings

0
索取号：
作者：Abrahamsson、 Pekka.、Baskerville、 Richard.、Conboy、 Kieran.、Fitzgerald、 Brian.、Morgan、 Lorraine.、Wang、 Xiaofeng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.