搜索包含 Symposium on Computer Software Engineering (1976 : New York) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Computer Software Engineering (1976 : New York) 的图书(共10474本)

	Verification and Validation in Systems Engineering [electronic resource] : Assessing UML/SysML Design Models 0 索取号：作者：Debbabi、 Mourad.、Hassa茂ne、 Fawzi.、Jarraya、 Yosr.、Soeanu、 Andrei.、Alawneh、 Luay.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Computational Intelligence in Engineering [electronic resource] 0 索取号：作者：Rudas、 Imre J.、Fodor、 J谩nos.、Kacprzyk、 Janusz.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Cultural Computing [electronic resource] : Second IFIP TC 14 Entertainment Computing Symposium, ECS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings 0 索取号：作者：Nakatsu、 Ryohei.、Tosa、 Naoko.、Naghdy、 Fazel.、Wong、 Kok Wai.、Codognet、 Philippe.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Intelligent Distributed Computing IV [electronic resource] : Proceedings of the 4th International Symposium on Intelligent Distributed Computing - IDC 2010, Tangier, Morocco, September 2010 0 索取号：作者：Essaaidi、 Mohammad.、Malgeri、 Michele.、Badica、 Costin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings 0 索取号：作者：Dawar、 Anuj.、Veith、 Helmut.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		The Future of Software Engineering [electronic resource] 0 索取号：作者：Nanz、 Sebastian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Mathematical Foundations of Computer Science 2010 [electronic resource] : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings 0 索取号：作者：Hlin臎n媒、 Petr.、Ku膷era、 Anton铆n.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Nanoscience and Engineering in Superconductivity [electronic resource] 0 索取号：作者：Moshchalkov、 Victor.、Woerdenweber、 Roger.、Lang、 Wolfgang.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Software Architecture [electronic resource] : 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings 0 索取号：作者：Babar、 Muhammad Ali.、Gorton、 Ian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Advances in Bioinformatics and Computational Biology [electronic resource] : 5th Brazilian Symposium on Bioinformatics, BSB 2010, Rio de Janeiro, Brazil, August 31-September 3, 2010. Proceedings 0 索取号：作者：Ferreira、 Carlos E.、Miyano、 Satoru.、Stadler、 Peter F.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Verified Software: Theories, Tools, Experiments [electronic resource] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings 0 索取号：作者：Leavens、 Gary T.、O鈥橦earn、 Peter.、Rajamani、 Sriram K.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		26th Southern Biomedical Engineering Conference SBEC 2010, April 30 - May 2, 2010, College Park, Maryland, USA [electronic resource] 0 索取号：作者：Herold、 Keith E.、Vossoughi、 Jafar.、Bentley、 William E.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Future Internet - FIS 2009 [electronic resource] : Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009 0 索取号：作者：Zseby、 Tanja.、Savola、 Reijo.、Pistore、 Marco.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Reliability Engineering [electronic resource] : Theory and Practice 0 索取号：作者：Birolini、 Alessandro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009, Revised Selected Papers 0 索取号：作者：Nakakoji、 Kumiyo.、Murakami、 Yohei.、McCready、 Eric.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Distributed Computing and Artificial Intelligence [electronic resource] : 7th International Symposium 0 索取号：作者：Leon F. de Carvalho、 Andre Ponce.、Rodr铆guez-Gonz谩lez、 Sara.、Paz Santana、 Juan F.、Rodr铆guez、 Juan M. Corchado.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

	Verification and Validation in Systems Engineering [electronic resource] : Assessing UML/SysML Design Models 0 索取号：作者：Debbabi、 Mourad.、Hassa茂ne、 Fawzi.、Jarraya、 Yosr.、Soeanu、 Andrei.、Alawneh、 Luay.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Computational Intelligence in Engineering [electronic resource] 0 索取号：作者：Rudas、 Imre J.、Fodor、 J谩nos.、Kacprzyk、 Janusz.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Cultural Computing [electronic resource] : Second IFIP TC 14 Entertainment Computing Symposium, ECS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings 0 索取号：作者：Nakatsu、 Ryohei.、Tosa、 Naoko.、Naghdy、 Fazel.、Wong、 Kok Wai.、Codognet、 Philippe.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Intelligent Distributed Computing IV [electronic resource] : Proceedings of the 4th International Symposium on Intelligent Distributed Computing - IDC 2010, Tangier, Morocco, September 2010 0 索取号：作者：Essaaidi、 Mohammad.、Malgeri、 Michele.、Badica、 Costin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings 0 索取号：作者：Dawar、 Anuj.、Veith、 Helmut.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		The Future of Software Engineering [electronic resource] 0 索取号：作者：Nanz、 Sebastian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Mathematical Foundations of Computer Science 2010 [electronic resource] : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings 0 索取号：作者：Hlin臎n媒、 Petr.、Ku膷era、 Anton铆n.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Nanoscience and Engineering in Superconductivity [electronic resource] 0 索取号：作者：Moshchalkov、 Victor.、Woerdenweber、 Roger.、Lang、 Wolfgang.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Software Architecture [electronic resource] : 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings 0 索取号：作者：Babar、 Muhammad Ali.、Gorton、 Ian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Advances in Bioinformatics and Computational Biology [electronic resource] : 5th Brazilian Symposium on Bioinformatics, BSB 2010, Rio de Janeiro, Brazil, August 31-September 3, 2010. Proceedings 0 索取号：作者：Ferreira、 Carlos E.、Miyano、 Satoru.、Stadler、 Peter F.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Verified Software: Theories, Tools, Experiments [electronic resource] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings 0 索取号：作者：Leavens、 Gary T.、O鈥橦earn、 Peter.、Rajamani、 Sriram K.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		26th Southern Biomedical Engineering Conference SBEC 2010, April 30 - May 2, 2010, College Park, Maryland, USA [electronic resource] 0 索取号：作者：Herold、 Keith E.、Vossoughi、 Jafar.、Bentley、 William E.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Future Internet - FIS 2009 [electronic resource] : Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009 0 索取号：作者：Zseby、 Tanja.、Savola、 Reijo.、Pistore、 Marco.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Reliability Engineering [electronic resource] : Theory and Practice 0 索取号：作者：Birolini、 Alessandro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009, Revised Selected Papers 0 索取号：作者：Nakakoji、 Kumiyo.、Murakami、 Yohei.、McCready、 Eric.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Distributed Computing and Artificial Intelligence [electronic resource] : 7th International Symposium 0 索取号：作者：Leon F. de Carvalho、 Andre Ponce.、Rodr铆guez-Gonz谩lez、 Sara.、Paz Santana、 Juan F.、Rodr铆guez、 Juan M. Corchado.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.