搜索包含 Programming (Numerical Software) 的图书 - 暨南大学图书馆

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

	Approximation Algorithms and Semidefinite Programming [electronic resource] 0 索取号：作者：G盲rtner、 Bernd.、Matousek、 Jiri.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II 0 索取号：作者：Aceto、 Luca.、Henzinger、 Monika.、Sgall、 Ji艡铆.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I 0 索取号：作者：Aceto、 Luca.、Henzinger、 Monika.、Sgall、 Ji艡铆.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Numerical Analysis of Multiscale Computations [electronic resource] : Proceedings of a Winter Workshop at the Banff International Research Station 2009 0 索取号：作者：Engquist、 Bj枚rn.、Runborg、 Olof.、Tsai、 Yen-Hsi R.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Product-Focused Software Process Improvement [electronic resource] : 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings 0 索取号：作者：Caivano、 Danilo.、Oivo、 Markku.、Baldassarre、 Maria Teresa.、Visaggio、 Giuseppe.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Fast Software Encryption [electronic resource] : 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers 0 索取号：作者：Joux、 Antoine.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Software Business [electronic resource] : Second International Conference, ICSOB 2011, Brussels, Belgium, June 8-10, 2011. Proceedings 0 索取号：作者：Regnell、 Bj枚rn.、Weerd、 Inge.、Troyer、 Olga.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Formal Methods for Eternal Networked Software Systems [electronic resource] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures 0 索取号：作者：Bernardo、 Marco.、Issarny、 Val茅rie.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Top Productivity through Software Reuse [electronic resource] : 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings 0 索取号：作者：Schmid、 Klaus.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Reliable Software Technologies - Ada-Europe 2011 [electronic resource] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings 0 索取号：作者：Romanovsky、 Alexander.、Vardanega、 Tullio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings 0 索取号：作者：Achterberg、 Tobias.、Beck、 J. Christopher.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Inductive Logic Programming [electronic resource] : 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers 0 索取号：作者：Frasconi、 Paolo.、Lisi、 Francesca A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems [electronic resource] : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers 0 索取号：作者：Calinescu、 Radu.、Jackson、 Ethan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Software Process Improvement and Capability Determination [electronic resource] : 11th International Conference, SPICE 2011, Dublin, Ireland, May 30 鈥ʵne 1, 2011. Proceedings 0 索取号：作者：O鈥機onnor、 Rory V.、Rout、 Terry.、McCaffery、 Fergal.、Dorling、 Alec.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers 0 索取号：作者：Dingel、 Juergen.、Solberg、 Arnor.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		The Art of Software Innovation [electronic resource] : Eight Practice Areas to Inspire your Business 0 索取号：作者：Pikkarainen、 Minna.、Codenie、 Wim.、Boucart、 Nick.、Heredia Alvaro、 Jos茅 Antonio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

	Approximation Algorithms and Semidefinite Programming [electronic resource] 0 索取号：作者：G盲rtner、 Bernd.、Matousek、 Jiri.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II 0 索取号：作者：Aceto、 Luca.、Henzinger、 Monika.、Sgall、 Ji艡铆.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I 0 索取号：作者：Aceto、 Luca.、Henzinger、 Monika.、Sgall、 Ji艡铆.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Numerical Analysis of Multiscale Computations [electronic resource] : Proceedings of a Winter Workshop at the Banff International Research Station 2009 0 索取号：作者：Engquist、 Bj枚rn.、Runborg、 Olof.、Tsai、 Yen-Hsi R.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Product-Focused Software Process Improvement [electronic resource] : 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings 0 索取号：作者：Caivano、 Danilo.、Oivo、 Markku.、Baldassarre、 Maria Teresa.、Visaggio、 Giuseppe.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Fast Software Encryption [electronic resource] : 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers 0 索取号：作者：Joux、 Antoine.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Software Business [electronic resource] : Second International Conference, ICSOB 2011, Brussels, Belgium, June 8-10, 2011. Proceedings 0 索取号：作者：Regnell、 Bj枚rn.、Weerd、 Inge.、Troyer、 Olga.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Formal Methods for Eternal Networked Software Systems [electronic resource] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures 0 索取号：作者：Bernardo、 Marco.、Issarny、 Val茅rie.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Top Productivity through Software Reuse [electronic resource] : 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings 0 索取号：作者：Schmid、 Klaus.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Reliable Software Technologies - Ada-Europe 2011 [electronic resource] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings 0 索取号：作者：Romanovsky、 Alexander.、Vardanega、 Tullio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings 0 索取号：作者：Achterberg、 Tobias.、Beck、 J. Christopher.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Inductive Logic Programming [electronic resource] : 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers 0 索取号：作者：Frasconi、 Paolo.、Lisi、 Francesca A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems [electronic resource] : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers 0 索取号：作者：Calinescu、 Radu.、Jackson、 Ethan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Software Process Improvement and Capability Determination [electronic resource] : 11th International Conference, SPICE 2011, Dublin, Ireland, May 30 鈥ʵne 1, 2011. Proceedings 0 索取号：作者：O鈥機onnor、 Rory V.、Rout、 Terry.、McCaffery、 Fergal.、Dorling、 Alec.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers 0 索取号：作者：Dingel、 Juergen.、Solberg、 Arnor.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		The Art of Software Innovation [electronic resource] : Eight Practice Areas to Inspire your Business 0 索取号：作者：Pikkarainen、 Minna.、Codenie、 Wim.、Boucart、 Nick.、Heredia Alvaro、 Jos茅 Antonio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.