搜索包含 it.software.dev.google 的图书 - 暨南大学图书馆

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

	Principles of Security and Trust [electronic resource] : First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings 0 索取号：作者：Degano、 Pierpaolo.、Guttman、 Joshua D.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Engineering Secure Software and Systems [electronic resource] : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings 0 索取号：作者：Barthe、 Gilles.、Livshits、 Benjamin.、Scandariato、 Riccardo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Advances in Software Engineering Techniques [electronic resource] : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers 0 索取号：作者：Szmuc、 Tomasz.、Szpyrka、 Marcin.、Zendulka、 Jaroslav.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings 0 索取号：作者：Joshi、 Rajeev.、M眉ller、 Peter.、Podelski、 Andreas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Improving Software Testing [electronic resource] : Technical and Organizational Developments 0 索取号：作者：Majchrzak、 Tim A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Formal Aspects of Component Software [electronic resource] : 7th International Workshop, FACS 2010, Guimar茫es, Portugal, October 14-16, 2010, Revised Selected Papers 0 索取号：作者：Barbosa、 Lu铆s Soares.、Lumpe、 Markus.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	The Software Dilemma [electronic resource] : Balancing Creativity and Control on the Path to Sustainable Software 0 索取号：作者：Gutbrod、 Roger.、Wiele、 Christian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Software Quality. Process Automation in Software Development [electronic resource] : 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012. Proceedings 0 索取号：作者：Biffl、 Stefan.、Winkler、 Dietmar.、Bergsmann、 Johannes.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Software Engineering, Business Continuity, and Education [electronic resource] : International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings 0 索取号：作者：Kim、 Tai-hoon.、Adeli、 Hojjat.、Kim、 Haeng-kon.、Kang、 Heau-jo.、Kim、 Kyung Jung.、Kiumi、 Akingbehin.、Kang、 Byeong-Ho.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Advances in Multimedia, Software Engineering and Computing Vol.1 [electronic resource] : Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26鈥ⷬ Wuhan, China 0 索取号：作者：Jin、 David.、Lin、 Sally.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Advances in Multimedia, Software Engineering and Computing Vol.2 [electronic resource] : Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26鈥ⷬ Wuhan, China 0 索取号：作者：Jin、 David.、Lin、 Sally.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Software Engineering and Knowledge Engineering: Theory and Practice [electronic resource] : Volume 2 0 索取号：作者：Wu、 Yanwen.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	SDL 2011: Integrating System and Software Modeling [electronic resource] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers 0 索取号：作者：Ober、 Iulian.、Ober、 Ileana.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures 0 索取号：作者：Meyer、 Bertrand.、Nordio、 Martin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Onboard Computers, Onboard Software and Satellite Operations [electronic resource] : An Introduction 0 索取号：作者：Eickhoff、 Jens.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Software Engineering and Formal Methods [electronic resource] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings 0 索取号：作者：Barthe、 Gilles.、Pardo、 Alberto.、Schneider、 Gerardo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

	Principles of Security and Trust [electronic resource] : First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings 0 索取号：作者：Degano、 Pierpaolo.、Guttman、 Joshua D.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Engineering Secure Software and Systems [electronic resource] : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings 0 索取号：作者：Barthe、 Gilles.、Livshits、 Benjamin.、Scandariato、 Riccardo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Advances in Software Engineering Techniques [electronic resource] : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers 0 索取号：作者：Szmuc、 Tomasz.、Szpyrka、 Marcin.、Zendulka、 Jaroslav.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings 0 索取号：作者：Joshi、 Rajeev.、M眉ller、 Peter.、Podelski、 Andreas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Improving Software Testing [electronic resource] : Technical and Organizational Developments 0 索取号：作者：Majchrzak、 Tim A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Formal Aspects of Component Software [electronic resource] : 7th International Workshop, FACS 2010, Guimar茫es, Portugal, October 14-16, 2010, Revised Selected Papers 0 索取号：作者：Barbosa、 Lu铆s Soares.、Lumpe、 Markus.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	The Software Dilemma [electronic resource] : Balancing Creativity and Control on the Path to Sustainable Software 0 索取号：作者：Gutbrod、 Roger.、Wiele、 Christian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Software Quality. Process Automation in Software Development [electronic resource] : 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012. Proceedings 0 索取号：作者：Biffl、 Stefan.、Winkler、 Dietmar.、Bergsmann、 Johannes.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Software Engineering, Business Continuity, and Education [electronic resource] : International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings 0 索取号：作者：Kim、 Tai-hoon.、Adeli、 Hojjat.、Kim、 Haeng-kon.、Kang、 Heau-jo.、Kim、 Kyung Jung.、Kiumi、 Akingbehin.、Kang、 Byeong-Ho.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Advances in Multimedia, Software Engineering and Computing Vol.1 [electronic resource] : Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26鈥ⷬ Wuhan, China 0 索取号：作者：Jin、 David.、Lin、 Sally.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Advances in Multimedia, Software Engineering and Computing Vol.2 [electronic resource] : Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26鈥ⷬ Wuhan, China 0 索取号：作者：Jin、 David.、Lin、 Sally.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Software Engineering and Knowledge Engineering: Theory and Practice [electronic resource] : Volume 2 0 索取号：作者：Wu、 Yanwen.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	SDL 2011: Integrating System and Software Modeling [electronic resource] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers 0 索取号：作者：Ober、 Iulian.、Ober、 Ileana.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures 0 索取号：作者：Meyer、 Bertrand.、Nordio、 Martin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Onboard Computers, Onboard Software and Satellite Operations [electronic resource] : An Introduction 0 索取号：作者：Eickhoff、 Jens.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Software Engineering and Formal Methods [electronic resource] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings 0 索取号：作者：Barthe、 Gilles.、Pardo、 Alberto.、Schneider、 Gerardo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.