搜索包含 Interactive Software Engineering 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Interactive Software Engineering 的图书(共3045本)

	14th Nordic-Baltic Conference on Biomedical Engineering and Medical Physics [electronic resource] : NBC 2008 16鈥ⰠJune 2008 Riga, Latvia 0 索取号：作者：Katashev、 Alexei.、Dekhtyar、 Yuri.、Spigulis、 Janis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Bioreactor Systems for Tissue Engineering [electronic resource] 0 索取号：作者：Kasper、 Cornelia.、Griensven、 Martijn.、P枚rtner、 Ralf.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Geosynthetics in Civil and Environmental Engineering [electronic resource] : Geosynthetics Asia 2008 Proceedings of the 4th Asian Regional Conference on Geosynthetics in Shanghai, China 0 索取号：作者：Li、 Guangxin.、Chen、 Yunmin.、Tang、 Xiaowu.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Software Architecture [electronic resource] : Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers 0 索取号：作者：Gruhn、 Volker.、Oquendo、 Flavio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Handbook on Analyzing Human Genetic Data [electronic resource] : Computational Approaches and Software 0 索取号：作者：Lin、 Shili.、Zhao、 Hongyu.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		High Performance Computing in Science and Engineering, Garching/Munich 2007 [electronic resource] : Transactions of the Third Joint HLRB and KONWIHR Status and Result Workshop, Dec. 3鈥䬠2007, Leibniz Supercomputing Centre, Garching/Munich, Germany 0 索取号：作者：Wagner、 Siegfried.、Steinmetz、 Matthias.、Bode、 Arndt.、Brehm、 Matthias.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	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.

	14th Nordic-Baltic Conference on Biomedical Engineering and Medical Physics [electronic resource] : NBC 2008 16鈥ⰠJune 2008 Riga, Latvia 0 索取号：作者：Katashev、 Alexei.、Dekhtyar、 Yuri.、Spigulis、 Janis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Bioreactor Systems for Tissue Engineering [electronic resource] 0 索取号：作者：Kasper、 Cornelia.、Griensven、 Martijn.、P枚rtner、 Ralf.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Geosynthetics in Civil and Environmental Engineering [electronic resource] : Geosynthetics Asia 2008 Proceedings of the 4th Asian Regional Conference on Geosynthetics in Shanghai, China 0 索取号：作者：Li、 Guangxin.、Chen、 Yunmin.、Tang、 Xiaowu.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Software Architecture [electronic resource] : Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers 0 索取号：作者：Gruhn、 Volker.、Oquendo、 Flavio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Handbook on Analyzing Human Genetic Data [electronic resource] : Computational Approaches and Software 0 索取号：作者：Lin、 Shili.、Zhao、 Hongyu.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		High Performance Computing in Science and Engineering, Garching/Munich 2007 [electronic resource] : Transactions of the Third Joint HLRB and KONWIHR Status and Result Workshop, Dec. 3鈥䬠2007, Leibniz Supercomputing Centre, Garching/Munich, Germany 0 索取号：作者：Wagner、 Siegfried.、Steinmetz、 Matthias.、Bode、 Arndt.、Brehm、 Matthias.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	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.