搜索包含 MSC.Software 的图书 - 暨南大学图书馆

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

	Inside a Secret Software Laboratory [electronic resource] : An Ethnographic Study of a Global Software Package Producer 0 索取号：作者：Grimm、 Christine.、SpringerLink (Online service)、出版社：Wiesbaden : Gabler Verlag, 2012.		Firms in Open Source Software Development [electronic resource] : Managing Innovation Beyond Firm Boundaries 0 索取号：作者：Schaarschmidt、 Mario.、SpringerLink (Online service)、出版社：Wiesbaden : Gabler Verlag, 2012.
	Clustering-Based Support for Software Architecture Restructuring [electronic resource] 0 索取号：作者：Streekmann、 Niels.、SpringerLink (Online service)、出版社：Wiesbaden : Vieweg+Teubner Verlag, 2011.		Valuation of Network Effects in Software Markets [electronic resource] : A Complex Networks Approach 0 索取号：作者：Kemper、 Andreas.、SpringerLink (Online service)、出版社：Heidelberg : Physica-Verlag HD, 2010.
	Vertical Software Industry Evolution [electronic resource] : Analysis of Telecom Operator Software 0 索取号：作者：Tyrv盲inen、 Pasi.、Mazhelis、 Oleksiy.、SpringerLink (Online service)、出版社：Heidelberg : Physica-Verlag HD, 2009.		Software Agent-Based Applications, Platforms and Development Kits [electronic resource] 0 索取号：作者：Unland、 Rainer.、Calisti、 Monique.、Klusch、 Matthias.、SpringerLink (Online service)、出版社：Basel : Birkh盲user Basel, 2005.
	SynDEVS Co-Design Flow [electronic resource] : A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation 0 索取号：作者：Molter、 H. Gregor.、SpringerLink (Online service)、出版社：Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2012.		Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures 0 索取号：作者：Meyer、 Bertrand.、Nordio、 Martin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers 0 索取号：作者：Arbab、 Farhad.、脰lveczky、 Peter Csaba.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents [electronic resource] : International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers 0 索取号：作者：Palmirani、 Monica.、Pagallo、 Ugo.、Casanovas、 Pompeu.、Sartor、 Giovanni.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Transactions on Aspect-Oriented Software Development IX [electronic resource] 0 索取号：作者：Leavens、 Gary T.、Chiba、 Shigeru.、Haupt、 Michael.、Ostermann、 Klaus.、Wohlstadter、 Eric.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity [electronic resource] : International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings 0 索取号：作者：Kim、 Tai-hoon.、Ramos、 Carlos.、Kim、 Haeng-kon.、Kiumi、 Akingbehin.、Mohammed、 Sabah.、艢l臋zak、 Dominik.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Testing Software and Systems [electronic resource] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings 0 索取号：作者：Nielsen、 Brian.、Weise、 Carsten.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Human-Centered Software Engineering [electronic resource] : 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings 0 索取号：作者：Winckler、 Marco.、Forbrig、 Peter.、Bernhaupt、 Regina.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Formal Methods and Software Engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings 0 索取号：作者：Aoki、 Toshiaki.、Taguchi、 Kenji.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Hardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers 0 索取号：作者：Eder、 Kerstin.、Louren莽o、 Jo茫o.、Shehory、 Onn.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

	Inside a Secret Software Laboratory [electronic resource] : An Ethnographic Study of a Global Software Package Producer 0 索取号：作者：Grimm、 Christine.、SpringerLink (Online service)、出版社：Wiesbaden : Gabler Verlag, 2012.		Firms in Open Source Software Development [electronic resource] : Managing Innovation Beyond Firm Boundaries 0 索取号：作者：Schaarschmidt、 Mario.、SpringerLink (Online service)、出版社：Wiesbaden : Gabler Verlag, 2012.
	Clustering-Based Support for Software Architecture Restructuring [electronic resource] 0 索取号：作者：Streekmann、 Niels.、SpringerLink (Online service)、出版社：Wiesbaden : Vieweg+Teubner Verlag, 2011.		Valuation of Network Effects in Software Markets [electronic resource] : A Complex Networks Approach 0 索取号：作者：Kemper、 Andreas.、SpringerLink (Online service)、出版社：Heidelberg : Physica-Verlag HD, 2010.
	Vertical Software Industry Evolution [electronic resource] : Analysis of Telecom Operator Software 0 索取号：作者：Tyrv盲inen、 Pasi.、Mazhelis、 Oleksiy.、SpringerLink (Online service)、出版社：Heidelberg : Physica-Verlag HD, 2009.		Software Agent-Based Applications, Platforms and Development Kits [electronic resource] 0 索取号：作者：Unland、 Rainer.、Calisti、 Monique.、Klusch、 Matthias.、SpringerLink (Online service)、出版社：Basel : Birkh盲user Basel, 2005.
	SynDEVS Co-Design Flow [electronic resource] : A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation 0 索取号：作者：Molter、 H. Gregor.、SpringerLink (Online service)、出版社：Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2012.		Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures 0 索取号：作者：Meyer、 Bertrand.、Nordio、 Martin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers 0 索取号：作者：Arbab、 Farhad.、脰lveczky、 Peter Csaba.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents [electronic resource] : International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers 0 索取号：作者：Palmirani、 Monica.、Pagallo、 Ugo.、Casanovas、 Pompeu.、Sartor、 Giovanni.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Transactions on Aspect-Oriented Software Development IX [electronic resource] 0 索取号：作者：Leavens、 Gary T.、Chiba、 Shigeru.、Haupt、 Michael.、Ostermann、 Klaus.、Wohlstadter、 Eric.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity [electronic resource] : International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings 0 索取号：作者：Kim、 Tai-hoon.、Ramos、 Carlos.、Kim、 Haeng-kon.、Kiumi、 Akingbehin.、Mohammed、 Sabah.、艢l臋zak、 Dominik.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Testing Software and Systems [electronic resource] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings 0 索取号：作者：Nielsen、 Brian.、Weise、 Carsten.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Human-Centered Software Engineering [electronic resource] : 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings 0 索取号：作者：Winckler、 Marco.、Forbrig、 Peter.、Bernhaupt、 Regina.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Formal Methods and Software Engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings 0 索取号：作者：Aoki、 Toshiaki.、Taguchi、 Kenji.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Hardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers 0 索取号：作者：Eder、 Kerstin.、Louren莽o、 Jo茫o.、Shehory、 Onn.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.