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

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

	Earth System Modelling - Volume 3 [electronic resource] : Coupling Software and Strategies 0 索取号：作者：Valcke、 Sophie.、Redler、 Ren茅.、Budich、 Reinhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Recent Advances in Intelligent Engineering Systems [electronic resource] 0 索取号：作者：Fodor、 J谩nos.、Klempous、 Ryszard.、Su谩rez Araujo、 Carmen Paz.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Software Engineering Research,Management and Applications 2011 [electronic resource] 0 索取号：作者：Lee、 Roger.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Third International Conference on Software, Services and Semantic Technologies S3T 2011 [electronic resource] 0 索取号：作者：Dicheva、 Darina.、Markov、 Zdravko.、Stefanova、 Eliza.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Interactive Theorem Proving [electronic resource] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings 0 索取号：作者：Eekelen、 Marko.、Geuvers、 Herman.、Schmaltz、 Julien.、Wiedijk、 Freek.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Emotional Cognitive Neural Algorithms with Engineering Applications [electronic resource] : Dynamic Logic: FromVague to Crisp 0 索取号：作者：Perlovsky、 Leonid.、Deming、 Ross.、Ilin、 Roman.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Nonlinear Dynamical Systems in Engineering [electronic resource] : Some Approximate Approaches 0 索取号：作者：Marinca、 Vasile.、Herisanu、 Nicolae.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.		Computer Science for Environmental Engineering and EcoInformatics [electronic resource] : International Workshop, CSEEE 2011, Kunming, China, July 29-31, 2011. Proceedings 0 索取号：作者：Yu、 Yuanxu.、Yu、 Zhengtao.、Zhao、 Jingying.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Computer Science for Environmental Engineering and EcoInformatics [electronic resource] : International Workshop, CSEEE 2011, Kunming, China, July 29-31, 2011, Proceedings, Part II 0 索取号：作者：Yu、 Yuanxu.、Yu、 Zhengtao.、Zhao、 Jingying.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Agent-Oriented Software Engineering XI [electronic resource] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers 0 索取号：作者：Weyns、 Danny.、Gleizes、 Marie-Pierre.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Aerospace Engineering on the Back of an Envelope [electronic resource] 0 索取号：作者：Alber、 Irwin E.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Scientific Computing in Electrical Engineering SCEE 2010 [electronic resource] 0 索取号：作者：Michielsen、 Bastiaan.、Poirier、 Jean-Ren茅.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Software Engineering Techniques [electronic resource] : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers 0 索取号：作者：Huzar、 Zbigniew.、Koci、 Radek.、Meyer、 Bertrand.、Walter、 Bartosz.、Zendulka、 Jaroslav.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings 0 索取号：作者：Groce、 Alex.、Musuvathi、 Madanlal.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Musical Robots and Interactive Multimodal Systems [electronic resource] 0 索取号：作者：Solis、 Jorge.、Ng、 Kia.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2011 [electronic resource] 0 索取号：作者：Lee、 Roger.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

	Earth System Modelling - Volume 3 [electronic resource] : Coupling Software and Strategies 0 索取号：作者：Valcke、 Sophie.、Redler、 Ren茅.、Budich、 Reinhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Recent Advances in Intelligent Engineering Systems [electronic resource] 0 索取号：作者：Fodor、 J谩nos.、Klempous、 Ryszard.、Su谩rez Araujo、 Carmen Paz.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Software Engineering Research,Management and Applications 2011 [electronic resource] 0 索取号：作者：Lee、 Roger.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Third International Conference on Software, Services and Semantic Technologies S3T 2011 [electronic resource] 0 索取号：作者：Dicheva、 Darina.、Markov、 Zdravko.、Stefanova、 Eliza.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Interactive Theorem Proving [electronic resource] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings 0 索取号：作者：Eekelen、 Marko.、Geuvers、 Herman.、Schmaltz、 Julien.、Wiedijk、 Freek.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Emotional Cognitive Neural Algorithms with Engineering Applications [electronic resource] : Dynamic Logic: FromVague to Crisp 0 索取号：作者：Perlovsky、 Leonid.、Deming、 Ross.、Ilin、 Roman.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Nonlinear Dynamical Systems in Engineering [electronic resource] : Some Approximate Approaches 0 索取号：作者：Marinca、 Vasile.、Herisanu、 Nicolae.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.		Computer Science for Environmental Engineering and EcoInformatics [electronic resource] : International Workshop, CSEEE 2011, Kunming, China, July 29-31, 2011. Proceedings 0 索取号：作者：Yu、 Yuanxu.、Yu、 Zhengtao.、Zhao、 Jingying.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Computer Science for Environmental Engineering and EcoInformatics [electronic resource] : International Workshop, CSEEE 2011, Kunming, China, July 29-31, 2011, Proceedings, Part II 0 索取号：作者：Yu、 Yuanxu.、Yu、 Zhengtao.、Zhao、 Jingying.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Agent-Oriented Software Engineering XI [electronic resource] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers 0 索取号：作者：Weyns、 Danny.、Gleizes、 Marie-Pierre.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Aerospace Engineering on the Back of an Envelope [electronic resource] 0 索取号：作者：Alber、 Irwin E.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Scientific Computing in Electrical Engineering SCEE 2010 [electronic resource] 0 索取号：作者：Michielsen、 Bastiaan.、Poirier、 Jean-Ren茅.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Software Engineering Techniques [electronic resource] : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers 0 索取号：作者：Huzar、 Zbigniew.、Koci、 Radek.、Meyer、 Bertrand.、Walter、 Bartosz.、Zendulka、 Jaroslav.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings 0 索取号：作者：Groce、 Alex.、Musuvathi、 Madanlal.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Musical Robots and Interactive Multimodal Systems [electronic resource] 0 索取号：作者：Solis、 Jorge.、Ng、 Kia.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2011 [electronic resource] 0 索取号：作者：Lee、 Roger.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.